sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2013-10-10	make test target	Gabriel Kerneis

2013-10-10	Stub test suite	Gabriel Kerneis

2013-10-10	Use ocamlbuild, no findlib required	Gabriel Kerneis

2013-10-10	Rename Ast to Interp_ast for the interpreter	Gabriel Kerneis

2013-10-09	Memory reading (small change to signature for memory writes).	Kathy Gray
	Also fixed parser to accept id ( )
2013-10-09	add lem->ml in Makefile	Gabriel Kerneis

2013-10-09	Adding memory writes. Cleaning up the let in the ott file to reflect what ↵	Kathy Gray
	actually parses
2013-10-08	More makefile infrastructure	Gabriel Kerneis
	You need the latest version of Lem for this to work (requires lem/ocaml-lib/META.lem).
2013-10-04	Missing case in pattern-matching	Gabriel Kerneis

2013-10-04	Merlin boilerplate	Gabriel Kerneis
	https://github.com/def-lkb/merlin
2013-10-04	Clean up build system	Gabriel Kerneis

2013-10-04	More support for expression forms including let and vector slicing. And ↵	Kathy Gray
	writing to a vector range (with one value repeated or with a vector of appropriate size)
2013-10-02	Clean up and fixup vector writes	Kathy Gray

2013-10-02	Writing to vectors	Kathy Gray

2013-09-26	Adding undefined	Kathy Gray
	Also interpreter now supports reading and writing of basic registers (i.e with no subranges yet)
2013-09-25	Interpreter support for reading from registers and local memory, support for ↵	Kathy Gray
	writing to simple local memory and support for resuming a computation paused for register or memory activity.
2013-09-22	Interpreter with function calls, pattern matching, and reading local boxes	Kathy Gray

2013-09-17	Compiling interpreter that accepts function calls, vectors, but no memory ↵	Kathy Gray
	accesses yet
2013-09-13	Committing/pushing progress on interp (adding pattern matching and moving ↵	Kathy Gray
	closer to function calls) now that there's internet available.
2013-09-10	Adding in-progress lem interpreter	Kathy Gray

2013-09-09	Fixes bugs in pretty printer to generate legal lem syntax; split ott grammar ↵	Kathy Gray
	and rules for lem ast generation; created a new directory for the lem interpreter and moved the Lem ast to it.
2013-09-09	Pretty printer to Lem ast added; accessed by -lem_ast on the command line	Kathy Gray

2013-09-05	workaround likely aux rule bug	Peter Sewell

2013-09-05	More type checking, and trying to generate Lem from the ott	Kathy Gray

2013-09-04	Kind checking and part of type checking getting started	Kathy Gray

2013-08-30	Small clean up of ott files, start of environments for formal representation ↵	Kathy Gray
	of kind and type system
2013-08-28	Fix bug in pattern pretty printing	Kathy Gray

2013-08-23	Add built-in type bit	Kathy Gray

2013-08-22	Pretty printer for whole AST; due to parenthesis not always being placed ↵	Kathy Gray
	where needed, what is generated may not parse
2013-08-20	more support for pretty printing	Kathy Gray

2013-08-20	Set some initial kind environments; start pretty printing	Kathy Gray

2013-08-19	Translate foreach from Parse_ast to Ast	Gabriel Kerneis

2013-08-19	Add loops and document optionnal else in conditional	Gabriel Kerneis
	Syntax: foreach id from exp (to\|downto) exp (by exp)? exp foreach and by are keywords; from, to and downto aren't.
2013-08-16	Full translation from parse_ast to ast; which includes kind checking and ↵	Kathy Gray
	pulling scattered defintiions together, with checking on name overlap and not "ending" definitions
2013-08-15	Checks up to scattered defs	Kathy Gray

2013-08-14	More cases translating from parse_ast to ast. Plus parser changes to syntax ↵	Kathy Gray
	to support type casts; syntax changes not yet reflected in ott file
2013-08-13	more translation from parse_ast to ast	Kathy Gray

2013-08-08	More forms converting from parse_ast to ast; also removed some annot aux ↵	Kathy Gray
	homs for terms that only need locations and not full annotations
2013-08-07	Starting checks and translation from parse_ast to ast, including an internal ↵	Kathy Gray
	representation of types to support unification; importing support modules from Lem including pp and util
2013-08-01	More removal of ws from l2.ott, correction to parser, and adding finite-map ↵	Kathy Gray
	as preliminary to some minor type checking (for environments)
2013-08-01	Parse <_u, implicit else, and fix whitespaces	Gabriel Kerneis

2013-08-01	Lex and discard comments	Gabriel Kerneis

2013-07-31	Revert "Remove the wrong reporting basic"	Gabriel Kerneis
	This reverts commit b0efdb7172e65707cceab0eff469584217b8b589.
2013-07-31	Remove the wrong reporting basic	Kathy Gray

2013-07-31	Adding the real reporting basic	Kathy Gray

2013-07-31	Adding reporting basic from Lem development, also adding basic error ↵	Kathy Gray
	messages for syntax and lexical errors (i.e. syntax error and location information)
2013-07-30	More infix supported	Kathy Gray

2013-07-26	A parser without any conflicts.	Kathy Gray
	The ott files have been adjusted to reflect some syntax changes in typquant specifications, and the type annotations are not optional for function definitions; we need additional syntax to help the parser if we want to allow functions without type annotations.
2013-07-26	Remove white space/terminal tracking	Kathy Gray

2013-07-25	Clean trailing whitespace	Gabriel Kerneis