pysmt / pysmt / 2488

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   set done
2487 master Merge pull request #569 from pysmt/i563/strindexof Fix #563: Simplifier StrIndexOf capitalization push web-flow travis-ci pending completion   set done
2486 btor-inc Add test for incremental solving Pull #567 web-flow travis-ci pending completion   set done
2485 i563/strindexof Fix #563: Simplifier StrIndexOf capitalization Pull #569 web-flow travis-ci pending completion   set done
2484 i563/strindexof Fix #563: Simplifier StrIndexOf capitalization push marcogario travis-ci pending completion   set done
2482 regex Implement identity aspect of regex simplifier push marcogario travis-ci pending completion   set done
2480 i563/strindexof Fix #563: Simplifier StrIndexOf capitalization push marcogario travis-ci pending completion   set done
2479 regex Merge branch 'pr478/regex' into regex Pull #568 web-flow travis-ci pending completion   set done
2478 regex Merge branch 'pr478/regex' into regex push marcogario travis-ci pending completion   set done
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   set done
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   set done
2475 btor-inc Incremental support for boolector Pull #567 web-flow travis-ci pending completion   set done
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   set done
2473 swig-build-fix Install swig for yices and picosat Pull #566 web-flow travis-ci pending completion   set done
2472 cvc4-array-value Handle CVC4 arrays correctly in back Pull #546 web-flow travis-ci pending completion   set done