projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit
[cvc5.git] / examples /
2022-04-05 Mathias PreinerUpdate copyright headers for release 1.0 (#8539) tree | commitdiff
2022-04-05 Alex OzdemirWrite-up for Pythonic API quickstart (#8566) tree | commitdiff
2022-04-02 Andrew ReynoldsRename mkSygusGrammar to mkGrammar (#8544) tree | commitdiff
2022-04-02 Andrew ReynoldsRemove variant of mkDatatypeDecl with one sort paramete... tree | commitdiff
2022-04-02 Aina Niemetzapi: Rename get(Selector|Constructor)Term() to getTerm... tree | commitdiff
2022-04-02 Aina Niemetzapi: Remove DatatypeConstructor::getSelectorTerm()... tree | commitdiff
2022-04-01 Aina Niemetzapi: Remove Datatype::getConstructorTerm(). (#8529) tree | commitdiff
2022-04-01 Aina NiemetzPython API: Do not rename enumerators. (#8507) tree | commitdiff
2022-04-01 Gereon KremerRemove decorator from python API (#8505) tree | commitdiff
2022-04-01 Andres Noetzli[API] Remove redundant version of `mkFunctionSort`... tree | commitdiff
2022-04-01 Mathias Preinerapi: Swap arguments of declareSygusVar. (#8499) tree | commitdiff
2022-03-31 Andres NoetzliRemove examples that use the old API (#8486) tree | commitdiff
2022-03-31 mudathirmahgoubAdd examples/bags.cpp (#8463) tree | commitdiff
2022-03-31 Andres NoetzliMove Java package to `io.github.cvc5` (#8469) tree | commitdiff
2022-03-30 Abdalrhman MohamedShow the code for utilities in the docs. (#8387) tree | commitdiff
2022-03-29 Mathias PreinerIntroduce internal namespace and remove api namespace... tree | commitdiff
2022-03-29 mudathirmahgoubAdd bags.rst (#8432) tree | commitdiff
2022-03-29 Andres NoetzliMove `RoundingMode` to `cvc5_types.h` (#8427) tree | commitdiff
2022-03-25 Mathias Preinerapi: Unify mkOp variants. (#8369) tree | commitdiff
2022-03-25 Andrew ReynoldsUpdate checkSynth and checkSynthNext to return SynthRes... tree | commitdiff
2022-03-25 Andrew ReynoldsProperly guard commands in the SyGuS API (#8390) tree | commitdiff
2022-03-23 Gereon KremerAdd API unit tests for statistics (#8341) tree | commitdiff
2022-03-22 Mathias Preinerapi: Unify mkTerm variants. (#8357) tree | commitdiff
2022-03-21 Andres NoetzliRemove `Op::getIndices()` (#8355) tree | commitdiff
2022-03-14 Andrew ReynoldsRemove unecessary methods from the API (#8260) tree | commitdiff
2022-02-24 Andrew ReynoldsCheck for free variables in several SolverEngine calls... tree | commitdiff
2022-02-04 Aina NiemetzFP: Rename tester kinds. (#8037) tree | commitdiff
2022-02-03 Aina NiemetzRename kind PLUS -> ADD. (#8036) tree | commitdiff
2022-02-03 Aina Niemetzapi: Rename kinds MINUS -> SUB and UMINUS -> NEG. ... tree | commitdiff
2022-02-02 Alex OzdemirChange name of Python API's package from pycvc5 to... tree | commitdiff
2022-02-02 Aina Niemetzapi: Rename mk<Value> functions for FP for consistency... tree | commitdiff
2021-12-17 mudathirmahgoubAdd relations.cpp, relations.py examples (#7801) tree | commitdiff
2021-12-13 mudathirmahgoubUpdate Relations.java (#7796) tree | commitdiff
2021-12-08 Gereon KremerTurn kinds in python API into a proper Enum (#7686) tree | commitdiff
2021-12-07 mudathirmahgoubAdd documentation for QuickStart.java (#7730) tree | commitdiff
2021-12-01 mudathirmahgoubEnable Java examples (#7702) tree | commitdiff
2021-11-29 Sujit Kumar MuduliBug in printing parameter list in define_fun_to_string... tree | commitdiff
2021-11-24 Aina Niemetzexamples: Update python api datatypes example. (#7692) tree | commitdiff
2021-11-24 Aina Niemetzexamples: Update Java datatypes example with recent... tree | commitdiff
2021-11-24 Aina Niemetzexamples: Extend DT api example with APPLY_TESTER and... tree | commitdiff
2021-11-17 mudathirmahgoubUpdate SimpleVC.java (#7647) tree | commitdiff
2021-11-16 mudathirmahgoubFix compile errors with java examples (#7646) tree | commitdiff
2021-11-15 Aina Niemetzapi: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632) tree | commitdiff
2021-11-10 Aina Niemetzsets: Rename set.intersection to set.inter. (#7622) tree | commitdiff
2021-11-09 Aina Niemetzsets: Update theory reference and smt2 examples. (... tree | commitdiff
2021-11-08 Aina Niemetzsets: Rename kinds with a more consistent naming scheme... tree | commitdiff
2021-11-04 Gereon KremerRefactor cmake to build either static or shared (#7534) tree | commitdiff
2021-11-03 mudathirmahgoubEnable CI for Junit tests (#7436) tree | commitdiff
2021-10-28 Abdalrhman MohamedAdd a `define-fun` command for each `:named` term.... tree | commitdiff
2021-10-22 mudathirmahgoubRefactor java package name from cvc5 to io.github.cvc5... tree | commitdiff
2021-10-07 Gereon KremerAdd a binary / SMT-LIB quickstart (#7315) tree | commitdiff
2021-10-07 Gereon KremerReplace doubles by rationals in C++ quickstart (#7317) tree | commitdiff
2021-10-04 Gereon KremerAdd sygus examples to documentation (#7303) tree | commitdiff
2021-10-01 mudathirmahgoubUpdate java examples using the new Java API (#7225) tree | commitdiff
2021-09-30 Gereon KremerRefactor our static builds (#7251) tree | commitdiff
2021-09-29 Abdalrhman MohamedRemove support for extended `(check-sat <term>)` comman... tree | commitdiff
2021-09-29 Andrew ReynoldsUpdate the syntax for tuples in smt2 (#7265) tree | commitdiff
2021-09-22 Mathias PreinerRemove CVC language support (#7219) tree | commitdiff
2021-08-30 Gereon KremerAdd API function to obtain information about a single... tree | commitdiff
2021-08-23 Aina Niemetzapi: Require size argument for mkBitVector. (#6998) tree | commitdiff
2021-08-19 yoni206Make the python quickstart example run using ctest... tree | commitdiff
2021-07-29 yoni206Python quick start example (#6939) tree | commitdiff
2021-07-06 Haniel BarbosaPorting C++ API examples to SMT-LIB examples (#6789) tree | commitdiff
2021-07-06 Gereon KremerAdd doc page about transcendentals (#6755) tree | commitdiff
2021-06-23 Aina Niemetzdocs: Add quickstart guide. (#6782) tree | commitdiff
2021-06-16 Aina NiemetzMake symfpu a required dependency. (#6749) tree | commitdiff
2021-06-15 Haniel BarbosaCVC4 -> cvc5 in cpp API examples (#6746) tree | commitdiff
2021-06-15 yoni206An example for a quick start guide (#6686) tree | commitdiff
2021-06-09 Aina Niemetzdocs: Migrate sets and relations theory reference.... tree | commitdiff
2021-05-27 Aina NiemetzFP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD... tree | commitdiff
2021-05-26 Gereon KremerAdd more examples to the documentation (#6569) tree | commitdiff
2021-05-21 Aina NiemetzBV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589) tree | commitdiff
2021-05-20 yoni206Avoid using printSynthSolution in the python API and... tree | commitdiff
2021-05-14 Abdalrhman MohamedStop using the solver for printing sygus synthesis... tree | commitdiff
2021-05-14 Alex OzdemirAdd getId function to python API (#6523) tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2021-04-20 Aina NiemetzRemove support for CVC3 language. (#6369) 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-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292) tree | commitdiff
2021-04-01 Aina NiemetzDelete hashsmt example. (#6263) 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-20 mudathirmahgoubGenerate cvc/Kind.java for the java API (#6143) tree | commitdiff
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) tree | commitdiff
2020-12-03 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-11-20 Andrew ReynoldsUpdates to API in preparation for using symbol manager... tree | commitdiff
2020-11-05 mudathirmahgoubRemove mkSingleton from the API (#5366) tree | commitdiff
2020-10-29 mudathirmahgoubAdd mkInteger to the API (#5274) tree | commitdiff
2020-10-04 mudathirmahgoubRemove subtyping for sets theory (#5179) tree | commitdiff
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... tree | commitdiff
2020-09-02 Andres Noetzli[API] Fix Python Examples (#4943) tree | commitdiff
2020-08-03 yoni206Examples for using sygus python api (#4822) tree | commitdiff
2020-07-30 Andres NoetzliPython API: Add support for sequences (#4757) tree | commitdiff
2020-07-07 Andrew V. JonesIncrease the minimum version of CMake due to the use... tree | commitdiff
2020-06-29 Andres NoetzliMake ExprManager constructor private (#4669) tree | commitdiff
2020-06-23 Aina NiemetzNew C++ API: Remove examples for old API. (#4650) tree | commitdiff
2020-06-19 Andres NoetzliCleanup examples (#4634) tree | commitdiff
2020-06-18 Andres NoetzliImprove memory management in Java bindings (#4629) tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
next