- Committer: Ohad Kammar
- Date: 2015-12-28 12:48:13 UTC
- Revision ID: ohad.kammar@cl.cam.ac.uk-20151228124813-8cbyzu9wndarr1h1
First attempt at the test suite (Phew!)
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
bin
|
7 | 8 years ago | Ohad Kammar | Added some pretty printing capabilities |
|
||
|
latex
|
7 | 8 years ago | Ohad Kammar | Added some pretty printing capabilities |
|
||
|
lib
|
2 | 8 years ago | Ohad Kammar | added the OPO interface |
|
||
|
stlc
|
20 | 8 years ago | Ohad Kammar | Finished initial version of atomic OPO, and starte |
|
||
.bzrignore |
40 | 8 years ago | Ohad Kammar | First attempt at the test suite (Phew!) | 90 bytes |
|
|
|
.merlin |
36 | 8 years ago | Ohad Kammar | Implement the nested case (no pretty printing yet) | 48 bytes |
|
|
|
_tags |
40 | 8 years ago | Ohad Kammar | First attempt at the test suite (Phew!) | 37 bytes |
|
|
|
infinity.ml |
8 | 8 years ago | Ohad Kammar | Added an ordering with a synthetic top element. | 1 KB |
|
|
|
infinity.mli |
8 | 8 years ago | Ohad Kammar | Added an ordering with a synthetic top element. | 503 bytes |
|
|
|
Makefile |
40 | 8 years ago | Ohad Kammar | First attempt at the test suite (Phew!) | 750 bytes |
|
|
|
multiset.ml |
7 | 8 years ago | Ohad Kammar | Added some pretty printing capabilities | 4.9 KB |
|
|
|
multiset.mli |
19 | 8 years ago | Ohad Kammar | Finished porting the cmp function. | 1.2 KB |
|
|
|
opo.ml |
36 | 8 years ago | Ohad Kammar | Implement the nested case (no pretty printing yet) | 12.7 KB |
|
|
|
opo.mli |
36 | 8 years ago | Ohad Kammar | Implement the nested case (no pretty printing yet) | 2 KB |
|
|
|
opo_types.mli |
36 | 8 years ago | Ohad Kammar | Implement the nested case (no pretty printing yet) | 3.4 KB |
|
|
|
ordering.mli |
40 | 8 years ago | Ohad Kammar | First attempt at the test suite (Phew!) | 608 bytes |
|
|
|
ordering_aux.ml |
10 | 8 years ago | Ohad Kammar | Added module with auxiliary functions and definiti | 832 bytes |
|
|
|
ordering_aux.mli |
10 | 8 years ago | Ohad Kammar | Added module with auxiliary functions and definiti | 295 bytes |
|
|
|
pprint.mli |
7 | 8 years ago | Ohad Kammar | Added some pretty printing capabilities | 2.9 KB |
|
|
|
predefined_Orderings.ml |
7 | 8 years ago | Ohad Kammar | Added some pretty printing capabilities | 285 bytes |
|
|
|
predefined_Printing.ml |
38 | 8 years ago | Ohad Kammar | Bugfixes: pretty printer and random lambda term ge | 5.7 KB |
|
|
|
pretty_Printing.ml |
25 | 8 years ago | Ohad Kammar | Simplify the build system using ocamlbuild Thank | 11 KB |
|
|
|
pretty_Printing.mli |
20 | 8 years ago | Ohad Kammar | Finished initial version of atomic OPO, and starte | 2.9 KB |
|
|
|
pretty_Printing_Types.mli |
20 | 8 years ago | Ohad Kammar | Finished initial version of atomic OPO, and starte | 2.1 KB |
|
|
|
README.md |
20 | 8 years ago | Ohad Kammar | Finished initial version of atomic OPO, and starte | 586 bytes |
|
|
|
utils.ml |
40 | 8 years ago | Ohad Kammar | First attempt at the test suite (Phew!) | 2.3 KB |
|
|
|
utils.mli |
40 | 8 years ago | Ohad Kammar | First attempt at the test suite (Phew!) | 1.7 KB |
|
|