projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Eliminate APPLY kind (#2976)
[cvc5.git] / src / parser / smt1 /
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2018-10-20 Mathias PreinerRemove antlr_undefines.h. (#2664) tree | commitdiff
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) tree | commitdiff
2018-09-22 Mathias Preinercmake: Only build libcvc4 and libcvc4parser as libraries. tree | commitdiff
2018-09-22 Mathias Preinercmake: Move find_package to where it is actually needed. tree | commitdiff
2018-09-22 Mathias Preinercmake: Cleanup CMakeLists.txt files, remove SHARED. tree | commitdiff
2018-09-22 Mathias Preinercmake: Working build infrastructure. tree | commitdiff
2018-09-22 Mathias Preinercmake: Antlr parser generation done. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-08-09 Aina NiemetzPlug solver API object into parser. (#2240) tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-05-29 Andres NoetzliTrack input language in a single place (#2003) tree | commitdiff
2018-05-03 Andrew ReynoldsSupport HORN logic string (#1849) tree | commitdiff
2018-03-05 Mathias PreinerEnable -Wsuggest-override by default. (#1643) tree | commitdiff
2018-02-08 Tim KingFixing more inconsistent usages of override. (#1575) tree | commitdiff
2018-01-06 Tim KingRemoving throw specifiers from src/parser/. (#1486) tree | commitdiff
2017-11-07 Tim KingInitializing Smt1::d_logic in all cases. This was resol... tree | commitdiff
2017-11-04 Andrew ReynoldsSuppport SAT logic (#1310) tree | commitdiff
2017-10-03 Andrew ReynoldsOp overload parser (#1162) tree | commitdiff
2017-08-25 Aina NiemetzAdded missing includes (algorithm). tree | commitdiff
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the... tree | commitdiff
2017-07-17 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-17 Andres NoetzliRemove PtrCloser (#198) tree | commitdiff
2017-07-16 Andres NoetzliUse CXXFLAGS when compiling parsers (#197) tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2017-07-07 Mathias PreinerUse new copyright header format. tree | commitdiff
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... tree | commitdiff
2016-11-18 Clark BarrettMerge pull request #110 from 4tXJ7f/fix_makefiles tree | commitdiff
2016-11-18 Clark BarrettAdd support for set-logic ALL, fix compiler error in... tree | commitdiff
2016-11-12 Clark BarrettMerge pull request #107 from timothy-king/smt1-parser... tree | commitdiff
2016-11-12 Tim KingAdding garbage collection for the Smt1 Parser for Comma... tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-04-04 Tim KingUpdating the copyright headers and scripts. tree | commitdiff
2016-02-02 Tim KingMoving dump.*, command.*, model.*, and ite_removal... tree | commitdiff
2016-01-28 Tim KingAdding listeners to Options. tree | commitdiff
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking tree | commitdiff
2015-12-03 Tim KingRemoving the generated directory from the parsers. tree | commitdiff
2014-08-22 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-08-22 Morgan DetersFix SMT1 parser :extrasorts/:extrapreds. tree | commitdiff
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... tree | commitdiff
2014-07-01 Morgan DetersUpdate copyrights. tree | commitdiff
2014-04-29 Morgan DetersFix for --force-logic to extend its reach to the parser. tree | commitdiff
2014-04-28 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2014-04-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-04-10 Andrew ReynoldsAdd support for cardinality constraints logic UFC.... tree | commitdiff
2014-01-02 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-02 Morgan DetersUpdate copyright year. tree | commitdiff
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation... tree | commitdiff
2013-09-30 Liana Hadareanmerged golden tree | commitdiff
2013-09-13 Kshitij BansalMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-09-11 Tianyi LiangTheory of strings. tree | commitdiff
2013-04-30 lianahfixed merge conflicts tree | commitdiff
2013-04-22 Morgan Detersadd bit0 and bit1 constants to smt-lib v1 parser tree | commitdiff
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails tree | commitdiff
2013-04-02 Morgan Detersupdate copyrights tree | commitdiff
2013-03-27 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-26 Morgan DetersFixes for warnings from clang++, from -std=gnu++0x... tree | commitdiff
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... tree | commitdiff
2013-03-19 Morgan DetersMinor fixes to build system tree | commitdiff
2013-03-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan Detersfix to build system: #include the proper file when... tree | commitdiff
2013-03-13 lianahpost failed attempts at getting the incremental solver... tree | commitdiff
2013-03-09 Morgan DetersDisallow overflow in bitvector literals (parser only) tree | commitdiff
2013-03-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-26 lianahMerge branch '1.0.x' tree | commitdiff
2013-02-17 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-17 Kshitij BansalMerge pull request #6 from kbansal/decNewoptions tree | commitdiff
2013-02-16 Morgan DetersSome cleanup and copyright updating tree | commitdiff
2013-02-16 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Tim KingMerge branch '1.0.x' tree | commitdiff
2013-02-08 Morgan DetersFix user-values in SMT-LIB v1.2 tree | commitdiff
2013-02-08 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' tree | commitdiff
2013-02-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-02 lianahmerged master into branch tree | commitdiff
2013-02-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-31 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-28 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-27 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-23 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-23 Morgan Detersfix to workaround ANTLR 3.2 issue with initialization tree | commitdiff
2013-01-23 Morgan Detersadd user patterns to the Smt1 parser; update NEWS file tree | commitdiff
2012-10-22 Morgan Detersfix parser generation in distributed tarballs (should... tree | commitdiff
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... tree | commitdiff
2012-09-28 Morgan DetersPublic interface review items: tree | commitdiff
2012-09-27 Morgan Deters* Rename SMT parts (printer, parser) to SMT1 tree | commitdiff