| #
9c563f01 |
|
09-Feb-2016 |
Thomas Sewell <Thomas.Sewell@nicta.com.au> |
L4V support for using skip cache.
Ignore the cache files. Also, add a flag which has run_tests.sh
build the skip cache.
|
| #
fad2c6aa |
|
11-Jan-2016 |
Daniel Matichuk <daniel.matichuk@nicta.com.au> |
paramatrised abstract and haskell specs over L4V_ARCH
Haskell translator was modified to support multiple translations
of the haskell, with different build parameters.
|
| #
bd1f0436 |
|
21-Oct-2014 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
misc: Implement 'clean' and 'realclean' Makefile targets.
|
| #
798e891f |
|
21-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
allow ROOT path customisation from outside l4v/
|
| #
2a03e81d |
|
14-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
Import release snapshot.
|