projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Remove support for conversions between uint32/uint16 and string. (#1069)
2017-09-05 Andrew ReynoldsRemove support for conversions between uint32/uint16...
commit | commitdiff | tree
2017-09-01 Aina NiemetzAdd travis debug build with cln. (#1066)
 commit | commitdiff | tree
2017-09-01 Andres NoetzliAdd GCC7 jobs to Travis (#1054)
 commit | commitdiff | tree
2017-09-01 Andres NoetzliReplace CVC4_THREADLOCAL in interactive_shell (#1065)
 commit | commitdiff | tree
2017-08-31 Andrew ReynoldsAnswer unknown when uf-ss=no-minimal is combined with...
commit | commitdiff | tree
2017-08-31 Andres NoetzliUse thread_local instead of compiler extensions (#210)
 commit | commitdiff | tree
2017-08-30 Mathias PreinerRemove Coverity SSL certificate workaround from Travis...
commit | commitdiff | tree
2017-08-28 Andres NoetzliTravis: Package instead of download for cxxtest (#1055)
 commit | commitdiff | tree
2017-08-25 Aina NiemetzMove LFSC checker out of the CVC repository. (#222)
 commit | commitdiff | tree
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp
 commit | commitdiff | tree
2017-08-23 Tim KingRemoving TODO for 'Optimize via the iterator'. Not...
commit | commitdiff | tree
2017-08-22 Aina NiemetzCleanup: use Assert rather than C assert. (#1052)
 commit | commitdiff | tree
2017-08-17 Andres NoetzliRemove unused SubrangeBound(s) classes (#221)
 commit | commitdiff | tree
2017-08-15 Andres NoetzliMinimize includes in expr.h: remove dups, iostream...
commit | commitdiff | tree
2017-08-15 Andres NoetzliMove function definitions from metakind.h to cpp (...
commit | commitdiff | tree
2017-08-15 Andres NoetzliMove function definitions from kind.h to kind.cpp ...
commit | commitdiff | tree
2017-08-14 Andres NoetzliMove function defns from smt_engine_scope.h to cpp...
commit | commitdiff | tree
2017-08-14 Mathias PreinerUse antlr-3.4 directory if already present in CVC4...
commit | commitdiff | tree
2017-08-14 Aina NiemetzMerge pull request #214 from CVC4/fix_warn_nonlinear
 commit | commitdiff | tree
2017-08-09 Mathias PreinerRemove AigBitblaster implementation if ABC is not compiled...
commit | commitdiff | tree
2017-08-08 Andrew ReynoldsMerge pull request #211 from CVC4/fix_warn_sygus
 commit | commitdiff | tree
2017-08-08 Andres NoetzliOptionally split regression tests into test groups...
commit | commitdiff | tree
2017-07-30 Andres NoetzliFix memory leak in symbol table (#209)
 commit | commitdiff | tree
2017-07-30 Andres NoetzliChange 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 PreinerUse TEST_CPPFLAGS/TEST_CXXFLAGS to add path to CxxTest...
commit | commitdiff | tree
2017-07-23 Tim KingDeprecating the unused convenience_node_builders.h...
commit | commitdiff | tree
2017-07-23 Tim KingConsolidating the opaque pointers in SymbolTable. ...
commit | commitdiff | tree
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the...
commit | commitdiff | tree
2017-07-19 Andres NoetzliFix simple_vc_compat_cxx example (#202)
 commit | commitdiff | tree
2017-07-17 Andres NoetzliUse is_sorted, merge, copy from std (#199)
 commit | commitdiff | tree
2017-07-17 Andres NoetzliRemove PtrCloser (#198)
 commit | commitdiff | tree
2017-07-17 Tim KingMoving to static_assert now that c++11 is available.
 commit | commitdiff | tree
2017-07-16 Andres NoetzliUse CXXFLAGS when compiling parsers (#197)
 commit | commitdiff | tree
2017-07-15 Andres NoetzliDisable separate gnu++11 tests on Travis (#193)
 commit | commitdiff | tree
2017-07-13 Aina NiemetzMerge pull request #188 from aniemetz/cx11
 commit | commitdiff | tree
2017-07-07 Andres NoetzliRemove unused stacking_vector class (#185)
 commit | commitdiff | tree
2017-07-07 Andres NoetzliAvoid invoking copy constructor when safe printing...
commit | commitdiff | tree
2017-06-30 Andres NötzliFix use-after-free with unsat cores/proofs (#174)
 commit | commitdiff | tree
2017-06-23 Andres NötzliFix assertion failure due to missing clause id (#180)
 commit | commitdiff | tree
2017-06-22 Andres NötzliFix unsat cores script for SMT-COMP (#179)
 commit | commitdiff | tree
2017-06-21 Andrew ReynoldsMerge pull request #175 from CVC4/fix_uninit
 commit | commitdiff | tree
2017-06-21 Andres NötzliAdd run script for unsat cores track at SMT-COMP (...
commit | commitdiff | tree
2017-06-21 Andrew ReynoldsMerge pull request #176 from CVC4/smtcomp2017
 commit | commitdiff | tree
2017-06-17 Andres NötzliFix stream parsing
 commit | commitdiff | tree
2017-06-16 Clark BarrettMerge pull request #170 from CVC4/fix_2_6_parser3
 commit | commitdiff | tree
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
next