Age | Commit message (Collapse) | Author |
|
This commit adds support for code generation of options with modes (enums). From now on option enums can be specified in the corresponding *.toml files without the need of extra code. All option enums are now in the options namespace.
|
|
Fixes 2887.
|
|
|
|
|
|
* Remove front end hack for sygus.
* Remove other hack, add sygus solution output mode.
* Clang format
* Minor
* Fix
* Minor
* Remove unused field.
|
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback