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

2020-08-03	Ying Sheng	Add implementation for SyGuS interpolation module ...	commit \| commitdiff \| tree
2020-07-28	Ying Sheng	fixing issue #4808. (#4810)	commit \| commitdiff \| tree
2020-07-28	Ying Sheng	Interpolation: Add interface for SyGuS interpolation...	commit \| commitdiff \| tree
2020-07-10	Ying Sheng	[Interpolation] Add interface for SyGuS interpolation...	commit \| commitdiff \| tree
2020-06-30	Ying Sheng	Interpolation step 1 (#4638)	commit \| commitdiff \| tree
2020-03-08	Ying Sheng	Explicit end marker for models printed in the CVC language...	commit \| commitdiff \| tree
2019-12-16	Ying Sheng	Support ackermannization on uninterpreted sorts in...	commit \| commitdiff \| tree
2019-10-08	Ying Sheng	Make ackermannization generally applicable rather than...	commit \| commitdiff \| tree