#
a2328149 |
|
23-Sep-2011 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Adopt ML-style syntax for case expressions and use freed up "||" for bitwise-or. See issue #24.
|
#
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!
|
#
8654de63 |
|
07-Feb-2009 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Attempt to tidy up (fix) EmitML and finish off the transition that Scott started. EmitML has been moved to the end of the build sequence. "Hooks" have been eliminated and all EmitML related stuff has been removed from the various theory directories. All code for generating ML/Caml is now self-contained within src/emit. I've not tested the generated Caml code but the SML seems to build fine. The directories: src/theoryML src/theoryOcaml src/emitScript have been replaced by src/emit/theories/ML src/emit/theories/Caml src/emit/theories
|
#
43ce388f |
|
19-Jun-2008 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Minor changes.
|
#
5d4bb538 |
|
29-May-2008 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Remove unused stuff.
|
#
0100e400 |
|
01-May-2008 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Renamed bsubst to update (as it is in v4T). Moved a few definitions/theorems to better homes.
|
#
82dbf67d |
|
18-Jan-2008 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Fixed broken proofs - following addition of WORD_ss to srw_ss(). Also replaced %% with '.
|
#
97105963 |
|
06-Nov-2007 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Turn off bool['a] notation when using emitML.
|
#
b842b27e |
|
11-Jul-2007 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
examples/elliptic/arm -> examples/ARM/v4 examples/arm6 -> examples/ARM/arm6-verification
|