summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-05-14Use str.indexof in str.replace reductionstringReplaceUsingIndexOfAndres Noetzli
2021-05-14Add Result.java to the java API (#6385)mudathirmahgoub
2021-05-14bv: Assert input facts on user-level 0. (#6515)Mathias Preiner
2021-05-13api docs: Tweak style to be consistent with website style. (#6537)Aina Niemetz
2021-05-13Always parse streams with line buffer (#6532)Andres Noetzli
2021-05-13Add std::hash overloads for Node, TNode and TypeNode. (#6534)Mathias Preiner
2021-05-13Split options holder class (#6527)Gereon Kremer
2021-05-13Adding functions to the python API and testing them -- part 2 (#6517)yoni206
2021-05-13Fix error message in toPythonObj (#6524)Alex Ozdemir
2021-05-12Move docs upload to a different workflow (#6512)Gereon Kremer
2021-05-12Preliminary draft of changes for SMT comp 2021 (#6522)Andrew Reynolds
2021-05-12Ensure sequences of Booleans generate Boolean term variable skolems when appl...Andrew Reynolds
2021-05-12Use signal(sig, SIG_DFL); raise(sig); instead of abort() (#6518)Gereon Kremer
2021-05-10Remove header for option modules (#6514)Gereon Kremer
2021-05-10Remove read_only from options. (#6513)Gereon Kremer
2021-05-10Unify top-level substitutions and model substitutions (#6499)Andrew Reynolds
2021-05-10Add doc to Kind.java (#6498)mudathirmahgoub
2021-05-08Adding functions to the python API and testing them (#6477)yoni206
2021-05-07Add support for datatype update (#6449)Andrew Reynolds
2021-05-07Move slow regressions and update guidelines. (#6508)Aina Niemetz
2021-05-07Fix and add missing REQUIRE labels for FP regression tests. (#6506)Aina Niemetz
2021-05-07Integrate documentation build with the regular CI workflow (#6490)Gereon Kremer
2021-05-07Properly printing INST_PATTERN_LIST by itself (#6507)Haniel Barbosa
2021-05-07Simplifications to expand definitions (#6487)Andrew Reynolds
2021-05-07Fix for toPythonObj of integer value with real sort (#6505)makaimann
2021-05-06[proof-new] Updating documentation for Subs/Rw ids (#6502)Haniel Barbosa
2021-05-06Discard duplicate terms in patterns (#6501)Andrew Reynolds
2021-05-06Update README.md and remove last CVC4 references. (#6497)Mathias Preiner
2021-05-06Use constant folding for evaluating BV eager atom (#6494)Andrew Reynolds
2021-05-05Do not have quantifiers model inherit from theory model (#6493)Andrew Reynolds
2021-05-05Save block comments associated with each kind when parsing kinds file (#6489)makaimann
2021-05-05Add helper functions for multi-objective optimization + refactoring (#6473)Ouyancheng
2021-05-04Move current decision engine to decision engine old (#6466)Andrew Reynolds
2021-05-04Move env into smt solver, theory engine, prop engine (#6486)Andrew Reynolds
2021-05-04Do not use proof CNF stream with assumptions-based cores (#6488)Haniel Barbosa
2021-05-04Use proper commit hash for PRs (#6485)Gereon Kremer
2021-05-04cmake: Fix ninja build. (#6481)Mathias Preiner
2021-05-04Improve generation of python API documentation (#6482)Gereon Kremer
2021-05-04FP: Move removal of generic to_fp operations to rewriter. (#6480)Aina Niemetz
2021-05-04FP: Move type check from expandDefinitions. (#6479)Aina Niemetz
2021-05-03FP: Rewrite to_fp conversion from signed bit-vector. (#6472)Aina Niemetz
2021-05-03Add missing --auto-download in CI (#6478)Gereon Kremer
2021-05-03Add CI jobs to build docs (#6413)Gereon Kremer
2021-05-03SymFPU: Automatically apply patch from 2020-11-14. (#6471)Aina Niemetz
2021-05-03Python API tests for terms -- Part 1 (#6468)yoni206
2021-04-30bv: Refactor ppAssert and move to TheoryBV. (#6470)Mathias Preiner
2021-04-30Add parameter name for argument `isPreRewrite` for FP rewrites. (#6469)Aina Niemetz
2021-04-30Refactor optimization result and objective classes + add preliminary support ...Ouyancheng
2021-04-30Use substitutions for implementing defined functions (#6437)Andrew Reynolds
2021-04-29Add assertion list utility for justification heuristic (#6414)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback