summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-09-29[API] Update comments w.r.t. SymFPUupdateCvc5hAndres Noetzli
2021-09-29Add Statistics and Stat to the Java API (#7243)mudathirmahgoub
2021-09-29remove stuff (#7258)Gereon Kremer
2021-09-28contrib: Fix check for get-script-header.sh. (#7259)Mathias Preiner
2021-09-29Add Sort.java to the java API (#6382)mudathirmahgoub
2021-09-28Remove linking against RT (#7257)Gereon Kremer
2021-09-24Eliminate calls to Rewriter::rewrite from strings entailment checks (#7203)Andrew Reynolds
2021-09-23Generalize string enumerator for fixed length sequences (#7234)Andrew Reynolds
2021-09-23Eliminate Output macro in favor of simple Env functions (#7223)Gereon Kremer
2021-09-23[proofs[ Alethe: Fix Order of Arguments of addAletheStepFromOr (#7237)Lachnitt
2021-09-23[proofs] Alethe: Translate THEORY_REWRITE (#7236)Lachnitt
2021-09-23[proofs] Alethe: Add Alethe Files to be Compiled (#7241)Lachnitt
2021-09-23Refactor check interface of nonlinear extension (#7235)Gereon Kremer
2021-09-23More uses of EnvObj (#7230)Andrew Reynolds
2021-09-23[proofs] Alethe: Translate SCOPE rule (#7224)Lachnitt
2021-09-23Use `|` to print quoted strings in `set-info` command. (#7240)Abdalrhman Mohamed
2021-09-23Implement alpha equivalence proofs (#7066)Andrew Reynolds
2021-09-22Make cegqi subsolvers EnvObj (#7205)Andrew Reynolds
2021-09-22Remove CVC language support (#7219)Mathias Preiner
2021-09-22Towards standard usage of evaluator (#7189)Andrew Reynolds
2021-09-22Fix solver_black unit test (#7233)Ouyancheng
2021-09-22Add extensionality option for strings disequalities (#7229)Andrew Reynolds
2021-09-22arrays: Use EnvObj::rewrite and EnvObj::options. (#7217)Aina Niemetz
2021-09-22arrays: Move type enumerator implementation to .cpp. (#7216)Aina Niemetz
2021-09-22Eliminate arithmetic proof macros (#7226)Gereon Kremer
2021-09-22Minimal fixing version for tuple update parsing (#7228)Andrew Reynolds
2021-09-21[Proofs] Alethe: Translate ASSUME rule (#7213)Lachnitt
2021-09-21[proofs] Alethe: Implementation of AletheProofPostprocessCallback (#7212)Lachnitt
2021-09-21README: Fix link to INSTALL.rst. (#7222)Aina Niemetz
2021-09-20Fix handling of conversions between FP and reals (#7149)Andres Noetzli
2021-09-20Start python API Solver documentation (#7064)Alex Ozdemir
2021-09-20[proofs] Alethe: adds a node converterHaniel Barbosa
2021-09-20Add the LFSC proof post-processor (#7134)Andrew Reynolds
2021-09-20TheoryModel: Use EnvObj::rewrite instead of Rewriter::rewrite. (#7215)Aina Niemetz
2021-09-20Optionally enable interprocedural optimization (#7209)Andres Noetzli
2021-09-20Add anchors to cmdline options (#7210)Gereon Kremer
2021-09-18Fix printer for datatype udpater (#7208)Andrew Reynolds
2021-09-18Refactor tag suggestion mechanism (#7199)Gereon Kremer
2021-09-17Use a single `NodeManager` per thread (#7204)Andres Noetzli
2021-09-17[proofs] Alethe: Added Proof Postprocessor to alethe_proof_processor (#7202)Lachnitt
2021-09-17[proofs] Alethe: Added Final Callback Function to alethe_proof_processor (#7200)Lachnitt
2021-09-17Replace write access to options by a local variable (#7207)Gereon Kremer
2021-09-17Minor cleanup related to EnvObj (#7206)Gereon Kremer
2021-09-16Fix relevant domain for parametric operators (#7198)Andrew Reynolds
2021-09-15[proofs] Alethe: Added Callback Function to alethe_proof_processor (#7186)Lachnitt
2021-09-15Minor changes to E-matching utilities (#7062)Andrew Reynolds
2021-09-15remove options that are no longer used (#7197)Gereon Kremer
2021-09-15[proof] Added printer for proof rule names (#7185)Lachnitt
2021-09-15[proof] Alethe proof rules (#7180)Lachnitt
2021-09-15Eliminate global access to options:: from quantifiers rewriter (#7192)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback