├── .gitignore ├── README.md ├── bootstrap.c ├── csp.h ├── csp_gen.h ├── test.h ├── testgen.c └── tests ├── basic-primitives.h ├── basic-primitives.txt ├── dev-cond.h ├── dev-cond.txt ├── large-assoc-100.h ├── large-assoc-100.txt ├── large-assoc-488.h ├── large-assoc-488.txt ├── large-pair-100.h ├── large-pair-100.txt ├── large-pair-488.h ├── large-pair-488.txt └── test.sh /.gitignore: -------------------------------------------------------------------------------- 1 | *~ 2 | "#"*"#" 3 | .* 4 | *legacy* 5 | a.out 6 | !.gitignore 7 | test.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/README.md -------------------------------------------------------------------------------- /bootstrap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/bootstrap.c -------------------------------------------------------------------------------- /csp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/csp.h -------------------------------------------------------------------------------- /csp_gen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/csp_gen.h -------------------------------------------------------------------------------- /test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/test.h -------------------------------------------------------------------------------- /testgen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/testgen.c -------------------------------------------------------------------------------- /tests/basic-primitives.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/tests/basic-primitives.h -------------------------------------------------------------------------------- /tests/basic-primitives.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/tests/basic-primitives.txt -------------------------------------------------------------------------------- /tests/dev-cond.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/tests/dev-cond.h -------------------------------------------------------------------------------- /tests/dev-cond.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/tests/dev-cond.txt -------------------------------------------------------------------------------- /tests/large-assoc-100.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/tests/large-assoc-100.h -------------------------------------------------------------------------------- /tests/large-assoc-100.txt: -------------------------------------------------------------------------------- 1 | (75) 2 | -------------------------------------------------------------------------------- /tests/large-assoc-488.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/tests/large-assoc-488.h -------------------------------------------------------------------------------- /tests/large-assoc-488.txt: -------------------------------------------------------------------------------- 1 | (487) 2 | -------------------------------------------------------------------------------- /tests/large-pair-100.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/tests/large-pair-100.h -------------------------------------------------------------------------------- /tests/large-pair-100.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/tests/large-pair-100.txt -------------------------------------------------------------------------------- /tests/large-pair-488.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/tests/large-pair-488.h -------------------------------------------------------------------------------- /tests/large-pair-488.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/tests/large-pair-488.txt -------------------------------------------------------------------------------- /tests/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kchanqvq/CSP/HEAD/tests/test.sh --------------------------------------------------------------------------------