git.libre-soc.org Git - cvc5.git/search

2020-06-16	Abdalrhman Mohamed	Simplify sygus conversion script. (#4627)	commit \| commitdiff \| tree
2020-05-23	Abdalrhman Mohamed	Fix mistakes in sygus API comments. (#4520)	commit \| commitdiff \| tree
2020-05-21	Abdalrhman Mohamed	Make Grammar reusable. (#4506)	commit \| commitdiff \| tree
2020-05-20	Abdalrhman Mohamed	Add a simple script to convert sygus v1 files to v2...	commit \| commitdiff \| tree
2020-04-22	Abdalrhman Mohamed	Convert V2.5 SMT regressions to V2.6. (#4319)	commit \| commitdiff \| tree
2020-04-21	Abdalrhman Mohamed	Introduce a public interface for Sygus commands. (...	commit \| commitdiff \| tree
2020-03-28	Abdalrhman Mohamed	Change is-cons to (_ is cons) in Sygus benchmarks....	commit \| commitdiff \| tree
2020-03-28	Abdalrhman Mohamed	Convert the last few Sygus benchmarks to V2. (#4172)	commit \| commitdiff \| tree
2020-03-28	Abdalrhman Mohamed	Stop printing datatype declaration for Sygus V1 grammar...	commit \| commitdiff \| tree
2020-03-22	Abdalrhman Mohamed	Convert V1 Sygus files to V2. (#4136)	commit \| commitdiff \| tree
2020-02-24	Abdalrhman Mohamed	Fix bugs related to printing Sygus commands (#3804)	commit \| commitdiff \| tree
2020-02-17	Abdalrhman Mohamed	Support dumping Sygus commands. (#3763)	commit \| commitdiff \| tree