projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Ensure uses of ground terms in triggers are preprocessed and registered (#5808)
2021-01-13 Ying ShengAdd unit test for api getInterpolant() -- issue #5593...
commit | commitdiff | tree
2020-09-15 Ying ShengInterpolation: Add implementation for SyGuS interpolation...
commit | commitdiff | tree
2020-08-03 Ying ShengAdd implementation for SyGuS interpolation module ...
commit | commitdiff | tree
2020-07-28 Ying Shengfixing issue #4808. (#4810)
 commit | commitdiff | tree
2020-07-28 Ying ShengInterpolation: 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 ShengInterpolation step 1 (#4638)
 commit | commitdiff | tree
2020-03-08 Ying ShengExplicit end marker for models printed in the CVC language...
commit | commitdiff | tree
2019-12-16 Ying ShengSupport ackermannization on uninterpreted sorts in...
commit | commitdiff | tree
2019-10-08 Ying ShengMake ackermannization generally applicable rather than...
commit | commitdiff | tree