pascalpoizat / veca-haskell / 172

Builds Branch Commit Type Ran Committer Via Coverage
172 master correct comment push pascalpoizat travis-ci pending completion
164 v1.0.3 chore: move to version 1.0.3 closes #32 push pascalpoizat travis-ci pending completion
163 master chore: move to version 1.0.3 closes #32 push pascalpoizat travis-ci pending completion
162 master feat: add observers for done actions in the transformation into timed automata BREAKING CHANGE: changes Eq instance for LTS and TA (stronger) closes #35 push pascalpoizat travis-ci pending completion
161 master ci: show only failed tests push pascalpoizat travis-ci pending completion
160 master ci: show only failed tests push pascalpoizat travis-ci pending completion
159 master Merge branch 'master' of https://github.com/pascalpoizat/veca-haskell push pascalpoizat travis-ci pending completion
158 master feat: add variables (assignment in edges) in timed automata closes #33 push pascalpoizat travis-ci pending completion
157 master refactor: clean up code push pascalpoizat travis-ci pending completion
156 master fix: add indexing by subcomponent id when the op is not bound closes #31 push pascalpoizat travis-ci pending completion
155 v1.0.2 chore: move to version 1.0.2 push pascalpoizat travis-ci pending completion
154 v1.0.2 chore: move to version 1.0.2 push pascalpoizat travis-ci pending completion
152 master Merge tag 'v1.0.2' version 1.0.2 # gpg: Signature faite le Ven 22 jui 13:43:09 2018 CEST # gpg: avec la clef RSA 8F916F005E89A66E380BCD7E91A33B330ED700AD # gpg: Bonne signature de « Pascal Poizat <Pascal.Poizat@lip6.fr> » [ultime]... push pascalpoizat travis-ci pending completion
151 v1.0.2 fix: correct veca-haskell command output close #28, close #29 push pascalpoizat travis-ci pending completion
150 master refactor: add an infix operation for subtitutions and use it push pascalpoizat travis-ci pending completion