summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-04-29verificationdslAndres Noetzli
2021-04-26disable invalid rewriteAndres Noetzli
2021-04-26type verificationAndres Noetzli
2021-04-26fixAndres Noetzli
2021-04-26fixAndres Noetzli
2021-04-26fixAndres Noetzli
2021-04-26int boundsAndres Noetzli
2021-04-26works-ishAndres Noetzli
2021-04-21moreAndres Noetzli
2021-04-16works mostlyAndres Noetzli
2020-11-22missing fileAndres Noetzli
2020-11-22missing fileAndres Noetzli
2020-11-22rulesAndres Noetzli
2020-07-06rulesAndres Noetzli
2020-05-30CurrentAndres Noetzli
2020-05-01UpdateAndres Noetzli
2020-04-27rulesAndres Noetzli
2020-04-23Basic support for commutative opsAndres Noetzli
2020-04-15eliminate GetIndex/GetChildAndres Noetzli
2020-04-13LHS eval + optimizationAndres Noetzli
2020-04-12let support and constant eval for rhsAndres Noetzli
2020-04-10Some stuffAndres Noetzli
2020-03-19Simple proof workingAndres Noetzli
2020-03-17ProgressAndres Noetzli
2020-03-16Basic rules compilingAndres Noetzli
2020-03-15Handle cases in --sygus-rr where evaluation is not constant (#4100)Andrew Reynolds
2020-03-13Removing a few deprecated options (#4052)Andrew Reynolds
2020-03-13Remove regress for real to int (#4071)Andrew Reynolds
2020-03-13Generalize type rules for strings to sequences (#3987)Andrew Reynolds
2020-03-13Fix case of non-constant value for sygus sampling (#4051)Andrew Reynolds
2020-03-12Add options for nec regression (#4056)Andrew Reynolds
2020-03-12Convert most instances of dataypes in parsers to the new API (#4054)Andrew Reynolds
2020-03-12Do not allow quantifiers over real variables in real to int pass. (#4049)Andrew Reynolds
2020-03-12Remove local theory extension option (#4048)Andrew Reynolds
2020-03-12Do not make models for quantified function variables (#4039)Andrew Reynolds
2020-03-12New C++ API: Remove support for (reset). (#4037)Aina Niemetz
2020-03-12Ensure legal candidate equalities when using relational triggers (#4035)Andrew Reynolds
2020-03-11Fix double notify in equality engine (#4036)Andrew Reynolds
2020-03-11Hide options for and related to the BV abstraction module. (#4041)Aina Niemetz
2020-03-11Simplifications to the Datatypes API (#4040)Andrew Reynolds
2020-03-11Add automatic Cython binding installation (#3933)makaimann
2020-03-11Do not enable some SMT-COMP specific options by default (#4038)Andrew Reynolds
2020-03-11Guard against null relevancy condition in SyGuS (#4033)Andrew Reynolds
2020-03-11Add missing datatype functions to new API (#3930)Andrew Reynolds
2020-03-11Switch to Nodes for conjecture generator (#4026)Andrew Reynolds
2020-03-11reset-assertions: Update TheoryEngine's PropEngine* (#4032)Andres Noetzli
2020-03-11Remove experimental symmetry breaker (#4005)Andrew Reynolds
2020-03-11Fix non-parametrized operators in subgoal generation (#4023)Andrew Reynolds
2020-03-11Remove partial instantiation for local theory extensions (#4020)Andrew Reynolds
2020-03-11Fix (#4017)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback