sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-11-07	Add integer_of_byte_list : list word8 -> integer	Kathy Gray

2014-11-07	stop using LEMLIB in makefile, in case that's interfering with lem library ↵	Kathy Gray
	placement, switch to LEMLIBOCAML
2014-11-07	typo	Kathy Gray

2014-11-07	more num_to_bits	Kathy Gray

2014-11-07	Put back old num_to_bits temporarily; add in a num_to_bits_correct that ↵	Kathy Gray
	treats the last argument as a big num
2014-11-07	Fix types in num_to_bits	Kathy Gray

2014-11-06	Refactor printing to display the contents the [_] and to better format bit ↵	Kathy Gray
	vectors
2014-11-05	Correct bug treating unsigned values as signed in arith operations	Kathy Gray

2014-11-05	Fix bug on decoding Sc	Kathy Gray

2014-11-05	add type class instantiations (required as reg_name currently contains big_ints)	Peter Sewell

2014-11-05	fix(?) a Big_int/int type error wrt trans_sail	Peter Sewell

2014-11-04	Merge branch 'master' of bitbucket.org:Peter_Sewell/l2	Peter Sewell

2014-11-04	proposed split of decode into decode-to-instruction and ↵	Peter Sewell
	instruction-to-instructionstate
2014-11-04	Read parts of a register, not always just the whole thing	Kathy Gray

2014-11-04	K,P debugging	Peter Sewell

2014-11-04	Fixes bugs:	Kathy Gray
	not setting starting bit of vector properly not treating properly if when given a non boolean --- bool largely removed in place of bit, removing many/most is_one casts but true and false are still possible values coerces between bit vectors of length one and bits again, because reading from a register can otherwise be wrong with respect to the interface
2014-11-04	Fix setting of initial position in a vector after a slice	Kathy Gray

2014-11-04	Merge branch 'master' of bitbucket.org:Peter_Sewell/l2	Peter Sewell

2014-11-04	K,P better instruction pp	Peter Sewell

2014-11-04	setup printing for memory on tests	Kathy Gray

2014-11-03	pp of initial index of bitvector	Peter Sewell

2014-11-03	kathy,christopher,peter: talking about bitvectors and sc calls	Peter Sewell

2014-11-01	extend interface	Peter Sewell

2014-10-31	Add a num to bits function; start hooking up the power.ml file to the ↵	Kathy Gray
	symbol/memory address list.
2014-10-30	use proper equality on register name type	Peter Sewell

2014-10-30	Pull in updated elf model, make build work again (at least for me)	Kathy Gray

2014-10-30	Merge branch 'master' of bitbucket.org:Peter_Sewell/l2	Peter Sewell

2014-10-30	more compact pp of binary values (following verilog literal syntax)	Peter Sewell
	(though we still get some long lists of bitzero,bitzero,... in the instruction state printing...)
2014-10-30	Fix type error that Lem didn't catch with the interpreter alone	Kathy Gray

2014-10-30	harmonise argument order	Peter Sewell

2014-10-30	Add parameter to interp_exhaust with type maybe (list (reg_name,value)) for ↵	Kathy Gray
	registers we might read that we want values for (particularly the PC)
2014-10-30	Add case to neg for interp_lib	Kathy Gray

2014-10-29	tweak value pp (remove byte count)	Peter Sewell

2014-10-28	taint tracking unknown in interpreter	Kathy Gray

2014-10-28	Allow tracking of unknowns in interp library, removing the P hacks.	Kathy Gray
	Add a function from instruction to istate
2014-10-28	function in progress take 2	Kathy Gray

2014-10-28	hacks on taint tracking	Peter Sewell

2014-10-28	Add proper tag to constructors when storing continuation	Kathy Gray

2014-10-28	Function definition in progress	Kathy Gray

2014-10-28	K,P fix constructor-as-variable error	Peter Sewell

2014-10-27	Correct externally visible endianness bugs	Kathy Gray

2014-10-27	debugging temp	Kathy Gray

2014-10-27	add objdump disassembly of hello4 executable	Peter Sewell

2014-10-27	source and assembly of test hello4	Kathy Gray

2014-10-27	Add printing for instruction form	Kathy Gray

2014-10-22	Update printing for testing, fix some bugs found along the way	Kathy Gray

2014-10-20	Update the printing interface for ppcmem as opposed to run_model functionality	Kathy Gray

2014-10-20	Catch more types in constructor parameters	Kathy Gray

2014-10-20	Separate out printing facility from model driver into printing_functions ↵	Kathy Gray
	interface
2014-10-16	bug fixes to run test from Christopher's tests	Kathy Gray