sail/Makefile, branch sail2 Formal specification language for ISAs Remove Makefile references to old directories 2020-08-07T17:14:54+00:00 Brian Campbell 2020-08-07T17:14:54+00:00 2fa4a0719eef21b90b6ae9bb4eafb5a779b55227 






add docker makefile target
2020-06-03T12:12:16+00:00

jp

2020-06-03T12:12:16+00:00

6812cd743d10672223a94dadea09018af2ea7c97












Allow libsail to be installed without the other things (for rmem)
2019-04-17T13:26:35+00:00

Shaked Flur

2019-04-17T13:26:35+00:00

52c6edef48da7c3ece39ec78d8925fba8c1bb62d












package and install Sail as an ocamlfind library
2019-03-13T16:14:06+00:00

Jon French

2019-03-13T16:14:06+00:00

1fc69968a831305f2db43544b503fffc9b4106cc












Merge branch 'sail2' into asl_flow2
2019-01-29T16:58:47+00:00

Thomas Bauereiss

2019-01-29T16:55:26+00:00

06b4141e3a06aaf74449d062d85cffb68f566b6b












Build isabelle and hol files in lib from lem before opam install.
2019-01-22T15:44:30+00:00

Robert Norton

2019-01-22T15:43:52+00:00

a1bb96154e800796250af39f598ed39823fa0de0












wib
2019-01-19T10:15:42+00:00

Shaked Flur

2019-01-19T10:15:42+00:00

6fbb57d3e2765b5235692ac2c24b53cf48cd82b6












Merge remote-tracking branch 'origin/sail2' into asl_flow2
2019-01-14T10:36:43+00:00

Alasdair

2019-01-14T10:36:43+00:00

2eb2566c5c3ef5d7250fea604933704d8d94eabe












Add makefile target for building with Bisect coverage
2018-12-26T15:24:55+00:00

Alasdair Armstrong

2018-12-26T15:24:55+00:00

e0479ea3c479547c093ade9f675e5a0a652e8a34












RISVC model is now at https://github.com/rems-project/sail-riscv . Remove it and tests.
2018-12-20T13:49:49+00:00

Robert Norton

2018-12-20T13:49:39+00:00

d99dd3833e8ebf89c586cc5316582a3c62ad7997