summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2021-11-24api: Fix creation of nary term kinds via Op. (#7688)Aina Niemetz
2021-11-23Make difficulty manager only consider lemmas at full effort (#7685)Andrew Reynolds
2021-11-23Enable model-based reduction technique for strings (#7680)Andrew Reynolds
2021-11-23Add kinds to python docs (#7672)Gereon Kremer
2021-11-23Push output language inside the printing code (#7683)Gereon Kremer
2021-11-23Add rewrite rule for bag.card operator using bag.map and lambda (#7643)mudathirmahgoub
2021-11-23Python API documentation: terms (#7659)yoni206
2021-11-23Make `node_value.h` not depend on `node_manager.h` (#7676)Andres Noetzli
2021-11-22Refactor IO stream manipulators (#7555)Gereon Kremer
2021-11-22Add rewrite for repeated re.allchar (#7681)Andrew Reynolds
2021-11-22Set proper system processor for arm64 toolchain (#7665)Gereon Kremer
2021-11-22[prop] Remove unused #define in theory proxy (#7670)Haniel Barbosa
2021-11-22Improve error for check theory assertions with model (#7679)Andrew Reynolds
2021-11-21Fix const RE test for internal regexp rv kind (#7678)Andrew Reynolds
2021-11-20bv2int module: translation of more cases (#7653)yoni206
2021-11-19[API] Avoid copying values (#7666)Andres Noetzli
2021-11-19Clean up relationship of metakind and node_manager (#7649)Andres Noetzli
2021-11-19Remove n-ary builder (#7671)Andrew Reynolds
2021-11-19Allow negative denominator for CLN Rationals constructed from string. (#7667)Mathias Preiner
2021-11-18api: Fix categorization of DT kinds in kind maps. (#7668)Aina Niemetz
2021-11-18Refactor CAD option for linear model seed (#7657)Gereon Kremer
2021-11-18[proofs] Fix trace in SatProofManager (#7664)Haniel Barbosa
2021-11-18[proofs] Alethe: Rename DUPLICATED_LITERALS (#7661)Lachnitt
2021-11-18api: Fix kind documentation for BAG_MAKE. (#7663)Aina Niemetz
2021-11-17Improve naming in term canonization when handling HO variables (#7660)Haniel Barbosa
2021-11-17[sat] Fix indentation in "reason" (#7662)Haniel Barbosa
2021-11-17Add documentation for z3py compatibility API (#7652)Gereon Kremer
2021-11-17Preparations for eliminating arithmetic subtyping (#7637)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback