projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbcc512) | patch
Add casc 25 tfn script. Change tff script to output instantiations. Work towards...
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 2 Jun 2015 11:43:51 +0000 (13:43 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 2 Jun 2015 11:43:51 +0000 (13:43 +0200)
commit7222fd13c68ee1352dabbe3791fae0ee13d689d1
tree8d36278b0c2c40afd0b77e4a17cdbaaeab417a38tree
parentcbcc5124a8f0f17acd981a80c182616cd0a778ffcommit | diff
Add casc 25 tfn script.  Change tff script to output instantiations. Work towards parsing non-flattened sygus grammars.
contrib/run-script-casc25-tff diff | blob | history
contrib/run-script-casc25-tfn [new file with mode: 0644] blob
src/parser/smt2/Smt2.g diff | blob | history