sail/arm/gen, branch sail2

sail/arm/gen, 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

the 'imm' of adr/adrp is signed 2018-01-09T12:24:21+00:00 Shaked Flur 2018-01-09T12:24:21+00:00 412a7a2e3a678362e0619aea640af9e24bc4682c

match what rmem expects from sail/arm 2017-12-04T14:54:54+00:00 Shaked Flur 2017-12-04T14:54:54+00:00 5fa993caef3c48da36f641bf3608a9515ecc40cf