projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fix segfault by making unit conflict CDMaybe
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
2016-08-06
guykatzz
Merge pull request #88 from 4tXJ7f/fix_comments
commit
|
commitdiff
|
tree
2016-08-03
barrettcw
Merge pull request #87 from 4tXJ7f/fix_oob_access
commit
|
commitdiff
|
tree
2016-07-27
guykatzz
Merge pull request #86 from 4tXJ7f/fix_warnings
commit
|
commitdiff
|
tree