projects
/
cvc5.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cvc5.git
2018-10-19
Andres Noetzli
Fix util::Random for macOS builds (#2655)
commit
|
commitdiff
|
tree
2018-10-19
Andres Noetzli
Add helper to detect length one string terms (#2654)
commit
|
commitdiff
|
tree
2018-10-19
Andres Noetzli
Add OptionException handling during initialization...
commit
|
commitdiff
|
tree
2018-10-19
Mathias Preiner
cmake: Run regression level 2 for make check. (#2645)
commit
|
commitdiff
|
tree
2018-10-19
Andrew Reynolds
Non-implied mode for model cores (#2653)
commit
|
commitdiff
|
tree
2018-10-18
Andrew Reynolds
Non-contributing find replace rewrite (#2652)
commit
|
commitdiff
|
tree
2018-10-18
Andrew Reynolds
Improve reduction for str.to.int (#2636)
commit
|
commitdiff
|
tree
2018-10-18
Haniel Barbosa
Introducing internal commands for SyGuS commands (...
commit
|
commitdiff
|
tree
2018-10-18
Andrew Reynolds
Constant length regular expression elimination (#2646)
commit
|
commitdiff
|
tree
2018-10-18
Andres Noetzli
Skip sygus-rr-synth-check regressions when ASAN on...
commit
|
commitdiff
|
tree
2018-10-18
Andres Noetzli
Show if ASAN build in --show-config (#2650)
commit
|
commitdiff
|
tree
2018-10-18
Andrew Reynolds
Sygus query generator (#2465)
commit
|
commitdiff
|
tree
2018-10-17
Andrew Reynolds
Fix context-dependent for positive contains reduction...
commit
|
commitdiff
|
tree
2018-10-17
Aina Niemetz
BV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_O...
commit
|
commitdiff
|
tree
2018-10-16
Mathias Preiner
cmake: Add CxxTest include directory to unit test inclu...
commit
|
commitdiff
|
tree
2018-10-16
Aina Niemetz
BV rewrites (mined): Rule 35: Generalized ConcatPullUp...
commit
|
commitdiff
|
tree
2018-10-16
Aina Niemetz
BV rewrites (mined): Rule 35: Generalized ConcatPullUp...
commit
|
commitdiff
|
tree
2018-10-16
Aina Niemetz
BV rewrites (mined): Rule 35: Generalized ConcatPullUp...
commit
|
commitdiff
|
tree
2018-10-16
Aina Niemetz
BV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_A...
commit
|
commitdiff
|
tree
2018-10-16
Andrew Reynolds
Improve strings reductions including skolem caching...
commit
|
commitdiff
|
tree
2018-10-16
Andrew Reynolds
Improve reduction for int.to.str (#2629)
commit
|
commitdiff
|
tree
2018-10-16
Haniel Barbosa
Option for shuffling condition pool in CegisUnif (...
commit
|
commitdiff
|
tree
2018-10-15
Mathias Preiner
cmake: Generate git_versioninfo.cpp on build time....
commit
|
commitdiff
|
tree
2018-10-15
Andrew Reynolds
Delay initialization of theory engine (#2621)
commit
|
commitdiff
|
tree
2018-10-15
Andres Noetzli
Add more (str.replace x y z) rewrites (#2628)
commit
|
commitdiff
|
tree
2018-10-14
Andres Noetzli
Fix fp-bool.sy grammar and require symfpu (#2631)
commit
|
commitdiff
|
tree
2018-10-13
Andres Noetzli
Reset input language for ExprMiner subsolver (#2624)
commit
|
commitdiff
|
tree
2018-10-12
Andrew Reynolds
Improvements to rewrite rules from inputs (#2625)
commit
|
commitdiff
|
tree
2018-10-12
Andres Noetzli
Add rewrites for str.replace in str.contains (#2623)
commit
|
commitdiff
|
tree
2018-10-12
Andrew Reynolds
Fix heuristic for string length approximation (#2622)
commit
|
commitdiff
|
tree
2018-10-12
Andrew Reynolds
Refactor printing of parameterized operators in smt2...
commit
|
commitdiff
|
tree
2018-10-11
Andres Noetzli
Improve reasoning about empty strings in rewriter ...
commit
|
commitdiff
|
tree
2018-10-11
Andrew Reynolds
Fix partial operator elimination in sygus grammar...
commit
|
commitdiff
|
tree
2018-10-11
Andrew Reynolds
Fix string ext inference for rewrites that introduce...
commit
|
commitdiff
|
tree
2018-10-11
Haniel Barbosa
Fix default setting of CegisUnif options (#2605)
commit
|
commitdiff
|
tree
2018-10-11
Mathias Preiner
cmake: Use gcovr instead lcov for coverage report gener...
commit
|
commitdiff
|
tree
2018-10-11
Andres Noetzli
Fix compiler warnings (#2602)
commit
|
commitdiff
|
tree
2018-10-11
Andrew Reynolds
Synthesize rewrite rules from inputs (#2608)
commit
|
commitdiff
|
tree
2018-10-10
Andrew Reynolds
Fix cegis so that evaluation unfolding is not interleav...
commit
|
commitdiff
|
tree
2018-10-10
Andrew Reynolds
Optimize regular expression elimination (#2612)
commit
|
commitdiff
|
tree
2018-10-10
Andres Noetzli
Add length-based rewrites for (str.substr _ _ _) (...
commit
|
commitdiff
|
tree
2018-10-09
Andrew Reynolds
Support for basic actively-generated enumerators ...
commit
|
commitdiff
|
tree
2018-10-09
Aina Niemetz
Random: support URNG interface (#2595)
commit
|
commitdiff
|
tree
2018-10-09
Andrew Reynolds
Allow multiple synthesis conjectures. (#2593)
commit
|
commitdiff
|
tree
2018-10-09
Aina Niemetz
Fix compiler warnings. (#2601)
commit
|
commitdiff
|
tree
2018-10-09
Aina Niemetz
BV instantiator: Factor out util functions. (#2604)
commit
|
commitdiff
|
tree
2018-10-09
Aina Niemetz
BV inverter: Factor out util functions. (#2603)
commit
|
commitdiff
|
tree
2018-10-09
Andrew Reynolds
Fix string register extended terms (#2597)
commit
|
commitdiff
|
tree
2018-10-09
Aina Niemetz
Cmake: Fix ctest call for example/translator. (#2600)
commit
|
commitdiff
|
tree
2018-10-08
Andrew Reynolds
Address slow sygus regressions (#2598)
commit
|
commitdiff
|
tree
2018-10-08
Andrew Reynolds
Disable extended rewriter when applicable with var...
commit
|
commitdiff
|
tree
2018-10-05
Haniel Barbosa
Fix unif trace (#2550)
commit
|
commitdiff
|
tree
2018-10-05
Andrew Reynolds
Fix cache for sygus post-condition inference (#2592)
commit
|
commitdiff
|
tree
2018-10-05
Andrew Reynolds
Update default options for sygus (#2586)
commit
|
commitdiff
|
tree
2018-10-05
Andrew Reynolds
Fix rewrite rule filtering. (#2591)
commit
|
commitdiff
|
tree
2018-10-04
Aina Niemetz
New C++ API: Add checks for Sorts. (#2519)
commit
|
commitdiff
|
tree
2018-10-04
Andrew Reynolds
Infrastructure for string length entailments via approx...
commit
|
commitdiff
|
tree
2018-10-04
Andres Noetzli
Only use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590)
commit
|
commitdiff
|
tree
2018-10-04
Andrew Reynolds
Fix end constraint for regexp elimination (#2571)
commit
|
commitdiff
|
tree
2018-10-04
Andrew Reynolds
Clean remaining references to getNextDecisionRequest...
commit
|
commitdiff
|
tree
2018-10-04
Aina Niemetz
Fix mem leak in sha1_collision example. (#2588)
commit
|
commitdiff
|
tree
2018-10-04
Aina Niemetz
Fix mem leak in sets_translate example. (#2589)
commit
|
commitdiff
|
tree
2018-10-04
Andrew Reynolds
Simplify datatypes printing (#2573)
commit
|
commitdiff
|
tree
2018-10-04
Aina Niemetz
Fix compiler warnings. (#2585)
commit
|
commitdiff
|
tree
2018-10-03
Andrew Reynolds
Fix regress (#2575)
commit
|
commitdiff
|
tree
2018-10-03
Andrew Reynolds
Add actively generated sygus enumerators (#2552)
commit
|
commitdiff
|
tree
2018-10-03
Haniel Barbosa
Make CegisUnif with condition independent robust to...
commit
|
commitdiff
|
tree
2018-10-03
Andrew Reynolds
Fix stale op list in sets (#2572)
commit
|
commitdiff
|
tree
2018-10-03
Andrew Reynolds
Eliminate partial operators within lambdas during gramm...
commit
|
commitdiff
|
tree
2018-10-03
Andres Noetzli
cmake: Display skipped tests as not run (#2567)
commit
|
commitdiff
|
tree
2018-10-03
Andres Noetzli
Allow (_ to_fp ...) in strict parsing mode (#2566)
commit
|
commitdiff
|
tree
2018-10-03
Mathias Preiner
unit: Fix ASAN detection for GCC. (#2561)
commit
|
commitdiff
|
tree
2018-10-02
Andres Noetzli
Make registration of preprocessing passes explicit...
commit
|
commitdiff
|
tree
2018-10-02
Alex Ozdemir
Fix documentation for `make regress`. (#2557)
commit
|
commitdiff
|
tree
2018-10-02
Mathias Preiner
cmake: Add examples to build-tests, add warning for...
commit
|
commitdiff
|
tree
2018-10-02
Andres Noetzli
Fix "catching polymorphic type by value" warnings ...
commit
|
commitdiff
|
tree
2018-10-01
Mathias Preiner
cmake: Generate compile_commands.json on configure...
commit
|
commitdiff
|
tree
2018-10-01
Mathias Preiner
cmake: Add build target build-tests to build all test...
commit
|
commitdiff
|
tree
2018-10-01
Haniel Barbosa
init scalar class members (coverity issues 1473720...
commit
|
commitdiff
|
tree
2018-10-01
Aina Niemetz
Fix compiler warnings. (#2555)
commit
|
commitdiff
|
tree
2018-10-01
Andres Noetzli
Fix dumping pre/post preprocessing passes (#2469)
commit
|
commitdiff
|
tree
2018-10-01
Andres Noetzli
Refactor preprocessing pass registration (#2468)
commit
|
commitdiff
|
tree
2018-09-30
Andrew Reynolds
Add rewrite for solving stoi (#2532)
commit
|
commitdiff
|
tree
2018-09-30
Mathias Preiner
cmake: Ignore ctest exit code for coverage reports.
commit
|
commitdiff
|
tree
2018-09-29
Haniel Barbosa
Stream concrete values for variable agnostic enumerator...
commit
|
commitdiff
|
tree
2018-09-28
Andres Noetzli
Rewrites for (= "" _) and (= (str.replace _) _) (#2546)
commit
|
commitdiff
|
tree
2018-09-28
Andres Noetzli
cmake: Only do Java tests when unit testing on (#2551)
commit
|
commitdiff
|
tree
2018-09-28
Mathias Preiner
cmake: Add CxxTest finder module to allow custom paths...
commit
|
commitdiff
|
tree
2018-09-27
Andrew Reynolds
Remove assertion. (#2549)
commit
|
commitdiff
|
tree
2018-09-27
Andrew Reynolds
Infrastructure for using active enumerators in sygus...
commit
|
commitdiff
|
tree
2018-09-27
Andrew Reynolds
Incorporate all unification enumerators into getTermLis...
commit
|
commitdiff
|
tree
2018-09-27
Andrew Reynolds
Fix Taylor overapproximation for large exponentials...
commit
|
commitdiff
|
tree
2018-09-27
Andrew Reynolds
Fix homogeneous string constant rewrite (#2545)
commit
|
commitdiff
|
tree
2018-09-27
Andrew Reynolds
Fix bug in getSymbols. (#2544)
commit
|
commitdiff
|
tree
2018-09-27
Mathias Preiner
cmake: Only print dumping warning if not disabled by...
commit
|
commitdiff
|
tree
2018-09-26
Haniel Barbosa
Makes SyGuS parsing more robust in invariant problems...
commit
|
commitdiff
|
tree
2018-09-26
Mathias Preiner
cmake: Fix test target dependency issues. (#2540)
commit
|
commitdiff
|
tree
2018-09-26
Andrew Reynolds
Enable quantified array regression. (#2539)
commit
|
commitdiff
|
tree
2018-09-26
Andrew Reynolds
Symmetry breaking for variable agnostic enumerators...
commit
|
commitdiff
|
tree
2018-09-26
Aina Niemetz
cmake: New INSTALL.md for build and testing instruction...
commit
|
commitdiff
|
tree
next