sail/README, branch sail2 Formal specification language for ISAs Add updated README file 2018-05-11T17:28:22+00:00 Alasdair Armstrong 2018-05-11T17:27:53+00:00 9b953f94a47b74ddf59798eb7fff68704a9ede8c 






Change links in README to point to github
2018-02-23T20:10:52+00:00

Alasdair Armstrong

2018-02-23T20:10:52+00:00

b9b7e0d431768759a37fb8a0223f784d86540a57

Closes #3





Closes #3







test commit
2018-02-23T15:57:23+00:00

Peter Sewell

2018-02-23T15:57:23+00:00

4ca525a57602883109bf927d97ffbb782e389ae3












note existence of sail2 in README
2018-02-06T11:26:19+00:00

Peter Sewell

2018-02-06T11:26:19+00:00

88bf33443b81cb028a2f280b1fb7fc9438890fe5












rename "manual.tex" to "type_system.tex"
2017-03-15T09:33:37+00:00

Peter Sewell

2017-03-15T09:33:37+00:00

3519cfe79e70c805185eeec3df508534c73b5579

fix Makefile clean





fix Makefile clean







add manual and update README
2017-03-15T09:18:55+00:00

Peter Sewell

2017-03-15T09:18:55+00:00

6dd09295059f026d35696cbeeaa5256a2ed433b0












licensing
2017-02-03T14:14:54+00:00

Peter Sewell

2017-02-03T14:14:54+00:00

d8041f29ad728320ca763ff3852508b617592b1a












updated readme
2017-01-30T10:19:44+00:00

Kathy Gray

2017-01-30T10:19:44+00:00

0189ef186771a7f5ea40a750dc0b9922ff8adbf5












Restore manual.tex, accidentally deleted
2017-01-30T10:08:48+00:00

Kathy Gray

2017-01-30T10:08:48+00:00

d1a822bb1f1853de90b14c9ef46b15800cc5a1be

Minor updates to README, still in progress





Minor updates to README, still in progress







update README re l2->sail
2016-06-03T15:39:42+00:00

Peter Sewell

2016-06-03T15:39:42+00:00

5f8f7097bd4f8d578e1155ffda50ac901343295a