 Tyler Wilding
|
4c788b7f50
|
Decompilation: shadow-h and target-h (#428)
* decomp: `target-h`
* decomp: `shadow-h`
* decomp: Add reference / source files
* Use `define-perm` in goal_src file
|
2021-05-11 00:01:37 -04:00 |
|
|
water111
|
62dfa1bf07
|
[TypeSystem] add heap-base property to types (#431)
* support heap base in the type system
* lock around modification of status
|
2021-05-09 19:40:36 -04:00 |
|
|
Tyler Wilding
|
2a315419de
|
tests: Automate the offline reference tests better (#427)
* tests: Move all files to new directories
* scripts: Update decomp scripts
* tests: Remove hard-coded list for offline tests
* linting
|
2021-05-09 17:03:58 -04:00 |
|