#
cf48906b |
|
31-Mar-2020 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
regression: force use of python3 Python 2 has passed its sunset date, and many distributions are withdrawing support for Python 2. PEP 394 recommends distributions always install versioned interpreter commands (e.g. `python3`), but does not make a recommendation about whether or not an unversioned command (`python`) should exist, or what version it should run. It therefore seems advisable to explicitly run scripts using the `python3` command, for scripts that are compatible with Python 3. Here, we do this for Python scripts used by `run_tests`. For this to work, some scripts have been updated in ways that will break Python 2 compatibility. But for some other scripts which were already compatible with both Python 2 and 3, we have not yet removed Python 2 compatibility. There are also miscellaneous scripts that are not used by `run_tests`, and these have not yet been updated to Python 3. Signed-off-by: Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>
|
#
a424d55e |
|
09-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
licenses: convert license tags to SPDX
|
#
79513ae6 |
|
04-Nov-2019 |
Victor Phan <Victor.Phan@data61.csiro.au> |
riscv: update to HiFive platform from Spike - Increase maxIRQ to 53 - Change keywords to build HiFive instead of Spike
|
#
b3e1be77 |
|
18-Jun-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
haskell-translator: enable RISCV64 target
|
#
9dd70db3 |
|
30-Oct-2017 |
Alejandro Gomez-Londono <alegomez544@gmail.com> |
haskell translator: Improve error handling of make_spec.sh * make_spec.sh was generating a `version` file regardless of the outcome of the script, this was causing `make design` (in spec/design) to always succeed when ran a second time, which in was generating confusing (and semi-non-deterministic) error messages when called through `./run-test` tags: [NO_PROOF]
|
#
f05bc45d |
|
10-Aug-2017 |
Joel Beeren <Joel.Beeren@data61.csiro.au> |
misc: clean up before merging x64
|
#
f08c0bf1 |
|
25-Jul-2017 |
Rafal Kolanski <rafal.kolanski@nicta.com.au> |
haskell translator: make compatible with bash 3 Rewrite associative array usage as a function lookup. OSX users do not have access to a non-ancient /bin/bash by default and complain that our use of associative arrays (declare -A) does not work. Tags: VER-802
|
#
c74da294 |
|
25-Jul-2017 |
Rafal Kolanski <rafal.kolanski@nicta.com.au> |
design: create arch directories in haskell translator Architecture directories were previously created in the Makefile, and not in make_spec.sh. As a result, running make_spec would fail on a clean repo.
|
#
c2b02d96 |
|
28-Jun-2017 |
Miki Tanaka <miki.tanaka@nicta.com.au> |
haskell translator: change cpp options for ARM_HYP to use unified ARM haskell files
|
#
81663c97 |
|
17-Jul-2016 |
Miki Tanaka <miki.tanaka@nicta.com.au> |
arm-hyp execspec: add skel/ARM_HYP, m-skel/ARM_HYP, make haskell-translator work for ARM_HYP (copied from ARM) Per-plaform CPP configuration for spec-check and make-spec. The configuration is still duplicated between the two scripts, but now the translation/check for ARM_HYP will use correct CPP settings.
|
#
298d4ea6 |
|
04-Jul-2016 |
Rafal Kolanski <rafal.kolanski@nicta.com.au> |
arm-hyp haskell: changes from meeting
|
#
33a1fed7 |
|
29-Mar-2017 |
Joel Beeren <joel.beeren@nicta.com.au> |
x64: haskell-translator: make translator use whitespace removal tool
|
#
3dafec7d |
|
25-Jan-2017 |
Joel Beeren <Joel.Beeren@nicta.com.au> |
backport changes to ARM proofs from X64 work in progress - replace ARM-specific constants and types with aliases which can be instantiated separately for each architecture. - expand lib with lemmas used in X64 proofs. - simplify some proofs. Also-by: Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>
|
#
a3bebf98 |
|
01-Jun-2016 |
Alejandro Gomez-Londono <alejandro.gomez@nicta.com.au> |
VER-559: patch ./make_spec.sh with the new Haskell location
|
#
73b73156 |
|
05-May-2016 |
Joel Beeren <joel.beeren@nicta.com.au> |
x64: add arch_split'd x64 spec with IOMMU stuff
|
#
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.
|
#
04836573 |
|
02-Feb-2015 |
Thomas Sewell <Thomas.Sewell@nicta.com.au> |
Adjust make_spec.sh to handle other working dirs. Demanding that the tool be run from its own directory was getting silly considering how far away that is from the resources it operates on.
|
#
cf3c60e7 |
|
20-Nov-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
update comments; fix version generation
|
#
1273b8aa |
|
21-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
fix haskell version generation
|
#
2a03e81d |
|
14-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
Import release snapshot.
|