marcofavorito / flloat
%
master: 89%

LAST BUILD BRANCH: refactoring/sympy-and-pythomata
DEFAULT BRANCH: master
Repo Added
Files 0
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH refactoring/sympy-and-pythomata
branch: SELECT
CHANGE BRANCH
x

184

push

travis-ci

marcofavorito 
add more tests for the equivalence of formulas and automata.
Relevant lines Covered
NO TREND HISTORY
Source Files on master
Detailed source file information is not available for this build.

Recent builds

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  
See All Builds (63)