issues
search
SemGuS-git
/
Semgus-Parser
Library and tool for parsing SemGuS specifications
MIT License
4
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add option for term annotations in s-expression format
#118
kjcjohnson
closed
8 months ago
0
Term annotations not included in s-expression format
#117
kjcjohnson
closed
8 months ago
0
Add the (experimental cvc5) theory of sequences
#116
kjcjohnson
closed
8 months ago
1
Add option to disable legacy symbols in CHC JSON events
#115
kjcjohnson
closed
8 months ago
0
Support "intrinsic" declarations
#114
kjcjohnson
closed
8 months ago
0
Allow defining non-theory "intrinsic" functions in problem files
#113
kjcjohnson
closed
8 months ago
0
ArraysEx and Parametric Sorts in Function Ranks
#112
kjcjohnson
closed
9 months ago
0
Parametric Sort
#111
Shoooooon
closed
9 months ago
2
Parametric Sorts
#110
Shoooooon
closed
9 months ago
0
Exception thrown when parsing malformed match statement
#108
kjcjohnson
opened
1 year ago
0
Unhelpful error message for malformed datatype declarations
#107
kjcjohnson
opened
1 year ago
0
Move BV extensions
#106
kjcjohnson
closed
1 year ago
0
Add unique identifiers to CHCs
#105
kjcjohnson
closed
1 year ago
0
Add IDs to CHCs
#104
kjcjohnson
closed
1 year ago
1
Difference between term types and datatypes
#103
sanpoyur
opened
1 year ago
0
Fix sexpr set-info handling (and add tests)
#102
kjcjohnson
closed
1 year ago
0
`set-info` values not present in sexpr format
#101
kjcjohnson
closed
1 year ago
0
Stack dump when function in SyGuS grammar doesn't exist
#100
kjcjohnson
opened
1 year ago
0
Update action versions
#98
kjcjohnson
closed
1 year ago
0
Add unclassified symbols to symbol table
#97
kjcjohnson
closed
1 year ago
1
CHC symbol tables
#96
kjcjohnson
closed
1 year ago
1
Don't fail on outputs with no parent directories
#95
kjcjohnson
closed
1 year ago
0
Output option fails if not in a subdirectory
#94
kjcjohnson
closed
1 year ago
1
Add term variable to CHC event
#93
kjcjohnson
closed
1 year ago
1
Regular expressions - first set
#92
kjcjohnson
closed
1 year ago
0
Fix scoping issue
#91
kjcjohnson
closed
1 year ago
0
Update actions to Node.js 16
#90
kjcjohnson
closed
1 year ago
0
Create output directories if needed
#89
kjcjohnson
closed
2 years ago
0
Create output directories that don't exist
#88
kjcjohnson
closed
2 years ago
0
`--version` doesn't report correct version
#87
kjcjohnson
opened
2 years ago
0
Check for input file existence (and exception handling)
#85
kjcjohnson
closed
2 years ago
0
Add flag to disable function events (for now)
#84
kjcjohnson
closed
2 years ago
0
Non-existent files throw an exception
#83
kjcjohnson
closed
2 years ago
0
Datatypes!
#82
kjcjohnson
closed
2 years ago
1
Remove selectors from `declare-term-types` command
#79
kjcjohnson
closed
2 years ago
0
Syntax change: dropping selector names in `declare-term-types`
#78
kjcjohnson
closed
2 years ago
0
Cleaner and more extensible theory/logic definitions
#77
kjcjohnson
closed
2 years ago
2
Arbitrary-arity conjunctions (among other things) don't parse
#76
phantamanta44
closed
2 years ago
0
Try to package the parser as a Maven package
#74
kjcjohnson
opened
2 years ago
0
Convert SyGuS files to CHCs on the fly
#73
kjcjohnson
closed
2 years ago
1
Fix grammar form.
#72
kjcjohnson
closed
2 years ago
0
Grammar form should be two separate lists
#71
kjcjohnson
closed
2 years ago
0
Allow multiple constraints in a CHC
#69
kjcjohnson
closed
2 years ago
1
Cannot parse CHCs containing certain conjunctions
#70
WileyCorning
closed
2 years ago
2
Adding a constraint with `and` in the CHC body
#68
sanpoyur
closed
2 years ago
0
Documentation fix: optionality of CHC input/output variable list in JSON
#67
kjcjohnson
closed
1 year ago
1
Bit Vector Support
#65
kjcjohnson
closed
2 years ago
1
Support Bit Vectors
#64
kjcjohnson
closed
2 years ago
0
Caveats and considerations for initial release
#62
kjcjohnson
closed
2 years ago
0
Fix up nullability on everything
#61
kjcjohnson
closed
2 years ago
0
Next