summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-12-03Faster hasing for `cvc5::String`optStringHashAndres Noetzli
2021-12-03Fix a few broken links (#7734)Gereon Kremer
2021-12-03Check constructor is used in APPLY_CONSTRUCTOR (#7737)Andrew Reynolds
2021-12-03Proper error for using constructor in multiple datatypes (#7738)Andrew Reynolds
2021-12-02Add explicit 64bit getters for Integer class (#7728)Gereon Kremer
2021-12-02Remove void as possible option type (#7731)Gereon Kremer
2021-12-02Check docs for broken links before uploading (#7729)Gereon Kremer
2021-12-02Fixes for sygus-rr-synth-input (#7716)Andrew Reynolds
2021-12-02[proofs] Fix a trace in SAT proof manager (#7732)Haniel Barbosa
2021-12-02add bag.fold operator (#7718)mudathirmahgoub
2021-12-02Add unit tests for api::Solver::setOption() (#7708)Gereon Kremer
2021-12-01api: Add missing bit-width 0 check to mkBVFromStrHelper. (#7727)Mathias Preiner
2021-12-01[proofs] Add method to CDProof to obtain number of proof nodes (#7725)Haniel Barbosa
2021-12-01[proofs] Alethe: Add finalize function to insert missing OR steps (#7724)Lachnitt
2021-12-01Improvements for get-difficulty (#7720)Andrew Reynolds
2021-12-01Add the first example for z3pycompat (#7722)Gereon Kremer
2021-12-01Enable Java examples (#7702)mudathirmahgoub
2021-12-01Alethe: Add function that adds final steps to proof (#7710)Lachnitt
2021-12-01Translating API tests to Python — part 2 (#7651)yoni206
2021-12-01Use new token for docs-release (#7709)Gereon Kremer
2021-12-01Remove spurious assertion in parser (#7713)Andrew Reynolds
2021-12-01Define sort undeclared (#7714)Andrew Reynolds
2021-11-30Translating more cpp API unit tests to python (#7669)yoni206
2021-11-30Always run update-pr (#7719)Gereon Kremer
2021-11-30Extend docs example extension (#7717)Gereon Kremer
2021-11-30Change CVC4 urls to cvc5. (#7706)Mathias Preiner
2021-11-30Add rewrite for is_int pi (#7711)Andrew Reynolds
2021-11-30Scaffold the idiomatic API's documentation (#7715)Alex Ozdemir
2021-11-30Generalize eager length bound conflicts for regular expression memberships (#...Andrew Reynolds
2021-11-30Proper check for first-class types in datatype subfields (#7712)Andrew Reynolds
2021-11-30Alethe: Further Printer Implementation (#7675)Lachnitt
2021-11-30[proofs] Alethe: Implementation of Printer (#7674)Lachnitt
2021-11-30Remove now unused dumping infrastructure (#7703)Gereon Kremer
2021-11-30[proofs] Alethe: Printer Specification (#7673)Lachnitt
2021-11-29Fix minor issues (#7704)Gereon Kremer
2021-11-29Start post-release for 0.0.4Mathias Preiner
2021-11-29Bump version to 0.0.4Mathias Preiner
2021-11-29Bug in printing parameter list in define_fun_to_string (#7700)Sujit Kumar Muduli
2021-11-25Consolidate CI jobs (#7697)Gereon Kremer
2021-11-25Guard regression tests that require libpoly to pass. (#7698)Mathias Preiner
2021-11-25api: Refactor mkTerm for kinds with arity = 0. (#7699)Aina Niemetz
2021-11-24examples: Update python api datatypes example. (#7692)Aina Niemetz
2021-11-24Always enable API black box unit tests (#7696)Andres Noetzli
2021-11-24cmake: Add option --[no]-static-binary. (#7695)Mathias Preiner
2021-11-24Fix ANTLR3 config for i386 and aarch64 builds. (#7694)Mathias Preiner
2021-11-24examples: Update Java datatypes example with recent extensions. (#7693)Aina Niemetz
2021-11-24Remove dependency of `TypeNode` on `Node` (#7690)Andres Noetzli
2021-11-24Fix potential for cycles in trust substitutions (#7687)Andrew Reynolds
2021-11-24examples: Extend DT api example with APPLY_TESTER and APPLY_UPDATER applicati...Aina Niemetz
2021-11-24Minor fixes (#7691)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback