sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-04-02	Add more information for resolving constraints involving variables; clean up ↵	Kathy Gray
	various constraint generation (removing repetitive and adding missing constraints)
2014-04-02	Add -skip_constraints to type-check without constraints	Gabriel Kerneis

2014-04-01	Allow negative "nat" internally	Gabriel Kerneis
	to_num and to_vec probably still need to be fixed
2014-04-01	Fix parsing of nexp constraints	Gabriel Kerneis

2014-04-01	More type corrections for constraints	Kathy Gray

2014-04-01	constraint corrections for to_num and to_vec	Kathy Gray

2014-03-31	Fix constraint bug with +	Kathy Gray

2014-03-31	Extend constraint checking, and add casts for base of a vector shifts (i.e. ↵	Kathy Gray
	from 0 to 32 etc, doesn't change order yet.).
2014-03-31	test/vectors.sail: failing constraint checking	Gabriel Kerneis
	Type error: Type constraint mismatch: constraint arising from here requires 0 to be greater than or equal to 32
2014-03-27	Check simple constraints (i.e. ones using only constants).	Kathy Gray
	Changes syntax of tuple type from * to , so that nexps of the form 8 * 'n can be supported in the parser, which was apparently not true before.
2014-03-26	More steps towards solving and using constraint information	Kathy Gray

2014-03-26	Steps towards solving constraints	Kathy Gray

2014-03-23	adding if test	Kathy Gray

2014-03-23	Correctly unify types with default declarations and across if blocks for ↵	Kathy Gray
	introduced variables.
2014-03-23	Fix more unification bugs	Kathy Gray

2014-03-20	reset earlier commits to test3, that were supposed to be chosen instead of ↵	Kathy Gray
	my changes in the conflict resolution but oops.
2014-03-20	small test changes	Kathy Gray

2014-03-20	Fix type checking bug that was incorrectly unifying type variables, leading ↵	Kathy Gray
	function 'a id x = x to have type 'a 'b . 'a -> 'b
2014-03-20	Type bit[n] means bit[0..n-1]	Gabriel Kerneis

2014-03-20	Add missing GPR registers for Power example	Gabriel Kerneis
	Second instruction now executes (but probably not correctly, check arithmetic since we ignore exts). Next step is to implement bitwise_or.
2014-03-20	Remove work-around from interpreter, move it to power.sail	Gabriel Kerneis
	Two bugs are worked-around here: - missing cast to nat when a vector is wrapped in exts (exts is a no-op currently anyway, so we are discarding it) - missing cast (due to limited type-inference) in one if branch: type given explicitly.
2014-03-20	Fix default type env	Gabriel Kerneis

2014-03-20	More tests for implicit casts	Gabriel Kerneis
	The last test added in vectors.sail fails.
2014-03-20	Workaround missing casts for external calls	Gabriel Kerneis
	This patch should be reverted when the interpreter is fixed. The first instruction of main.bin is now executed. The second one fails, seemingly because of a similar missing cast issue (external function add receives register GPR1 as value).
2014-03-19	Fetch-decode-execute & init for power	Gabriel Kerneis

2014-03-19	Fix endianness	Gabriel Kerneis
	This will never end…
2014-03-19	Fix bug when reading register through a cast	Kathy Gray

2014-03-19	Checking effects on functions	Kathy Gray

2014-03-18	Add parser support for empty and one element vectors	Kathy Gray

2014-03-18	More library functions for Power	Gabriel Kerneis

2014-03-17	Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2	Kathy Gray
	Conflicts: src/test/regbits.sail
2014-03-17	More coercions	Kathy Gray

2014-03-17	Revert broken vector handling	Gabriel Kerneis

2014-03-14	Support regbits read and write	Gabriel Kerneis
	No support for non-contiguous writes.
2014-03-14	Pretty-print subreg correctly	Gabriel Kerneis

2014-03-13	Make test_power compiling again	Gabriel Kerneis

2014-03-12	Remove automagic register initialization	Gabriel Kerneis

2014-03-12	Correctly type checking and interpreting accesses of register "fields". ↵	Kathy Gray
	Register-reading action isn't reading the subreg correctly still (seems to be making up a value though). Corrects but to vectors.sail and power.sail use of plus. (A new bug in power.sail is exposed using a binary operator with one value)
2014-03-11	Change treatment of type abbreviations so that name and full type are ↵	Kathy Gray
	available for field lookups of registers; this feature still not fully working.
2014-03-11	Exhibit bug in interpreter in vector test	Gabriel Kerneis

2014-03-11	More work on interpreter and Power model	Gabriel Kerneis

2014-03-11	Confusion between first index and vector length	Gabriel Kerneis

2014-03-11	Increase support for register "field" accesses; there is now a bug in how ↵	Kathy Gray
	run_interp handles SubReg register forms.
2014-03-07	Treat registers as values when not being actively read or written to, so ↵	Kathy Gray
	that we can have a vector of registers for example. Also, register types can be explicitly referenced.
2014-03-07	Add default types to the initial env for provided functions	Kathy Gray

2014-03-04	Minimal power model to run hello world	Gabriel Kerneis
	Crashes because register initialization is missing.
2014-03-04	More polymorphism for addition	Gabriel Kerneis

2014-03-04	Various deinfix bugs	Gabriel Kerneis

2014-03-03	new test file	Kathy Gray

2014-03-03	Fixing assorted bugs. Adding ability to put a type on the identifier being ↵	Kathy Gray
	assigned to in assignments.