projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Eliminate Output macro in favor of simple Env functions (#7223)
[cvc5.git] / src / main /
2021-09-22 Mathias PreinerRemove CVC language support (#7219) tree | commitdiff
2021-09-17 Andres NoetzliUse a single `NodeManager` per thread (#7204) tree | commitdiff
2021-09-14 Andrew ReynoldsAdd get-difficulty to the API (#7194) tree | commitdiff
2021-09-14 Andres NoetzliMake `-o raw-benchmark` work with `--parse-only` (... tree | commitdiff
2021-09-14 Gereon KremerTurn sphinx generation into a function (#7181) tree | commitdiff
2021-09-14 Andrew ReynoldsReimplement `--dump=raw-benchmark` as `-o raw-benchmark... tree | commitdiff
2021-09-13 Gereon KremerRefactor options parsing (#7143) tree | commitdiff
2021-09-10 Gereon KremerRefactor command-line help (#7157) tree | commitdiff
2021-09-02 Andres Noetzli[Unit Tests] Fix shell test for Editline (#7117) tree | commitdiff
2021-09-02 Gereon KremerDriver & Options cleanup (#7109) tree | commitdiff
2021-09-01 Andrew ReynoldsPrint response to get-model using the API (#7084) tree | commitdiff
2021-09-01 Gereon KremerMake driver::totalTime a TimerStat (#7089) tree | commitdiff
2021-09-01 Gereon KremerNo longer use direct access to options in driver (... tree | commitdiff
2021-08-30 Gereon KremerRefactor filename handling (#7088) tree | commitdiff
2021-08-27 Gereon KremerAdd Driver options (#7078) tree | commitdiff
2021-08-27 Gereon KremerHandle languages as strings in driver (#7074) tree | commitdiff
2021-08-26 Andrew ReynoldsDump models for isNotEntailed results (#7071) tree | commitdiff
2021-08-26 Gereon KremerConsolidate language types (#7065) tree | commitdiff
2021-08-23 Gereon KremerMove options parsing code to main (#7054) tree | commitdiff
2021-08-23 Gereon KremerUse options correctly in competition mode (#7053) tree | commitdiff
2021-08-20 Gereon KremerMake driver use options from the solver (#6930) tree | commitdiff
2021-08-20 Gereon KremerAdd CVC5ApiOptionException (#6992) tree | commitdiff
2021-08-19 Andres NoetzliRemove `--(no-)interactive-prompt` (#7022) tree | commitdiff
2021-08-04 Gereon KremerConsolidate solver resets (#6986) tree | commitdiff
2021-08-04 Andrew ReynoldsAdd optional debug information for dumping instantiatio... tree | commitdiff
2021-08-03 Gereon KremerProperly honor --stats-all and --stats-expert when... tree | commitdiff
2021-07-31 Gereon KremerPerform statistics printing via the API (#6952) tree | commitdiff
2021-07-28 Gereon KremerOnly use libedit on tty inputs (#6946) tree | commitdiff
2021-07-26 Gereon KremerMove public options functions to separate file (#6671) tree | commitdiff
2021-07-14 Gereon KremerClean up option usage in command executor (#6844) tree | commitdiff
2021-06-23 Andres NoetzliRemove `--tear-down-incremental` (#6745) tree | commitdiff
2021-06-15 Gereon KremerRemove public option wrappers (#6716) tree | commitdiff
2021-06-09 Gereon KremerPush complex check inside GetInstantiationsCommand... tree | commitdiff
2021-06-08 Gereon KremerRemove `binary_name` option (#6693) tree | commitdiff
2021-06-06 Gereon KremerSupport public option modules (#6691) tree | commitdiff
2021-06-04 Gereon KremerAdd missing dereference (#6684) tree | commitdiff
2021-06-02 Gereon KremerUse proper variable name (#6670) tree | commitdiff
2021-06-02 Gereon KremerMove public wrapper functions out of options class... tree | commitdiff
2021-05-14 Andres NoetzliDecouple parser creation from input selection (#6533) tree | commitdiff
2021-05-13 Andres NoetzliAlways parse streams with line buffer (#6532) tree | commitdiff
2021-05-12 Gereon KremerUse signal(sig, SIG_DFL); raise(sig); instead of abort... tree | commitdiff
2021-04-28 Gereon KremerRemove exception headers from options.h (#6456) tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) tree | commitdiff
2021-04-14 Gereon KremerRefactor / reimplement statistics (#6162) tree | commitdiff
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) tree | commitdiff
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327) tree | commitdiff
2021-04-09 Aina NiemetzRename CVC4__ header guards to CVC5__. (#6326) tree | commitdiff
2021-04-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292) tree | commitdiff
2021-04-02 Mathias Preinercmake: Do not link against main object library. (#6269) tree | commitdiff
2021-04-02 Gereon KremerMinor refactoring (#6273) tree | commitdiff
2021-04-01 Gereon KremerRefactor CLN dependency & Cleanup (#6251) tree | commitdiff
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) tree | commitdiff
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) tree | commitdiff
2021-03-31 Gereon KremerRefactor GMP and Poly dependencies (#6245) tree | commitdiff
2021-03-31 Gereon KremerRefactor SymFPU dependency (#6218) tree | commitdiff
2021-03-30 Gereon KremerFix total time statistic (#6233) tree | commitdiff
2021-03-22 Gereon KremerMove statistics from the driver into the SmtEngine... tree | commitdiff
2021-03-18 Abdalrhman MohamedEliminate more uses of SExpr. (#6149) tree | commitdiff
2021-03-16 Mathias Preinercmake: Generate cvc4_export.h and set visibility to... tree | commitdiff
2021-03-11 Gereon KremerFirst refactoring of statistics classes (#6105) tree | commitdiff
2021-03-10 Mathias PreinerUse Assert instead of assert. (#6095) tree | commitdiff
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) tree | commitdiff
2021-03-05 Gereon KremerReimplement time limit mechanism for windows (#6049) tree | commitdiff
2021-03-04 Aina NiemetzNew C++ API: Clean up usage of internal Result. (#6043) tree | commitdiff
2021-02-23 Mathias PreinerSwitch to C++17. (#5959) tree | commitdiff
2020-12-23 Haniel BarbosaDumping unsat cores after check-sat-assuming/QUERY... tree | commitdiff
2020-12-12 Andrew ReynoldsFlush statistics through NodeManager in SmtEngine ... tree | commitdiff
2020-12-03 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-12-02 Aina NiemetzRename macro Message to CVC4Message. (#5576) tree | commitdiff
2020-11-30 Abdalrhman MohamedEliminate uses of SExpr from the parser. (#5496) tree | commitdiff
2020-11-18 Andrew ReynoldsFix asan issues related to solver and symbol manager... tree | commitdiff
2020-11-11 Andrew ReynoldsMove symbol manager to src/expr/ (#5420) tree | commitdiff
2020-11-11 Andrew ReynoldsPass symbol manager to commands (#5410) tree | commitdiff
2020-11-09 Andrew ReynoldsAdd symbol manager (#5380) tree | commitdiff
2020-09-23 Abdalrhman MohamedRefactor Commands to use the Public API. (#5105) tree | commitdiff
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... tree | commitdiff
2020-09-16 Abdalrhman MohamedDump commands in internal code using command printing... tree | commitdiff
2020-09-15 Aina NiemetzRename system tests to api tests and remove obsolete... tree | commitdiff
2020-09-03 FabianWolffDrop {INCLUDE,LIBRARY,RUNTIME}_INSTALL_DIR variables... tree | commitdiff
2020-07-30 Andrew V. JonesWhen linking Editline, use 'pkg-config' to correctly... tree | commitdiff
2020-07-17 Andrew V. JonesSupport for using 'libedit' over 'readline' #4571 ... tree | commitdiff
2020-07-16 Gereon KremerFixes memory leak when an exception goes through runCvc... tree | commitdiff
2020-07-13 Gereon KremerImplement --tlimit for windows (#4716) tree | commitdiff
2020-07-08 Gereon KremerRe-implement handling of --tlimit (#4655) tree | commitdiff
2020-07-07 Andrew ReynoldsTransfer ownership of internal Options from NodeManager... tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-06-15 Aina NiemetzBV: Add missing type check for INT_TO_BITVECTOR. (... tree | commitdiff
2020-04-21 Andrew ReynoldsUpdate to sygus version 2 (#4372) tree | commitdiff
2020-04-08 Andrew ReynoldsFix dump models and dump proofs (#4230) tree | commitdiff
2020-03-31 Andrew ReynoldsRemove replay and use-theory options and idl (#4186) tree | commitdiff
2020-03-12 Aina NiemetzNew C++ API: Remove support for (reset). (#4037) tree | commitdiff
2020-03-05 Mathias PreinerEnable -Wshadow and fix warnings. (#3909) tree | commitdiff
2020-02-26 Andres NoetzliRemove portfolio leftovers (#3821) tree | commitdiff
2019-12-17 Mathias PreinerGenerate code for options with modes. (#3561) tree | commitdiff
2019-09-25 Mathias PreinerUse separate CMake project for CVC4 examples. (#3196) tree | commitdiff
2019-09-07 Andrew ReynoldsRemove portfolio (#3236) tree | commitdiff
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228) tree | commitdiff
2019-08-14 Mathias PreinerRemove option --continued-execution. (#3189) tree | commitdiff
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) tree | commitdiff
next