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

2021-02-01	Abdalrhman Mohamed	Avoid calling the printers while converting sexpr to...	commit \| commitdiff \| tree
2020-12-08	Abdalrhman Mohamed	Fix a bug with synth-fun printer (#5512)	commit \| commitdiff \| tree
2020-11-30	Abdalrhman Mohamed	Eliminate uses of SExpr from the parser. (#5496)	commit \| commitdiff \| tree
2020-10-27	Abdalrhman Mohamed	Refactor DeclareSygusVarCommand and SynthFunCommand...	commit \| commitdiff \| tree
2020-10-21	Abdalrhman Mohamed	Add finishInit for getInterpol and getAbduct. (#5316)	commit \| commitdiff \| tree
2020-10-20	Abdalrhman Mohamed	Remove some Commands from the API. (#5268)	commit \| commitdiff \| tree
2020-10-10	Abdalrhman Mohamed	Provide API version of some SMT Commands. (#5222)	commit \| commitdiff \| tree
2020-10-06	Abdalrhman Mohamed	Recover from some exceptions. (#5203)	commit \| commitdiff \| tree
2020-09-23	Abdalrhman Mohamed	Refactor Commands to use the Public API. (#5105)	commit \| commitdiff \| tree
2020-09-16	Abdalrhman Mohamed	Dump commands in internal code using command printing...	commit \| commitdiff \| tree
2020-09-04	Abdalrhman Mohamed	Use Result::Sat instead of BenchmarkStatus in printers...	commit \| commitdiff \| tree
2020-09-02	Abdalrhman Mohamed	Introduce an internal version of Commands. (#4988)	commit \| commitdiff \| tree
2020-08-18	Abdalrhman Mohamed	Refactor functions that print commands (Part 2) (#4905)	commit \| commitdiff \| tree
2020-08-12	Abdalrhman Mohamed	Refactor functions that print commands (Part 1) (#4869)	commit \| commitdiff \| tree
2020-08-04	Abdalrhman Mohamed	Modify the smt2 parser to use the Sygus grammar. (...	commit \| commitdiff \| tree
2020-06-20	Abdalrhman Mohamed	Add Match utility function. (#4632)	commit \| commitdiff \| tree
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

RSS Atom