summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-10-07Fix linking ANTLR3 on some systemsfixAmazonAndres Noetzli
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
2021-10-01Fix some python docstrings which lead to sphinx warnings (#7293)Gereon Kremer
2021-10-01Add the LFSC printer (#7158)Andrew Reynolds
2021-10-01Add the print benchmark utility (#7196)Andrew Reynolds
2021-10-01Use the proper evaluator for optimized SyGuS datatype rewriting (#7266)Andrew Reynolds
2021-09-30Rename SmtEngine to SolverEngine. (#7282)Aina Niemetz
2021-09-30Rename files smt_engine.(cpp|h) to solver_engine.(cpp|h). (#7279)Aina Niemetz
2021-09-30Integrate javadoc documentation (#7278)Gereon Kremer
2021-09-30configure: Fix --static flag. (#7280)Mathias Preiner
2021-09-30bv: Refactor ppRewrite and move to TheoryBV. (#7271)Mathias Preiner
2021-09-30Refactor our static builds (#7251)Gereon Kremer
2021-09-30Properly cache assertions in static learning preprocessing pass. (#7242)Mathias Preiner
2021-09-30Finish the Java Api (#6396)mudathirmahgoub
2021-09-30Make theory engine modules use Env (#7277)Andrew Reynolds
2021-09-30Simplify the syntax and representation of the separation logic empty heap con...Andrew Reynolds
2021-09-30Remove usage of static options in arithmetic theory (#7221)Gereon Kremer
2021-09-30Print `str.is_digit` and `int.pow2` correctly. (#7276)Abdalrhman Mohamed
2021-09-30[Printer] Only quote `set-info` value if necessary (#7262)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback