| #
c9201302 |
|
18-Aug-2010 |
Matt Kaufmann <kaufmann@cs.utexas.edu> |
More ACL2/HOL link support, including replacing PKGS.ml by PKGS.sml as requested by Mike.
|
| #
a5605c57 |
|
17-Aug-2010 |
Matt Kaufmann <kaufmann@cs.utexas.edu> |
Extended support for ACL2 packages by adding generated file examples/acl2/tests/inputs/PKGS.ml.
|
| #
9defa685 |
|
17-Aug-2010 |
Matt Kaufmann <kaufmann@cs.utexas.edu> |
Updates to handle packages; also addition of jvm M1 model
|
| #
58a0f676 |
|
19-Aug-2009 |
Matt Kaufmann <kaufmann@cs.utexas.edu> |
Added support for cone-of-influence reduction project.
|
| #
d18f5d4b |
|
08-Dec-2008 |
Matt Kaufmann <kaufmann@cs.utexas.edu> |
Updated to the latest version (3.4) of ACL2 and did some
reorganization and addition to support regression testing.
Pathnames only need to be edited in one place now:
.acl2holrc.bash
Edited and added README files. In particular, tests/README explains
how to run the new tests.
Deleted lisp/defaxioms.lisp.trans, an updated version of which is now
in tests/round-trip/gold/axioms.lisp (corresponding to ACL2 Version
3.4).
|