sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-04-04	Improve Power execution	Gabriel Kerneis
	- Move FDE loop to the OCaml side of the Power model (avoid leaking memory due to lack of TCO in interpreter) - Display cycle count - Check the value of CIA at the end of each cycle and stop if it is equal to the initial value of LR, returning the value in GPR3.
2014-03-19	Fix bug when reading register through a cast	Kathy Gray

2014-03-03	Fixing assorted bugs. Adding ability to put a type on the identifier being ↵	Kathy Gray
	assigned to in assignments.
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-18	Report failing tests and return 1 in case of error	Gabriel Kerneis

2014-02-05	Replace symbolic link by actual file	Gabriel Kerneis

2014-02-05	Fix type id parsing error ans associated type checking bugs in scattereds	Kathy Gray

2014-02-05	First bit of Power spec	Gabriel Kerneis
	Only chapter about branches (except system calls because of sail typechecking issue). Decoding seems to work. Execution typechecks currently, but is pretty surely broken otherwise.
2014-01-08	Between Scylla and Charybdis	Gabriel Kerneis

2014-01-08	Fix pretty-printing of switch-cases	Gabriel Kerneis
	Weird bug, cf. test/pattern.sail.
2014-01-07	Add first operationnal tests for vectors	Gabriel Kerneis

2013-10-14	Test read/write reg/mem syntax	Gabriel Kerneis

2013-10-10	Another stupid test	Gabriel Kerneis

2013-10-10	Stub test suite	Gabriel Kerneis