sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2016-02-03	mips: add support for LLAddr, a debug register used for ll/sc. Also add missi...	Robert Norton
2016-02-03	add example of elf file which fails to load due to linksem error: get_elf64_g...	Robert Norton
2016-02-02	mips.sail: add an 'inBranchDelay' register so that SignalException can set co...	Robert Norton
2016-02-02	Print out the address of the instruction running in sequential interpreter	Kathy Gray
2016-02-02	Get mips stuff hooked up with translate address.	Kathy Gray
2016-02-02	add translate_address functionality	Kathy Gray
2016-01-29	fix typo in kathy's last commit.	Robert Norton
2016-01-29	Put correct tags on to_vec calls	Kathy Gray
2016-01-29	mips.sail: it turns out that all sail comparisons are signed contrary to manu...	Robert Norton
2016-01-28	Add test for sltu. Fixed decode function which was returning wrong ast node b...	Robert Norton
2016-01-28	add test exposing problem with ddiv.	Robert Norton
2016-01-28	Support exit and assert better in sequential interpreter and general interpre...	Kathy Gray
2016-01-27	Add --max_instruction to sequential interpreter to permit an upper bound on i...	Kathy Gray
2016-01-27	Add ability to run to a particular instruction execution number	Kathy Gray
2016-01-27	Make mips build again	Kathy Gray
2016-01-27	Fix issue where constraint solver wasn't rewriting enough equality constraint...	Kathy Gray
2016-01-27	start adding breakpoint	Kathy Gray
2016-01-26	Stop turning all decreasing vectors into indexed ones : i.e. let's print them...	Kathy Gray
2016-01-26	fix starting indices for mips initial register values.	Robert Norton
2016-01-26	Fix some bugs in writing registers with slices in the sequential interpreter	Kathy Gray
2016-01-26	tweak to dependencies to hopefully reduce need to rebuild mips.sail.	Robert Norton
2016-01-26	Add example of test which dies whilst trying to throw exception.	Robert Norton
2016-01-26	print reg dump in correct format for cheri test suite. Reinstate timing of ex...	Robert Norton
2016-01-26	Fix problem in run_with_model where we forgot that ppcmem2 treats everything ...	Kathy Gray
2016-01-26	move closer to power.sail -> power.ml output	Kathy Gray
2016-01-26	add example of mips test which fails with first instruction (jal)	Robert Norton
2016-01-26	dump registers in format expected by cheri test suite when halting. Remove di...	Robert Norton
2016-01-22	mips: fix PC update logic so branches might work.	Robert Norton
2016-01-22	add some test elf files for mips (pinched from cheri test suite).	Robert Norton
2016-01-21	Start splitting values/etc into int/big_int for ocaml generation	Kathy Gray
2016-01-21	build mips interpreter with -g	Robert Norton
2016-01-21	mips interpreter successfully executes more than one instruction after some w...	Robert Norton
2016-01-21	mips: rename GPRs so that they sort lexicographically for display.	Robert Norton
2016-01-20	see writes to registers in the register file for sequential interpreter	Kathy Gray
2016-01-20	keep specified order of vectors...	Kathy Gray
2016-01-20	Assorted bug fixes that gets one mips instruction running (then fails for exp...	Kathy Gray
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 oc...	Robert Norton
2016-01-20	Decoding a mips instruction :)	Kathy Gray
2016-01-20	Show opcode in sequential interpreter when decode fails	Kathy Gray
2016-01-19	Put None and Some into interpreter environments	Kathy Gray
2016-01-19	hacky initial makery for mips interpreter. Builds stuff in wrong places and n...	Robert Norton
2016-01-14	small edit to previous commit	Kathy Gray
2016-01-14	Fix cumulative effects for circumstance when lifting variable introductions o...	Kathy Gray
2016-01-13	Closes issue #28 and issue #27	Kathy Gray
2016-01-12	Fix undefined nvar occurrences that were impacting ARM	Kathy Gray
2016-01-11	Interpreter interface now supports option<ast> result from decode and etc ins...	Kathy Gray
2016-01-11	Interpreter that understands assert	Kathy Gray
2016-01-07	Add E_assert to basic rewriters	Kathy Gray
2016-01-06	Add new assert expression to Sail	Kathy Gray