martinjonas / Q3B / 250

Builds Branch Commit Type Ran Committer Via Coverage
250 more-precise-abstract-ite Add more precise implementation of abstract ITE. push Martin Jonas travis-ci pending completion
249 dev Add option for enabling/disabling adding congruences. push Martin Jonas travis-ci pending completion
248 more-precise-abstract-ite Update ANTLR to 4.8. push Martin Jonas travis-ci pending completion
247 dev Update ANTLR to 4.8. push Martin Jonas travis-ci pending completion
246 smtcomp2019 Unconstrained: Simpler rewrite for bvmul. push Martin Jonáš travis-ci pending completion
245 dev Unconstrained: Simpler rewrite for bvmul. push Martin Jonáš travis-ci pending completion
244 dev Merge pull request #15 from martinjonas/master Merge master into dev push web-flow travis-ci pending completion
242 master Merge pull request #14 from martinjonas/dev Fix race-condition in model validation push web-flow travis-ci pending completion
241 dev Fix race-condition in model validation Pull #14 web-flow travis-ci pending completion
240 dev Fix race-condition in model validation push Martin Jonáš travis-ci pending completion
239 v1.0 Merge pull request #13 from martinjonas/dev Merge Q3B 1.0 push web-flow travis-ci pending completion
238 master Merge pull request #13 from martinjonas/dev Merge Q3B 1.0 push web-flow travis-ci pending completion
236 dev Merge branch 'dev' of https://github.com/martinjonas/q3b into dev push Martin Jonáš travis-ci pending completion
235 dev Add (get-value). push Martin Jonáš travis-ci pending completion
234 dev Bump version to 1.0 dev. push Martin Jonáš travis-ci pending completion