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
Detailed source file information is not available for this build.

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)