diff options
| author | Alasdair | 2018-12-12 22:37:04 +0000 |
|---|---|---|
| committer | Alasdair | 2018-12-12 22:40:21 +0000 |
| commit | b9a051d186593fdd3bbf295e20f7ace78e668580 (patch) | |
| tree | 1ff602d452b9326482fd98304b88a9eb23ad55bf /src/initial_check.ml | |
| parent | aa6a4d4630e05e50782ec6880ada116ac4fbe795 (diff) | |
Fix some small bugs
Now all ARM, RISC-V, and CHERI-MIPS all build successfully with
type-checking changes. All typechecker/c/ocaml/lem/builtin/riscv/arm
tests are now working as well.
Now the python test scripts can run sequentially with TEST_PAR=1 there's
no reason to keep the old shell versions around anymore.
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions