#
4888f523 |
|
15-Oct-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove eqtype declaration for term type
|
#
fe246e44 |
|
01-Oct-2013 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Updates and improvements to the l3-machine-code decompilation tools.
|
#
49cc100a |
|
23-Sep-2013 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update to ARM tools. Triples are now generated with a "mode" variable. This is required to satisfy the "GoodMode" predicate. Before concrete modes were used, e.g. "16" for user mode. In addition, various performance related enhancements have been made in helperLib (especially with regard to AC rewriting for the "*" operator).
|
#
a5883aa0 |
|
11-Jul-2013 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
minor clean up under examples/machine-code
|
#
845531b5 |
|
14-Sep-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove trailing whitespace in source files.
|
#
bdcaf18d |
|
28-Feb-2011 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
Minor tweaks.
|
#
9cdb16ba |
|
03-Jun-2010 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
Minor changes.
|
#
415a155c |
|
31-May-2010 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
I've changed the way tail-recursive functions are defined. They are now defined based on a step function: step: 'a -> 'a + 'b Tail-recursive functions loop until their step function returns something in the right component (INR).
|
#
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!
|
#
c2f14f37 |
|
05-Mar-2009 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
Improvements to the verified LISP interepreters. The new interpreters have been proved to implement McCarthy's LISP 1.5 as formalise by Mike Gordon for the ACL2 workshop 2007. Warning: lisp_evalScript takes 73 minutes to run using Holmake under PolyML.
|
#
7c197d42 |
|
07-Jan-2009 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
A new version of files previously in examples/mc-logic. Eventually examples/mc-logic will be deleted.
|