diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2017-11-21 17:33:35 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-21 17:33:35 -0600 |
| commit | b2f4485e9d079806da4e95983dc849b1741c7823 (patch) | |
| tree | faa9ce48a4bfaae47d2385f0b0e9337eb204aa0e /src/theory/arith/nonlinear_extension.h | |
| parent | 60f1dd27da89be80c172e15e01c49f58e0ceb6c0 (diff) | |
Adding infrastructure for normalizing SyGuS grammars (#1397)
* minor
Using string previously computed
* adding option
* starting module for simplifying grammars
* more
* more
* fix
* fix
* fix
* fix
* fix
* removing unused command
* removing unused command
* removing unnecessary quantifier engine
* adding lambda support
* transient
* reverting changes
* starting normalization of integers
* removing unnecessary objects
* using for_each
* rebuilding given datatypes
* recrating types as given
* bug fixing
* minor
* reverting space changes
* addressing review
* addressing review
Diffstat (limited to 'src/theory/arith/nonlinear_extension.h')
0 files changed, 0 insertions, 0 deletions