sail/LICENCE, branch sail2 Formal specification language for ISAs Use external PPrint 2020-01-28T18:20:01+00:00 Thomas Bauereiss 2020-01-28T16:45:51+00:00 6631de4f641607755ae8c0434921e4f68cf9f2f6 






update funding acks
2019-06-06T07:11:32+00:00

Peter Sewell

2019-06-06T07:11:32+00:00

5386c251028af5b71d279f5ad18cb1a3bfa53d57












Fix some links and be more clear about licensing
2018-05-11T17:40:35+00:00

Alasdair Armstrong

2018-05-11T17:40:35+00:00

29a98ea4f127f921b0b4abf800311fde325d06a7












clean LICENCE
2018-02-21T11:40:38+00:00

Peter Sewell

2018-02-21T11:40:38+00:00

d5d823043d868d8f31a165d82b126020b2ae0d75