projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Cleanup: use Assert rather than C assert. (#1052)
2017-08-22
Aina Niemetz
Cleanup: use Assert rather than C assert. (#1052)
commit
|
commitdiff
|
tree
2017-08-17
Andres Noetzli
Remove unused SubrangeBound(s) classes (#221)
commit
|
commitdiff
|
tree
2017-08-15
Andres Noetzli
Minimize includes in expr.h: remove dups, iostream...
commit
|
commitdiff
|
tree
2017-08-15
Andres Noetzli
Move function definitions from metakind.h to cpp (...
commit
|
commitdiff
|
tree
2017-08-15
Andres Noetzli
Move function definitions from kind.h to kind.cpp ...
commit
|
commitdiff
|
tree
2017-08-14
Andres Noetzli
Move function defns from smt_engine_scope.h to cpp...
commit
|
commitdiff
|
tree
2017-08-14
Mathias Preiner
Use antlr-3.4 directory if already present in CVC4...
commit
|
commitdiff
|
tree
2017-08-14
Aina Niemetz
Merge pull request #214 from CVC4/fix_warn_nonlinear
commit
|
commitdiff
|
tree
2017-08-09
Mathias Preiner
Remove AigBitblaster implementation if ABC is not compiled...
commit
|
commitdiff
|
tree
2017-08-08
Andrew Reynolds
Merge pull request #211 from CVC4/fix_warn_sygus
commit
|
commitdiff
|
tree
2017-08-08
Andres Noetzli
Optionally split regression tests into test groups...
commit
|
commitdiff
|
tree
2017-07-30
Andres Noetzli
Fix memory leak in symbol table (#209)
commit
|
commitdiff
|
tree
2017-07-30
Andres Noetzli
Change remaining hash_set -> unordered_set (#208)
commit
|
commitdiff
|
tree
2017-07-27
Andres Noetzli
-Og for non-opt build, parallel pcvc4 check (#206)
commit
|
commitdiff
|
tree
2017-07-26
Mathias Preiner
Use TEST_CPPFLAGS/TEST_CXXFLAGS to add path to CxxTest...
commit
|
commitdiff
|
tree
2017-07-23
Tim King
Deprecating the unused convenience_node_builders.h...
commit
|
commitdiff
|
tree
2017-07-23
Tim King
Consolidating the opaque pointers in SymbolTable. ...
commit
|
commitdiff
|
tree
2017-07-21
Tim King
Moving from the gnu extensions for hash maps to the...
commit
|
commitdiff
|
tree
2017-07-19
Andres Noetzli
Fix simple_vc_compat_cxx example (#202)
commit
|
commitdiff
|
tree
2017-07-17
Andres Noetzli
Use is_sorted, merge, copy from std (#199)
commit
|
commitdiff
|
tree
2017-07-17
Andres Noetzli
Remove PtrCloser (#198)
commit
|
commitdiff
|
tree
2017-07-17
Tim King
Moving to static_assert now that c++11 is available.
commit
|
commitdiff
|
tree
2017-07-16
Andres Noetzli
Use CXXFLAGS when compiling parsers (#197)
commit
|
commitdiff
|
tree
2017-07-15
Andres Noetzli
Disable separate gnu++11 tests on Travis (#193)
commit
|
commitdiff
|
tree
2017-07-13
Aina Niemetz
Merge pull request #188 from aniemetz/cx11
commit
|
commitdiff
|
tree
2017-07-07
Andres Noetzli
Remove unused stacking_vector class (#185)
commit
|
commitdiff
|
tree
2017-07-07
Andres Noetzli
Avoid invoking copy constructor when safe printing...
commit
|
commitdiff
|
tree
2017-06-30
Andres Nötzli
Fix use-after-free with unsat cores/proofs (#174)
commit
|
commitdiff
|
tree
2017-06-23
Andres Nötzli
Fix assertion failure due to missing clause id (#180)
commit
|
commitdiff
|
tree
2017-06-22
Andres Nötzli
Fix unsat cores script for SMT-COMP (#179)
commit
|
commitdiff
|
tree
2017-06-21
Andrew Reynolds
Merge pull request #175 from CVC4/fix_uninit
commit
|
commitdiff
|
tree
2017-06-21
Andres Nötzli
Add run script for unsat cores track at SMT-COMP (...
https://
github
.com/CVC4/CVC4/blob/d43e5fb294d89ba69f7d...
commit
|
commitdiff
|
tree
2017-06-21
Andrew Reynolds
Merge pull request #176 from CVC4/smtcomp2017
commit
|
commitdiff
|
tree
2017-06-17
Andres Nötzli
Fix stream parsing
commit
|
commitdiff
|
tree
2017-06-16
Clark Barrett
Merge pull request #170 from CVC4/fix_2_6_parser3
commit
|
commitdiff
|
tree
2017-06-16
Andres Nötzli
Fix segfault by making unit conflict CDMaybe
commit
|
commitdiff
|
tree
2017-06-15
Clark Barrett
Merge pull request #167 from CVC4/fix_div
commit
|
commitdiff
|
tree
2017-05-28
Clark Barrett
Merge pull request #164 from CVC4/fix_comp
commit
|
commitdiff
|
tree
2017-05-17
Clark Barrett
Merge pull request #155 from makaimann/conditional_coverage
commit
|
commitdiff
|
tree
2017-05-16
Clark Barrett
Merge pull request #161 from 4tXJ7f/fix_parser
commit
|
commitdiff
|
tree
2017-05-16
Clark Barrett
Merge pull request #160 from 4tXJ7f/fix_win_build
commit
|
commitdiff
|
tree
2017-05-16
Andrew Reynolds
Merge pull request #156 from 4tXJ7f/fix_safe_print
commit
|
commitdiff
|
tree
2017-05-15
Andrew Reynolds
Merge pull request #159 from 4tXJ7f/fix_set_types
commit
|
commitdiff
|
tree
2017-05-15
Andrew Reynolds
Merge pull request #158 from 4tXJ7f/fix_sets_rewriter
commit
|
commitdiff
|
tree
2017-05-15
Andrew Reynolds
Merge pull request #157 from 4tXJ7f/fix_iterator
commit
|
commitdiff
|
tree
2017-05-14
Clark Barrett
Merge pull request #154 from 4tXJ7f/fix_test
commit
|
commitdiff
|
tree
2017-04-24
Andrew Reynolds
Merge pull request #152 from timothy-king/delta-rational...
commit
|
commitdiff
|
tree
2017-04-22
Clark Barrett
Merge pull request #151 from 4tXJ7f/fix_debug
commit
|
commitdiff
|
tree
2017-04-21
Clark Barrett
Merge pull request #150 from 4tXJ7f/check_exceptions2
commit
|
commitdiff
|
tree
2017-04-20
Andrew Reynolds
Merge pull request #149 from PaulMeng/master
commit
|
commitdiff
|
tree
2017-04-19
Clark Barrett
Merge pull request #147 from makaimann/coverage_fix
commit
|
commitdiff
|
tree
2017-04-06
Clark Barrett
Merge pull request #143 from FabianWolff/master
commit
|
commitdiff
|
tree
2017-04-05
Andrew Reynolds
Merge pull request #145 from 4tXJ7f/fix_lfsc_args
commit
|
commitdiff
|
tree
2017-04-04
Clark Barrett
Merge pull request #141 from 4tXJ7f/remove_def
commit
|
commitdiff
|
tree
2017-04-03
Andrew Reynolds
Merge pull request #142 from timothy-king/nlAlgMerge
commit
|
commitdiff
|
tree
2017-03-30
Clark Barrett
Merge pull request #139 from 4tXJ7f/remove_throw
commit
|
commitdiff
|
tree
2017-03-29
PaulMeng
Merge pull request #138 from PaulMeng/master
commit
|
commitdiff
|
tree
2017-03-27
Clark Barrett
Merge pull request #137 from 4tXJ7f/throw_quals
commit
|
commitdiff
|
tree
2017-03-20
Andrew Reynolds
Merge pull request #135 from PaulMeng/master
commit
|
commitdiff
|
tree
2017-03-15
Clark Barrett
Merge pull request #134 from 4tXJ7f/fix_host
commit
|
commitdiff
|
tree
2017-03-14
guykatzz
Merge pull request #133 from 4tXJ7f/fix_uninitialized
commit
|
commitdiff
|
tree
2017-03-14
Clark Barrett
Merge pull request #132 from 4tXJ7f/fix_mingw64
commit
|
commitdiff
|
tree
2017-01-18
Andrew Reynolds
Merge pull request #128 from 4tXJ7f/fix_lfsc_perf
commit
|
commitdiff
|
tree
2017-01-14
Clark Barrett
Merge pull request #130 from chadbrewbaker/master
commit
|
commitdiff
|
tree
2017-01-11
Clark Barrett
Merge pull request #129 from timothy-king/regression...
commit
|
commitdiff
|
tree
2017-01-11
Clark Barrett
Merge pull request #131 from makaimann/fix_702
commit
|
commitdiff
|
tree
2017-01-11
Clark Barrett
Merge pull request #127 from cristian-mattarei/issue_679
commit
|
commitdiff
|
tree
2017-01-04
Andrew Reynolds
Merge pull request #122 from 4tXJ7f/fix_lfsc_str
commit
|
commitdiff
|
tree
2017-01-04
guykatzz
Merge pull request #120 from 4tXJ7f/fix_f_pp_holes
commit
|
commitdiff
|
tree
2017-01-04
Andrew Reynolds
Merge pull request #121 from 4tXJ7f/fix_lfsc_mem_leaks
commit
|
commitdiff
|
tree
2016-12-14
Clark Barrett
Merge pull request #119 from 4tXJ7f/smt_v2_5
commit
|
commitdiff
|
tree
2016-12-13
Andrew Reynolds
Merge pull request #118 from 4tXJ7f/fix_emp
commit
|
commitdiff
|
tree
2016-12-12
Clark Barrett
Merge pull request #117 from 4tXJ7f/fix_order
commit
|
commitdiff
|
tree
2016-12-12
Clark Barrett
Merge branch 'master' into fix_order
commit
|
commitdiff
|
tree
2016-12-12
Clark Barrett
Merge pull request #116 from 4tXJ7f/fix_mult
commit
|
commitdiff
|
tree
2016-12-02
Tim King
Merge pull request #95 from 4tXJ7f/fix_sierra_build
commit
|
commitdiff
|
tree
2016-12-02
Clark Barrett
Merge pull request #113 from 4tXJ7f/remove_extract_rule
commit
|
commitdiff
|
tree
2016-11-30
Clark Barrett
Merge pull request #115 from 4tXJ7f/bug766
commit
|
commitdiff
|
tree
2016-11-30
Clark Barrett
Merge pull request #114 from 4tXJ7f/add_unit_test
commit
|
commitdiff
|
tree
2016-11-28
Clark Barrett
Merge pull request #112 from 4tXJ7f/fix_mult_distrib
commit
|
commitdiff
|
tree
2016-11-22
Tim King
Merge pull request #111 from 4tXJ7f/fix_test_includes
commit
|
commitdiff
|
tree
2016-11-18
Clark Barrett
Merge pull request #110 from 4tXJ7f/fix_makefiles
commit
|
commitdiff
|
tree
2016-11-16
Clark Barrett
Merge pull request #108 from timothy-king/smt2-parser...
commit
|
commitdiff
|
tree
2016-11-16
PaulMeng
Merge pull request #109 from PaulMeng/master
commit
|
commitdiff
|
tree
2016-11-12
Clark Barrett
Merge pull request #107 from timothy-king/smt1-parser...
commit
|
commitdiff
|
tree
2016-11-12
Clark Barrett
Merge pull request #106 from timothy-king/cvc-parser...
commit
|
commitdiff
|
tree
2016-11-12
Tim King
Merge pull request #105 from timothy-king/delete-maxed-out
commit
|
commitdiff
|
tree
2016-11-10
Tim King
Merge pull request #103 from timothy-king/uniq-ptr
commit
|
commitdiff
|
tree
2016-11-08
Tim King
Merge pull request #104 from timothy-king/disabling...
commit
|
commitdiff
|
tree
2016-11-07
Tim King
Merge pull request #102 from timothy-king/node-id-eq
commit
|
commitdiff
|
tree
2016-11-05
Clark Barrett
Merge pull request #101 from 4tXJ7f/fix_leak
commit
|
commitdiff
|
tree
2016-11-03
Tim King
Merge pull request #100 from 4tXJ7f/fix_context_mm_black
commit
|
commitdiff
|
tree
2016-10-27
Clark Barrett
Merge pull request #99 from 4tXJ7f/fix_dist_build3
commit
|
commitdiff
|
tree
2016-10-26
Andrew Reynolds
Merge pull request #98 from 4tXJ7f/fix_dist_build
commit
|
commitdiff
|
tree
2016-10-19
Tim King
Merge pull request #97 from 4tXJ7f/fix_rewrite
commit
|
commitdiff
|
tree
2016-10-01
Tim King
Merge pull request #93 from timothy-king/clang-format
commit
|
commitdiff
|
tree
2016-09-19
Tim King
Merge pull request #92 from timothy-king/travis-cpp11
commit
|
commitdiff
|
tree
2016-09-02
Tim King
Merge pull request #91 from timothy-king/no-throw
commit
|
commitdiff
|
tree
2016-08-12
guykatzz
Merge pull request #90 from 4tXJ7f/fewer_preproc_holes
commit
|
commitdiff
|
tree
2016-08-09
guykatzz
Merge pull request #89 from 4tXJ7f/fix_proof_spaces
commit
|
commitdiff
|
tree
next