pysmt / pysmt

LAST BUILD BRANCH: cvc4-array-value
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 cvc4-array-value
branch: SELECT
CHANGE BRANCH
x

2488

Pull #546

travis-ci

web-flow 
Incorporate feedback on __arrays_back
Pull Request #546: Handle ARRAY_VALUE for CVC4
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
2488 cvc4-array-value Incorporate feedback on __arrays_back Pull #546 web-flow travis-ci pending completion  
2487 master Merge pull request #569 from pysmt/i563/strindexof Fix #563: Simplifier StrIndexOf capitalization push web-flow travis-ci pending completion  
2486 btor-inc Add test for incremental solving Pull #567 web-flow travis-ci pending completion  
2485 i563/strindexof Fix #563: Simplifier StrIndexOf capitalization Pull #569 web-flow travis-ci pending completion  
2484 i563/strindexof Fix #563: Simplifier StrIndexOf capitalization push marcogario travis-ci pending completion  
2482 regex Implement identity aspect of regex simplifier push marcogario travis-ci pending completion  
2480 i563/strindexof Fix #563: Simplifier StrIndexOf capitalization push marcogario travis-ci pending completion  
2479 regex Merge branch 'pr478/regex' into regex Pull #568 web-flow travis-ci pending completion  
2478 regex Merge branch 'pr478/regex' into regex push marcogario travis-ci pending completion  
2477 regex Merge pull request #561 from ahmed-irfan/fix-simplify-times sort the times args while simplifying push web-flow travis-ci pending completion  
See All Builds (861)