projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Make witness form visited ref counted (#8081)
2022-01-24
Abdalrhman Mohamed
Enable dump tester. (#7884)
commit
|
commitdiff
|
tree
2022-01-11
Abdalrhman Mohamed
Disable filtering of shapes in sygus-rcons pool. (...
commit
|
commitdiff
|
tree
2022-01-11
Abdalrhman Mohamed
Check the synthesized funs of `check-synth-next`. ...
commit
|
commitdiff
|
tree
2021-12-14
Abdalrhman Mohamed
Add a random Sygus enumerator. (#7782)
commit
|
commitdiff
|
tree
2021-12-10
Abdalrhman Mohamed
Mute `define-fun` command generated for named terms...
commit
|
commitdiff
|
tree
2021-11-11
Abdalrhman Mohamed
Add an API method to get the raw name of a term. (...
commit
|
commitdiff
|
tree
2021-11-09
Abdalrhman Mohamed
Remove redundant rules for generating Java and Python...
commit
|
commitdiff
|
tree
2021-11-06
Abdalrhman Mohamed
Print `unsupported` for unrecognized flags. (#7384)
commit
|
commitdiff
|
tree
2021-11-02
Abdalrhman Mohamed
Move `fmf.card` printing code. (#7559)
commit
|
commitdiff
|
tree
2021-11-02
Abdalrhman Mohamed
Add printing methods for some commands. (#7557)
commit
|
commitdiff
|
tree
2021-10-28
Abdalrhman Mohamed
Add a `define-fun` command for each `:named` term....
commit
|
commitdiff
|
tree
2021-10-28
Abdalrhman Mohamed
Fix `(set-info <sexpr>)` parsing and printing bugs...
commit
|
commitdiff
|
tree
2021-10-20
Abdalrhman Mohamed
Avoid escaping `double-quotes` twice. (#7409)
commit
|
commitdiff
|
tree
2021-10-18
Abdalrhman Mohamed
Move check for experimental arrays features to `theory_array...
commit
|
commitdiff
|
tree
2021-10-06
Abdalrhman Mohamed
Avoid calling `quoteSymbol` multiple times. (#7307)
commit
|
commitdiff
|
tree
2021-09-30
Abdalrhman Mohamed
Print `str.is_digit` and `int.pow2` correctly. (#7276)
commit
|
commitdiff
|
tree
2021-09-29
Abdalrhman Mohamed
Remove support for extended `(check-sat <term>)` command...
commit
|
commitdiff
|
tree
2021-09-23
Abdalrhman Mohamed
Use `|` to print quoted strings in `set-info` command...
commit
|
commitdiff
|
tree
2021-05-18
Abdalrhman Mohamed
Loop over terms to reconstruct instead of obligations...
commit
|
commitdiff
|
tree
2021-05-14
Abdalrhman Mohamed
Stop using the solver for printing sygus synthesis...
commit
|
commitdiff
|
tree
2021-04-14
Abdalrhman Mohamed
Merge equivalent sub-obligations instead of discarding...
commit
|
commitdiff
|
tree
2021-04-13
Abdalrhman Mohamed
Avoid using substitute's input cache after the method...
commit
|
commitdiff
|
tree
2021-04-13
Abdalrhman Mohamed
Fix sexpr bug with AST output language. (#6329)
commit
|
commitdiff
|
tree
2021-03-30
Abdalrhman Mohamed
Give a better error when sygus grammar rules contain...
commit
|
commitdiff
|
tree
2021-03-23
Abdalrhman Mohamed
Replace old sygus term reconstruction algorithm with...
commit
|
commitdiff
|
tree
2021-03-18
Abdalrhman Mohamed
Eliminate more uses of SExpr. (#6149)
commit
|
commitdiff
|
tree
2021-03-03
Abdalrhman Mohamed
Remove uses of SExpr class. (#6035)
commit
|
commitdiff
|
tree
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