sail/x86/Makefile, branch sail2 Formal specification language for ISAs Remove old specs that have more up to date version 2020-07-31T12:30:53+00:00 Alasdair 2020-07-31T12:30:53+00:00 dd76fdfd819bb1a5423cea369df0e7f2ae449b62 Move outdated things into old subdirectory 
Move outdated things into old subdirectory
Adds the DC and IC instructions to AArch64_small; 2019-03-08T16:02:02+00:00 Shaked Flur 2019-03-08T16:02:02+00:00 87ffe603e44e9be6f4109f6a9dd475df6dcfc489 Also, removes etc/regfp.sail and etc/regfp2.sail in favour of lib/regfp.sail 
Also, removes etc/regfp.sail and etc/regfp2.sail in favour of lib/regfp.sail
match what rmem (ppcmem2) expects from ISA Makefiles 2017-11-30T15:40:43+00:00 Shaked Flur 2017-11-30T15:40:43+00:00 9e1309ab7c1a137324c88c272c5a76c4c8bce016 






port x86 model to old type checker.
2017-08-21T16:41:57+00:00

Robert Norton

2017-08-21T16:40:57+00:00

faf546790ae218522dc0a465059ee4abee3e4135