diff options
| author |  Jade Philipoom <jadep@mit.edu> | 2015-11-05 13:48:27 -0500 |
|---|---|---|
| committer | Jade Philipoom <jadep@mit.edu> | 2015-11-05 13:48:27 -0500 |
| commit | 78382dea5eec746c5359e103462d9974e5bc64c7 (patch) | |
| tree | 74167cce54b775813818595345741b084a5ef026 /src/Util/ListUtil.v | |
| parent | d79d415ec2a268aea2cf9f331abad3bb93016b42 (diff) | |
ModularBaseSystem: Implemented reduce and proved reduce_rep, currently working on admits (extended_shiftadd and reduce_defn).
Diffstat (limited to 'src/Util/ListUtil.v')
0 files changed, 0 insertions, 0 deletions