projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix segfault by making unit conflict CDMaybe
2017-06-16 Andres NötzliFix segfault by making unit conflict CDMaybe
 commit | commitdiff | tree
2017-06-15 Clark BarrettMerge pull request #167 from CVC4/fix_div
 commit | commitdiff | tree
2017-05-28 Clark BarrettMerge pull request #164 from CVC4/fix_comp
 commit | commitdiff | tree
2017-05-17 Clark BarrettMerge pull request #155 from makaimann/conditional_coverage
 commit | commitdiff | tree
2017-05-16 Clark BarrettMerge pull request #161 from 4tXJ7f/fix_parser
 commit | commitdiff | tree
2017-05-16 Clark BarrettMerge pull request #160 from 4tXJ7f/fix_win_build
 commit | commitdiff | tree
2017-05-16 Andrew ReynoldsMerge pull request #156 from 4tXJ7f/fix_safe_print
 commit | commitdiff | tree
2017-05-15 Andrew ReynoldsMerge pull request #159 from 4tXJ7f/fix_set_types
 commit | commitdiff | tree
2017-05-15 Andrew ReynoldsMerge pull request #158 from 4tXJ7f/fix_sets_rewriter
 commit | commitdiff | tree
2017-05-15 Andrew ReynoldsMerge pull request #157 from 4tXJ7f/fix_iterator
 commit | commitdiff | tree
2017-05-14 Clark BarrettMerge pull request #154 from 4tXJ7f/fix_test
 commit | commitdiff | tree
2017-04-24 Andrew ReynoldsMerge pull request #152 from timothy-king/delta-rational...
commit | commitdiff | tree
2017-04-22 Clark BarrettMerge pull request #151 from 4tXJ7f/fix_debug
 commit | commitdiff | tree
2017-04-21 Clark BarrettMerge pull request #150 from 4tXJ7f/check_exceptions2
 commit | commitdiff | tree
2017-04-20 Andrew ReynoldsMerge pull request #149 from PaulMeng/master
 commit | commitdiff | tree
2017-04-19 Clark BarrettMerge pull request #147 from makaimann/coverage_fix
 commit | commitdiff | tree
2017-04-06 Clark BarrettMerge pull request #143 from FabianWolff/master
 commit | commitdiff | tree
2017-04-05 Andrew ReynoldsMerge pull request #145 from 4tXJ7f/fix_lfsc_args
 commit | commitdiff | tree
2017-04-04 Clark BarrettMerge pull request #141 from 4tXJ7f/remove_def
 commit | commitdiff | tree
2017-04-03 Andrew ReynoldsMerge pull request #142 from timothy-king/nlAlgMerge
 commit | commitdiff | tree
2017-03-30 Clark BarrettMerge pull request #139 from 4tXJ7f/remove_throw
 commit | commitdiff | tree
2017-03-29 PaulMengMerge pull request #138 from PaulMeng/master
 commit | commitdiff | tree
2017-03-27 Clark BarrettMerge pull request #137 from 4tXJ7f/throw_quals
 commit | commitdiff | tree
2017-03-20 Andrew ReynoldsMerge pull request #135 from PaulMeng/master
 commit | commitdiff | tree
2017-03-15 Clark BarrettMerge pull request #134 from 4tXJ7f/fix_host
 commit | commitdiff | tree
2017-03-14 guykatzzMerge pull request #133 from 4tXJ7f/fix_uninitialized
 commit | commitdiff | tree
2017-03-14 Clark BarrettMerge pull request #132 from 4tXJ7f/fix_mingw64
 commit | commitdiff | tree
2017-01-18 Andrew ReynoldsMerge pull request #128 from 4tXJ7f/fix_lfsc_perf
 commit | commitdiff | tree
2017-01-14 Clark BarrettMerge pull request #130 from chadbrewbaker/master
 commit | commitdiff | tree
2017-01-11 Clark BarrettMerge pull request #129 from timothy-king/regression...
commit | commitdiff | tree
2017-01-11 Clark BarrettMerge pull request #131 from makaimann/fix_702
 commit | commitdiff | tree
2017-01-11 Clark BarrettMerge pull request #127 from cristian-mattarei/issue_679
 commit | commitdiff | tree
2017-01-04 Andrew ReynoldsMerge pull request #122 from 4tXJ7f/fix_lfsc_str
 commit | commitdiff | tree
