ajreynol
Follow
Pinned
1,050 contributions in the last year
Contribution activity
June 2023
Created 14 commits in 1 repository
Created a pull request in cvc5/cvc5 that received 2 comments
Use sygus utils for setting up mapping from functions-to-synthesize to grammars
This hides the implementation details concerning how this mapping is done via attributes.
+78
−61
•
2
comments
Opened 13 other pull requests in 1 repository
cvc5/cvc5
8
merged
5
open
- Rename pass to static rewrite
- Add filtering for query generation
- Fix registration of arithmetic proof checkers
- Split embedding converter and sygus grammar constructor
- Add rewrite verifier expression miner
- Use standard theory state in arithmetic
- Add verbose trace message to timeout core manager
- Unify purification skolems and skolem functions
- Refactor expression miner interface
- Add new utility methods for sygus
- Fix term ordering in TermCanonize
- Finer grained identifiers for sygus exclusion lemmas
- Add has abstract subterm method
Reviewed 3 pull requests in 1 repository
cvc5/cvc5
3 pull requests
Answered 2 discussions in 1 repository
cvc5/cvc5
cvc5/cvc5
-
Where to ask SyGuS questions? Is SyGuS outdated for PBE?
This contribution was made on Jun 6
-
How to make cvc5 search for the shortest solution?
This contribution was made on Jun 6