sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2020-06-03	Add a workflow for latest released ocaml	Alasdair

2020-06-02	Add m4 to 18.04 install	Alasdair
	It previously installed fine via the build-essential package, so no idea what changed! Plus 20.04 works fine with just build-essential
2020-06-02	Add ubuntu 20.04 workflow	Alasdair

2020-05-27	Try to fix Github CI	Thomas Bauereiss
	Add opam PPA when building on Ubuntu to get opam v2.
2019-12-11	Add github actions to build on macOS and ubuntu	Alasdair Armstrong
	This commit adds two github action to build Sail on macOS and ubuntu (both using the latest version of each for now). These just build and don't run any tests, as we run those on our own Jenkins server which is much faster than the github build runners. I also fixed INSTALL.md to include brew installing pkg-config on macOS as this seems to be required. From testing on a personal fork it seems quite email happy when it fails. Maybe that's what we want though. There's also a windows option but I leave that as future work...