2017-01-04 guykatzzMerge pull request #120 from 4tXJ7f/fix_f_pp_holes
 commit | commitdiff | tree
2017-01-04 Andrew ReynoldsMerge pull request #121 from 4tXJ7f/fix_lfsc_mem_leaks
 commit | commitdiff | tree
2016-12-14 Clark BarrettMerge pull request #119 from 4tXJ7f/smt_v2_5
 commit | commitdiff | tree
2016-12-13 Andrew ReynoldsMerge pull request #118 from 4tXJ7f/fix_emp
 commit | commitdiff | tree
2016-12-12 Clark BarrettMerge pull request #117 from 4tXJ7f/fix_order
 commit | commitdiff | tree
2016-12-12 Clark BarrettMerge branch 'master' into fix_order
 commit | commitdiff | tree
2016-12-12 Clark BarrettMerge pull request #116 from 4tXJ7f/fix_mult
 commit | commitdiff | tree
2016-12-02 Tim KingMerge pull request #95 from 4tXJ7f/fix_sierra_build
 commit | commitdiff | tree
2016-12-02 Clark BarrettMerge pull request #113 from 4tXJ7f/remove_extract_rule
 commit | commitdiff | tree
2016-11-30 Clark BarrettMerge pull request #115 from 4tXJ7f/bug766
 commit | commitdiff | tree
2016-11-30 Clark BarrettMerge pull request #114 from 4tXJ7f/add_unit_test
 commit | commitdiff | tree
2016-11-28 Clark BarrettMerge pull request #112 from 4tXJ7f/fix_mult_distrib
 commit | commitdiff | tree
2016-11-22 Tim KingMerge pull request #111 from 4tXJ7f/fix_test_includes
 commit | commitdiff | tree
2016-11-18 Clark BarrettMerge pull request #110 from 4tXJ7f/fix_makefiles
 commit | commitdiff | tree
2016-11-16 Clark BarrettMerge pull request #108 from timothy-king/smt2-parser...
commit | commitdiff | tree
2016-11-16 PaulMengMerge pull request #109 from PaulMeng/master
 commit | commitdiff | tree
2016-11-12 Clark BarrettMerge pull request #107 from timothy-king/smt1-parser...
commit | commitdiff | tree
2016-11-12 Clark BarrettMerge pull request #106 from timothy-king/cvc-parser...
commit | commitdiff | tree
2016-11-12 Tim KingMerge pull request #105 from timothy-king/delete-maxed-out
 commit | commitdiff | tree
2016-11-10 Tim KingMerge pull request #103 from timothy-king/uniq-ptr
 commit | commitdiff | tree
2016-11-08 Tim KingMerge pull request #104 from timothy-king/disabling...
commit | commitdiff | tree
2016-11-07 Tim KingMerge pull request #102 from timothy-king/node-id-eq
 commit | commitdiff | tree
2016-11-05 Clark BarrettMerge pull request #101 from 4tXJ7f/fix_leak
 commit | commitdiff | tree
2016-11-03 Tim KingMerge pull request #100 from 4tXJ7f/fix_context_mm_black
 commit | commitdiff | tree
2016-10-27 Clark BarrettMerge pull request #99 from 4tXJ7f/fix_dist_build3
 commit | commitdiff | tree
2016-10-26 Andrew ReynoldsMerge pull request #98 from 4tXJ7f/fix_dist_build
 commit | commitdiff | tree
2016-10-19 Tim KingMerge pull request #97 from 4tXJ7f/fix_rewrite
 commit | commitdiff | tree
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format
 commit | commitdiff | tree
2016-09-19 Tim KingMerge pull request #92 from timothy-king/travis-cpp11
 commit | commitdiff | tree
2016-09-02 Tim KingMerge pull request #91 from timothy-king/no-throw
 commit | commitdiff | tree
2016-08-12 guykatzzMerge pull request #90 from 4tXJ7f/fewer_preproc_holes
 commit | commitdiff | tree
2016-08-09 guykatzzMerge pull request #89 from 4tXJ7f/fix_proof_spaces
 commit | commitdiff | tree
2016-08-06 guykatzzMerge pull request #88 from 4tXJ7f/fix_comments
 commit | commitdiff | tree
2016-08-03 barrettcwMerge pull request #87 from 4tXJ7f/fix_oob_access
 commit | commitdiff | tree
2016-07-27 guykatzzMerge pull request #86 from 4tXJ7f/fix_warnings
 commit | commitdiff | tree