| #
8d83067c |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs from examples
|
| #
3c827dd8 |
|
22-Nov-2010 |
James Reynolds <jr291@cam.ac.uk> |
More translations complete, CASE_SPLIT_CONV performs type instantiation, termination condition for strings, marginal speed up.
|
| #
e2ff25d2 |
|
19-Nov-2010 |
James Reynolds <jr291@cam.ac.uk> |
Types based upon finite maps encode correctly and simple functions from the opsem script translate.
Some of the script has been translated in fmapExample.sml, however, translations now require conditional translation on successful evalation.
|
| #
4761143b |
|
10-Aug-2009 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Removed trailing whitespace from all .sml and .sig files.
This affects over 900 files and was done using emacs's delete-trailing-whitespace
function in batch mode. Building the system with Poly/ML and Moscow ML seems to
work, so I'm hoping these changes don't break anything. Please complain if
they do!
|
| #
938852ac |
|
10-Sep-2008 |
James Reynolds <jr291@cam.ac.uk> |
Final raft of compatlibility changes.
|
| #
17f81fc0 |
|
09-Sep-2008 |
James Reynolds <jr291@cam.ac.uk> |
Modifications to allow the translation to run under PolyML.
|
| #
235ce263 |
|
08-Sep-2008 |
James Reynolds <jr291@cam.ac.uk> |
Complete rework of the function encoding for ACL2. Usage of the encoding is
contained in acl2encodeLib.sig.
|
| #
b8f81e66 |
|
21-Nov-2007 |
James Reynolds <jr291@cam.ac.uk> |
The general polytypic encoding functions, later to be used with a new
version encodeLib.
|