sail/src/gen_lib, branch sail2 Formal specification language for ISAs Add Lem builtins for operations on reals 2020-04-10T12:22:11+00:00 Thomas Bauereiss 2020-03-25T20:40:59+00:00 7bf9b460d3b2c324b4fae8e14e0a54e354002f54 ... that match the names in lib/real.sail. Also fix the lem mapping for abs_int_atom and a Lem syntax error with nested record updates. 
... that match the names in lib/real.sail.

Also fix the lem mapping for abs_int_atom and a Lem syntax error with
nested record updates.
Implement hex_str for Lem 2020-04-10T12:22:11+00:00 Thomas Bauereiss 2020-03-26T21:08:05+00:00 6e717ac9c733b06eae6ed1717f11e8d00c21c8c0 






Fix Jenkins build
2019-11-07T18:16:46+00:00

Alasdair Armstrong

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

5401a0f348c37a4bfaf084b24a74ee6ad924cf74

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





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







Backport fixes to SMT generation from poly_mapping branch
2019-11-07T17:48:15+00:00

Alasdair Armstrong

2019-11-07T16:16:14+00:00

51811443eeb7c594b8db9bbffd387dc0fbfeffd3












Inline reg_deref in Lem output
2019-08-14T17:02:03+00:00

Thomas Bauereiss

2019-08-14T14:18:37+00:00

e3c73232aafe15d06739e0552d517ad095b0bf70












Revert "Need to separate out the 0.10 lem library from upcoming 0.11"
2019-07-31T14:46:27+00:00

Alasdair Armstrong

2019-07-31T14:45:54+00:00

9a6a3d12a6c32c2c4a331f5084af982b1ca77b1e

This reverts commit 3fb4cf236c0d4b15831576faa45c763853632568.





This reverts commit 3fb4cf236c0d4b15831576faa45c763853632568.







Need to separate out the 0.10 lem library from upcoming 0.11
2019-07-18T18:03:06+00:00

Alasdair Armstrong

2019-07-18T17:56:53+00:00

3fb4cf236c0d4b15831576faa45c763853632568

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





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

Shaked Flur

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

1bb77b31f84946f036c0b7e37245809bbdb82def












Implement count_leading_zeros in Lem
2019-06-18T13:39:21+00:00

Thomas Bauereiss

2019-06-18T13:39:21+00:00

65a8bd3e771f5c062c96dbc940b024ec513aeeca












Fix tdiv_int and tmod_int bindings for Lem
2019-06-06T16:57:25+00:00

Thomas Bauereiss

2019-06-06T15:27:06+00:00

110bef3571a77fd8f1059827ea0bb29935ed785d

Also rename them for uniformity with other backends.





Also rename them for uniformity with other backends.