sail/src/lem_interp, branch sail2

Fix Jenkins build

2019-11-07T18:16:46+00:00

sail2_instr_kinds was in the folder with the old lem interpreter for
some reason, rather than with all the other sail2*.lem files

Revert "Need to separate out the 0.10 lem library from upcoming 0.11"

2019-07-31T14:46:27+00:00

This reverts commit 3fb4cf236c0d4b15831576faa45c763853632568.

Need to separate out the 0.10 lem library from upcoming 0.11

2019-07-18T18:03:06+00:00

Unlike the prompt-monad change I don't see a way to do this easily
purely on the model side

Make sure a64_barrier_type and domain aren't visible for RISC-V
isabelle build

Support DMB/DSB domains

2019-07-18T09:13:10+00:00

Adds missing bits for DC/IC

2019-03-09T17:25:35+00:00

Added RISC-V fence.tso

2018-12-22T15:40:32+00:00

Revert "Warnings: deal with all the deprecation warnings"

2018-08-07T14:47:21+00:00

One day we will be free from the 4.02.3 menace, but today is not that day. :(

This should fix Sail on Jenkins

This reverts commit 86e29bcbb1597c4ef1f6cae8edbeed42f9a31414.

Warnings: deal with all the deprecation warnings

2018-07-26T12:12:42+00:00

Changes are:

- String.capitalize -> String.capitalize_ascii
- String.uppercase  -> String.uppercase_ascii
- String.lowercase  -> String.lowercase_ascii

Basically just making the change that the warning message suggested.

fix constructor typo

2018-07-10T15:36:24+00:00

restore missing RISC-V fence types in sail2; ignore io bits in fences more cleanly

2018-07-05T12:09:46+00:00