sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-08-09	More tracking register dependency; another check point that compiles in ↵	Kathy Gray
	under two minutes
2014-08-08	Tracking register dependence.	Kathy Gray
	Check point where Lem will compile interpreter in under 2 minutes
2014-08-07	Fix bug introduced by last commit	Kathy Gray

2014-08-07	Track taints across machine calls.	Kathy Gray
	This introduced a bug in vector.sail, commented out and needs to be fixed.
2014-08-05	start tainting values with register dependencies	Kathy Gray

2014-08-05	missed file from last commit	Kathy Gray

2014-08-05	Support extracting length information into more functions	Kathy Gray

2014-08-03	Improve types for checking power.sail	Kathy Gray

2014-08-01	Add some more types for power.sail generation.	Kathy Gray

2014-08-01	Support separated memory read/write functions.	Kathy Gray
	Also allows register writing functions to be on the left hand side of an assignment in the same way. The last parameter to a writing function is the value to be written, and should appear on the right hand side of an assignment expression.
2014-07-31	start separating memory reads and writes	Kathy Gray

2014-07-30	working dec vectors	Kathy Gray

2014-07-29	A file can now declare that a default order is either inc or dec, and this ↵	Kathy Gray
	will be reflected in short hand type syntax, inc is still the default if undeclared So: default order dec register bit[32] t (* Declares t as a decreasing vector, starting at 31 on the left and decreasing to 0 ) default order inc register bit[32] o ( Declares o as an increasing vector, starting at 0 on the left and increasing to 31 *) It is presently possible to change the default mid-file; this is almost certainly bad and I will turn it into an error soon.
2014-07-25	Add another type signature needed (we think but Susmit and I can't quite ↵	Kathy Gray
	remember why) for ppcmem integration.
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-25	Additional functions for interface	Kathy Gray

2014-07-18	Writing to concatenated aliases	Kathy Gray

2014-07-16	Reading from an alias to two concatenated registers; not writing yet.	Kathy Gray

2014-07-16	Get writing working for aliases in the interpreter, other than concatenation.	Kathy Gray

2014-07-15	Type check alias use in the left hand side of an assignment. Warning, ↵	Kathy Gray
	interpreter still doesn't work with writes.
2014-07-15	Finishing up some of the support for Exit	Kathy Gray

2014-07-15	Add failing test for type of aliases	Gabriel Kerneis
	File "test/regbits.sail", line 23, character 3 to line 23, character 4 Type error: Can only assign to identifiers with type register or reg, found identifier CA with type bit
2014-07-14	Add register to alias concatenation type	Kathy Gray

2014-07-14	Alias pretty-printing	Gabriel Kerneis

2014-07-14	Initial support for aliases and exit through the type system and the ↵	Kathy Gray
	interpreter. An alias can be read within the interpreter, but not written to. Exits aren't yet taken in the interpreter.
2014-07-08	add additional cases for nexp normalisation	Kathy Gray

2014-07-04	Relax constraints for quot_vec	Gabriel Kerneis

2014-07-04	Correct error of forgetting type information that was allowing more programs ↵	Kathy Gray
	than it should have
2014-07-04	Update power.sail	Gabriel Kerneis

2014-07-04	Fix pretty printer for verbose printing	Kathy Gray

2014-07-04	Force end-of-input when parsing expression list	Gabriel Kerneis

2014-07-03	Parse list of expressions in Sail_lib	Gabriel Kerneis

2014-07-03	Introduce a Sail library	Gabriel Kerneis
	Used by the Power XML extraction tool.
2014-07-03	Adjust behavior on Unknown values in pattern match to stop matching as soon ↵	Kathy Gray
	as a pattern is matched without using an unknown; also causes full expansion on function calls with unknowns matched in patterns, however the local state is not reset.
2014-07-02	Support implicit parameters, to get the length of an expected vector into ↵	Kathy Gray
	functions like exts
2014-07-02	Update Power example	Gabriel Kerneis

2014-07-02	Fix ordering issue in vector-concat pattern matching	Gabriel Kerneis

2014-07-01	Better pretty-printing for vectors	Gabriel Kerneis

2014-07-01	Update case of EXTS	Gabriel Kerneis

2014-06-30	Support for nondeterministic blocks	Kathy Gray

2014-06-27	Update type conformance for overloading resolution on order arguments.	Kathy Gray
	Also, correctly type check nondet blocks
2014-06-26	range -> vector coerces only on constants and explicit casts	Kathy Gray

2014-06-26	Remove .native in make clean	Gabriel Kerneis

2014-06-26	Adding better support for unspecified values in indexed vectors	Kathy Gray
	Also begining to add support for nondeterministic blocks and cleaning up some of the Many warnings on pattern matches
2014-06-25	Add support for memory barrier	Kathy Gray

2014-06-25	Add support for actions that read just a slice or single bit of a register	Kathy Gray

2014-06-24	Get enumerations working in interpreter	Kathy Gray
	(plus a few other small related corrections)
2014-06-24	Get vector length for to_inc_vec and to_dec_vec from the type system after ↵	Kathy Gray
	constraint solving (instead of hardcoding 64 as the default).
2014-06-23	Get indexed vectors, particularly with default values, working	Kathy Gray

2014-06-19	Add mod:vec->range->vec	Gabriel Kerneis