pysmt / pysmt

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 master
branch: master
CHANGE BRANCH
x

2487

push

travis-ci

web-flow 
Merge pull request #569 from pysmt/i563/strindexof

Fix #563: Simplifier StrIndexOf capitalization
Relevant lines Covered
NO TREND HISTORY
Source Files on master
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
2487 master Merge pull request #569 from pysmt/i563/strindexof Fix #563: Simplifier StrIndexOf capitalization push web-flow travis-ci pending completion  
2476 master Merge pull request #561 from ahmed-irfan/fix-simplify-times sort the times args while simplifying push web-flow travis-ci pending completion  
2474 master Merge pull request #566 from makaimann/swig-build-fix Install swig for yices and picosat in Travis build push web-flow travis-ci pending completion  
2471 master add noughts and crosses example Pull #565 web-flow travis-ci pending completion  
2467 master Merge pull request #562 from cdonovick/import-fix Fix import warning in python 3.7 push web-flow travis-ci pending completion  
2463 master Merge pull request #560 from pysmt/remove_unused_stringtype Remove unused String type push web-flow travis-ci pending completion  
2458 master Merge pull request #558 from Phat3/fix/deque_pop Fix bug in deque pop in smtlib/parser push web-flow travis-ci pending completion  
2453 master Bump version to 0.8.1dev1 push marcogario travis-ci pending completion  
2451 master Merge pull request #557 from pysmt/rc/0.8.0 Release 0.8.0 push web-flow travis-ci pending completion  
2443 master Merge pull request #541 from pysmt/examples/strings Examples: Strings push web-flow travis-ci pending completion  
See All Builds (861)