Commit b441c56a authored by Gaspard Ferey's avatar Gaspard Ferey

Reorganized files.

parent 31ad24af
......@@ -2,18 +2,19 @@ This project contains various implementations of cic.dk
| File | max_AC | plus_AC | plus_ACU | cast | lift | lift_1 | max_err | confluent | WIP | constraints | varity |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| [./AC/cicup.dk](./AC/cicup.dk) | X | X | | | | | | | X | | |
| [./AC/1-original/cc.dk](./AC/1-original/cc.dk) | | | X | | X | X | | X | | | |
| [./AC/maxplusAC.dk](./AC/maxplusAC.dk) | X | X | | | | | | | X | | |
| [./AC/cicup_maxAC.dk](./AC/cicup_maxAC.dk) | | | | | X | | | | | | |
| [./AC/cicup_0elim.dk](./AC/cicup_0elim.dk) | | X | | | X | X | | X | | | |
| [./AC/cicup_0elim_maxplus.dk](./AC/cicup_0elim_maxplus.dk) | | X | | | X | | | | | | |
| [./nolift/cc.dk](./nolift/cc.dk) | | | | X | | | | | X | | X |
| [./nolift/cic.dk](./nolift/cic.dk) | | | | X | | | | | X | | X |
| [./HOAS/HOAS_to_DBAC.dk](./HOAS/HOAS_to_DBAC.dk) | | | | | | | | | X | | |
| [./orig/cic_coqine.dk](./orig/cic_coqine.dk) | | | | X | X | | | | | | |
| [./orig/cic.dk](./orig/cic.dk) | | | | | X | | | | | | |
| [./orig/cic_v2.dk](./orig/cic_v2.dk) | X | | | | X | | | | X | | |
| [./old_to_ACU/cicup_v2.dk](./old_to_ACU/cicup_v2.dk) | | X | | | X | | | | | | |
| [./old_to_ACU/cc.dk](./old_to_ACU/cc.dk) | | X | | | X | | | | | | |
| [./Constraints/cc.dk](./Constraints/cc.dk) | | | | | | | | | X | X | |
| [./AC_Gilles/1-original/cc.dk](./AC_Gilles/1-original/cc.dk) | | | X | | X | X | | X | | | |
| [./AC_Gilles/cicup_maxAC.dk](./AC_Gilles/cicup_maxAC.dk) | | | | | X | | | | | | |
| [./AC_Gilles/cicup_0elim.dk](./AC_Gilles/cicup_0elim.dk) | | X | | | X | X | | X | | | |
| [./AC_Gilles/cicup_0elim_maxplus.dk](./AC_Gilles/cicup_0elim_maxplus.dk) | | X | | | X | | | | | | |
| [./AC_with_constraints/cic.dk](./AC_with_constraints/cic.dk) | X | | | | X | | | | X | | |
## Flags
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment