projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix issue #1074, improve non-fatal error handling (#1075)
2017-09-19
Andres Noetzli
Fix issue #1074, improve non-fatal error handling ...
commit
|
commitdiff
|
tree
2017-09-19
Andrew Reynolds
Refactor cegqi instantiation infrastructure so that...
commit
|
commitdiff
|
tree
2017-09-18
Tim King
Moving the CVC4_PUBLIC attribute to the beginning of...
commit
|
commitdiff
|
tree
2017-09-14
Andres Noetzli
Enable ccache compression, increase cache size (#1099)
commit
|
commitdiff
|
tree
2017-09-14
Andrew Reynolds
Remove unhandled subtypes (#1098)
commit
|
commitdiff
|
tree
2017-09-13
Andres Noetzli
Remove unused RecordSelect and TupleSelect (#1087)
commit
|
commitdiff
|
tree
2017-09-12
Andrew Reynolds
Initial infrastructure for BV instantiation via word...
commit
|
commitdiff
|
tree
2017-09-12
Tim King
Adding reasonable breaks in switch statement in TheoryString...
commit
|
commitdiff
|
tree
2017-09-11
Tim King
Addressing a coverity scan complaint in theory_strings...
commit
|
commitdiff
|
tree
2017-09-10
Andrew Reynolds
Ensure that expand definitions is called on all non...
commit
|
commitdiff
|
tree
2017-09-07
Andrew Reynolds
Properly handle user cardinality constraints for uf...
commit
|
commitdiff
|
tree
2017-09-05
Andrew Reynolds
Remove support for conversions between uint32/uint16...
commit
|
commitdiff
|
tree
2017-09-01
Aina Niemetz
Add travis debug build with cln. (#1066)
commit
|
commitdiff
|
tree
2017-09-01
Andres Noetzli
Add GCC7 jobs to Travis (#1054)
commit
|
commitdiff
|
tree
2017-09-01
Andres Noetzli
Replace CVC4_THREADLOCAL in interactive_shell (#1065)
commit
|
commitdiff
|
tree
2017-08-31
Andrew Reynolds
Answer unknown when uf-ss=no-minimal is combined with...
commit
|
commitdiff
|
tree
2017-08-31
Andres Noetzli
Use thread_local instead of compiler extensions (#210)
commit
|
commitdiff
|
tree
2017-08-30
Mathias Preiner
Remove Coverity SSL certificate workaround from Travis...
commit
|
commitdiff
|
tree
2017-08-28
Andres Noetzli
Travis: Package instead of download for cxxtest (#1055)
commit
|
commitdiff
|
tree
2017-08-25
Aina Niemetz
Move LFSC checker out of the CVC repository. (#222)
commit
|
commitdiff
|
tree
2017-08-24
Andrew Reynolds
Merge pull request #191 from timothy-king/cleanup-regexp
commit
|
commitdiff
|
tree
2017-08-23
Tim King
Removing TODO for 'Optimize via the iterator'. Not...
commit
|
commitdiff
|
tree
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 (...
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
next