marcofavorito / flloat / 184

Builds Branch Commit Type Ran Committer Via Coverage
184 refactoring/sympy-and-pythomata add more tests for the equivalence of formulas and automata. push marcofavorito travis-ci pending completion
183 develop Merge pull request #10 from marcofavorito/refactoring/sympy-and-pythomata API Refactoring and compatibility with Pythomata push web-flow travis-ci pending completion
182 refactoring/sympy-and-pythomata refactoring. - use newer pythomata's API - include sympy as dependency for the logic module. - simplify API (e.g. a PL interpretation is now a dictionary) Pull #10 web-flow travis-ci pending completion
181 refactoring/sympy-and-pythomata refactoring. - use newer pythomata's API - include sympy as dependency for the logic module. - simplify API (e.g. a PL interpretation is now a dictionary) push marcofavorito travis-ci pending completion
180 wip/fix-ldlf temp commit push marcofavorito travis-ci pending completion
179 develop fix delta on ldlf not push marcofavorito travis-ci pending completion
178 v0.2.3 Merge pull request #9 from marcofavorito/develop Release 0.2.3 push web-flow travis-ci pending completion
177 master Merge pull request #9 from marcofavorito/develop Release 0.2.3 push web-flow travis-ci pending completion
175 develop bump version and update HISTORY for release 0.2.3 push marcofavorito travis-ci pending completion
174 develop fix delta epsilon on diamond and box formulas push marcofavorito travis-ci pending completion
173 v0.2.2 Merge pull request #8 from marcofavorito/develop Release 0.2.2 push web-flow travis-ci pending completion
172 master Merge pull request #8 from marcofavorito/develop Release 0.2.2 push web-flow travis-ci pending completion
171 develop fix issue templates. push marcofavorito travis-ci pending completion
169 develop prepare for release 0.2.2 Pull #8 web-flow travis-ci pending completion
168 develop prepare for release 0.2.2 push marcofavorito travis-ci pending completion