Commit 10add8ef authored by Gaspard Ferey's avatar Gaspard Ferey

Added links in README

parent e0eb6d17
......@@ -16,7 +16,7 @@ all:
@for fg in $(FLAGS) ; do echo -n " --- |" >> README.md ; done
@echo -n "\n" >> README.md
@for dk in $(DKS) ; do \
echo -n "| $$dk |" >> README.md ; \
echo -n "| [$$dk]($$dk) |" >> README.md ; \
for fg in $(FLAGS) ; do \
if [ -z $$(head -q -n 1 $$dk | grep "$$fg") ]; then \
echo -n " |" >> README.md ; \
......
......@@ -2,18 +2,18 @@ This project contains various implementations of cic.dk
| File | max_AC | plus_AC | experiment |
| --- | --- | --- | --- |
| ./AC/cicup.dk | X | X | X |
| ./HOAS/HOAS_to_DBAC.dk | | | |
| ./orig/cic_coqine.dk | | | |
| ./orig/cic.dk | | | |
| ./orig/cic_v2.dk | | | |
| ./old_to_ACU/translation.dk | | | |
| ./old_to_ACU/cicup_v2.dk | | | |
| ./Constraints/cc.dk | | | |
| ./Constraints/idcic.dk | | | |
| ./AC_Gilles/1-original/cc.dk | | | |
| ./AC_Gilles/cicup_maxAC.dk | | | |
| ./AC_Gilles/cicup_0elim.dk | | | |
| ./AC_Gilles/cicup_0elim_maxplus.dk | | | |
| ./example_id.dk | | | |
| ./AC_with_constraints/cic.dk | | | |
| [./AC/cicup.dk](./AC/cicup.dk) | X | X | X |
| [./HOAS/HOAS_to_DBAC.dk](./HOAS/HOAS_to_DBAC.dk) | | | |
| [./orig/cic_coqine.dk](./orig/cic_coqine.dk) | | | |
| [./orig/cic.dk](./orig/cic.dk) | | | |
| [./orig/cic_v2.dk](./orig/cic_v2.dk) | | | |
| [./old_to_ACU/translation.dk](./old_to_ACU/translation.dk) | | | |
| [./old_to_ACU/cicup_v2.dk](./old_to_ACU/cicup_v2.dk) | | | |
| [./Constraints/cc.dk](./Constraints/cc.dk) | | | |
| [./Constraints/idcic.dk](./Constraints/idcic.dk) | | | |
| [./AC_Gilles/1-original/cc.dk](./AC_Gilles/1-original/cc.dk) | | | |
| [./AC_Gilles/cicup_maxAC.dk](./AC_Gilles/cicup_maxAC.dk) | | | |
| [./AC_Gilles/cicup_0elim.dk](./AC_Gilles/cicup_0elim.dk) | | | |
| [./AC_Gilles/cicup_0elim_maxplus.dk](./AC_Gilles/cicup_0elim_maxplus.dk) | | | |
| [./example_id.dk](./example_id.dk) | | | |
| [./AC_with_constraints/cic.dk](./AC_with_constraints/cic.dk) | | | |
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