summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-10-11Bump version to 0.0.1Mathias Preiner
2021-10-11Antlr: runtime -> libraries (#7338)Gereon Kremer
2021-10-11Rename SmtScope to SolverEngineScope. (#7284)Aina Niemetz
2021-10-11Revert #7257 (#7337)Gereon Kremer
2021-10-11Add CI workflow to test different cmake versions (#7254)Gereon Kremer
2021-10-11Connect the LFSC printer (#7323)Andrew Reynolds
2021-10-11Add cardinality constraint utilities (#7286)Andrew Reynolds
2021-10-11Restore compatibility with cmake 3.9 (#7329)Gereon Kremer
2021-10-09Remove static accesses to options where EnvObj is used (#7330)Gereon Kremer
2021-10-08Make skolem definition manager robust to function skolems (#7327)Andrew Reynolds
2021-10-08Add argument to distinguish lemmas and input assertions (#7326)Andrew Reynolds
2021-10-08A few more miscellaneous uses of EnvObj (#7325)Andrew Reynolds
2021-10-08Ignore zip files for docs upload diff (#7322)Gereon Kremer
2021-10-08Attach the static binaries to a release (#7324)Gereon Kremer
2021-10-07Move preprocessor to smt solver (#7321)Andrew Reynolds
2021-10-07Add a binary / SMT-LIB quickstart (#7315)Gereon Kremer
2021-10-07Finish the LFSC printer (#7285)Andrew Reynolds
2021-10-07Use skolem lemma in prop layer interfaces (#7320)Andrew Reynolds
2021-10-07Add new versioning scheme (#7253)Gereon Kremer
2021-10-07Make the cardinality of the alphabet of strings configurable (#7298)Andrew Reynolds
2021-10-07Add missing functions in Term.java (#7297)mudathirmahgoub
2021-10-07Fix/Improve static and shared builds with CLN or Poly (#7306)Gereon Kremer
2021-10-07Miscellaneous fixes from proof-new (#7313)Andrew Reynolds
2021-10-07Fast exit for string extended equality rewriter (#7312)Andrew Reynolds
2021-10-07Replace doubles by rationals in C++ quickstart (#7317)Gereon Kremer
2021-10-07Eliminate more circular dependencies on solver engine (#7311)Andrew Reynolds
2021-10-06Change behaviour of Term::getRealValue() (#7316)Gereon Kremer
2021-10-06Change semantics of dumpUnsatCoresFull (#7314)Gereon Kremer
2021-10-06Refactor skolem definitions notifications for the decision engine (#7310)Andrew Reynolds
2021-10-06Enable static builds in CI (#7281)Gereon Kremer
2021-10-06Remove timestamped javadoc comments (#7304)Gereon Kremer
2021-10-06Eliminate more hard coded uses of user context (#7309)Andrew Reynolds
2021-10-06Avoid calling `quoteSymbol` multiple times. (#7307)Abdalrhman Mohamed
2021-10-05First round of refactoring on NlModel (#7255)Gereon Kremer
2021-10-05Reformulate (#7305)Gereon Kremer
2021-10-05Finish refactoring on option handlers (#7295)Gereon Kremer
2021-10-04Add sygus examples to documentation (#7303)Gereon Kremer
2021-10-04Various improvements to documentation (#7283)Gereon Kremer
2021-10-04Refactor internally generated bounded quantified formulas (#7291)Andrew Reynolds
2021-10-04Move isFiniteType from theory engine to Env (#7287)Andrew Reynolds
2021-10-04Make decision engine use env (#7300)Andrew Reynolds
2021-10-04No longer build docs by default. Use make docs. (#7296)Gereon Kremer
2021-10-04Eliminating static calls to rewriter in quantifiers (#7301)Andrew Reynolds
2021-10-04Eliminating static calls to rewriter from strings (#7302)Andrew Reynolds
2021-10-01Update java examples using the new Java API (#7225)mudathirmahgoub
2021-10-01Update theory preprocessor to use Env (#7288)Andrew Reynolds
2021-10-01Fix ascription check for return types on ordinary functions (#7290)Andrew Reynolds
2021-10-01Make preregistration safe for uninterpreted constants (#7292)Andrew Reynolds
2021-10-01Remove (apparently obsolete) checks in cms config (#7294)Gereon Kremer
2021-10-01Clean options handlers (#7201)Gereon Kremer
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback