sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-06-03	Change path inside sail Makefile to look for sail directory instead of l2	Kathy Gray

2016-05-26	add makery for mips/cheir LOC count.	Robert Norton

2016-04-21	Introduce wrapper function around MEMw* so that we can clear tags on ↵	Robert Norton
	non-capability writes on cheri.
2016-04-14	add cheri make target analagous to mips	Robert Norton

2016-04-13	Copy run_with_elf to make run_with_elf_cheri and revert run_with_elf to mips ↵	Robert Norton
	version. Temporary 'solution' to building mips and cheri builds until proper factorising can take place.
2016-03-08	add beginnings of cheri sail for kathy to do some debugging.	Robert Norton

2016-03-07	Split mips.sail into three file and make use of the new -o option in ↵	Robert Norton
	preparation for adding cheri support in separate files.
2016-02-11	point to lem and linksem embedded versions of libraries instead of relying ↵	Robert Norton
	on opam provided ones.
2016-02-11	use paths relative to current makefile for lem and linksem.	Robert Norton

2016-01-26	tweak to dependencies to hopefully reduce need to rebuild mips.sail.	Robert Norton

2016-01-21	build mips interpreter with -g	Robert Norton

2016-01-20	trim some obsolete/bitrotted make stuff.	Robert Norton

2016-01-20	build all mips stuff in _build. Still hacky and might be preferable to use ↵	Robert Norton
	ocamlbuild but works OK and shouldn't have to call sanitize.
2016-01-19	hacky initial makery for mips interpreter. Builds stuff in wrong places and ↵	Robert Norton
	needs fixing but nearly works.
2015-12-22	Add mips64 to get_elf in Makefile	Robert Norton

2015-11-25	non-working sail/mips interpreter integration for kathy to look at and ↵	Robert Norton
	example mips elf file.
2015-11-20	make the abis directory as well	Kathy Gray

2015-11-20	fixes to get-elf to work on linux. Hope it works on Mac too.	Robert Norton

2015-11-19	Keep up with linksem	Kathy Gray

2015-11-19	More makefile type	Kathy Gray

2015-11-19	typo in make file	Kathy Gray

2015-11-18	Update makefile for elf	Kathy Gray

2015-11-17	Very nearly there sequential interpreter, just need to hook in the spec ↵	Kathy Gray
	files for the different isas to support
2015-11-12	Incorporating elf into sequential interpreter	Kathy Gray
	Fix an effect bug on aliased id
2015-11-10	Update tag for register write in nested lexp	Kathy Gray
	Also starting to try to get elf compiling for sequential interpreter
2015-04-08	makefile changes to keep up with lem ocaml-lib changes	Kathy Gray

2014-11-10	Print contents of the [_] hole when it's available.	Kathy Gray
	Also correct makefile typo
2014-11-07	stop using LEMLIB in makefile, in case that's interfering with lem library ↵	Kathy Gray
	placement, switch to LEMLIBOCAML
2014-10-30	Pull in updated elf model, make build work again (at least for me)	Kathy Gray

2014-10-16	bug fixes to run test from Christopher's tests	Kathy Gray

2014-10-14	Iron out bugs in running new executable with branching; add new executable ↵	Kathy Gray
	as well.
2014-09-29	Connect up to elf model; which doesn't seem to be representing the elf file ↵	Kathy Gray
	properly yet but run_power.native is connected to it
2014-09-29	Add in elf model from Dominic/Stephen. Make run_power build again. Does not ↵	Kathy Gray
	effectively use elf model yet
2014-08-13	Kathy, Peter tweak Makefile for interactive demo and src/myocamlbuild.ml to ↵	Peter Sewell
	temporarily use other version of Lem
2014-07-25	Update make file to make clean from top level directory, and to not build ↵	Kathy Gray
	all tests on all. Instead there is a make full command to make all the tests as well as everything.
2014-07-03	Introduce a Sail library	Gabriel Kerneis
	Used by the Power XML extraction tool.
2014-06-26	Remove .native in make clean	Gabriel Kerneis

2014-06-10	Minor color and build tweaks	Gabriel Kerneis

2014-06-10	More robust build system	Gabriel Kerneis

2014-06-02	Fix dependent-type for MEM in power.sail	Gabriel Kerneis
	Now, constraint resolution works for test/power.sail
2014-05-30	Add pretty-printer test (idempotence)	Gabriel Kerneis
	Fails in most cases because of "fresh" variables in type annotations that cannot be parsed again.
2014-04-23	Rename main to sail, build pretty_printer lib	Gabriel Kerneis

2014-04-23	make doc	Gabriel Kerneis
	Build html doc of module interface
2014-04-02	Skip constraint resolution to build Power model	Gabriel Kerneis

2014-02-28	Do not build power test by default	Gabriel Kerneis

2014-02-28	Fetch-decode POWER interpreter	Gabriel Kerneis
	Many limitations and bugs currently, but loads binary and decodes opcodes correctly (using endianness hacks). Disabled in the default test suite (but still compiled), run "make test_power" to try it.
2014-02-28	Load ELF sections to virtual memory addresses	Gabriel Kerneis
	Roughly 110KB/s (~5 seconds to load "hello" test).
2014-02-27	Load POWER binary into interpreter's memory	Gabriel Kerneis

2013-11-11	Remove lem-lib hack	Gabriel Kerneis
	Lem has now switched to the new library by default (remember to "make ocaml-libs" in Lem to build it).
2013-11-07	Port L2 to new Lem	Gabriel Kerneis
	Tests compile and run properly. There is a lot of hackery going on to workaround the rough edges of new Lem. Use at your own risk (you need the "library-format" branch of lem).