| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-03-27 | Filter candidate rewrites based on matching (#1682) | Andrew Reynolds |
| 2018-03-20 | Minor fix and addition to sygus sampler (#1678) | Andrew Reynolds |
| 2018-03-05 | Enable -Wsuggest-override by default. (#1643) | Mathias Preiner |
| 2018-03-05 | Fix for sampler. (#1639) | Andrew Reynolds |
| 2018-03-02 | Print candidate rewrites in terms of original grammar (#1635) | Andrew Reynolds |
| 2018-02-14 | Quantifiers subdirectories (#1608) | Andrew Reynolds |
| 2018-02-12 | Minor improvements to sygus sampler (#1598) | Andrew Reynolds |
| 2018-02-09 | Class to reduce printing of redundant candidate rewrites (#1588) | Andrew Reynolds |
| 2018-02-08 | Adding virtual destructors on classes with virtual functions. (#1583) | Tim King |
| 2018-02-08 | Minor improvements to sygus sampling. (#1577) | Andrew Reynolds |
| 2018-02-04 | Sample based on sygus grammar by default (#1558) | Andrew Reynolds |
| 2018-02-02 | Option to use sampling for CEGIS (#1555) | Andrew Reynolds |
| 2018-02-01 | Use sygus to synthesize/verify rewrite rules (#1547) | Andrew Reynolds |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback