sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2020-09-12	Merge some of the gitignore files	Columbus240
	Both /.gitignore and /lib/coq/.gitignore ignored some files in /lib/coq. This commit removes /lib/coq/.gitignore and moves all ignore-statements to /.gitignore . This should simplify the maintenance of gitignore files. The situation with /test/mono/.gitignore is analogous.
2020-09-12	gitignore test artifacts of c and coq tests	Columbus240
	The "c" tests produce some *.h files that didn’t get ignored. The "coq" tests also produce some files that weren’t ignored.
2020-04-10	Add test output to gitignore	Thomas Bauereiss

2019-10-28	Fix jib.ott and SMT regressions	Alasdair Armstrong
	SMT seems sensitive to gensym counter being reset between definitions, but it shouldn't care due to unique_per_function_ids... need to investigate further. Only causes a single test to fail so must be subtle. Diffing between the bad/good versions reveals a few lines of generated SMT go missing when the gensym counter is reset.
2019-10-28	Some C backend refactoring	Alasdair
	Make it so that jib_compile.ml never relies on specific string encodings for various constructs in C. Previously this happened when monomorphisation occured for union constructors and fields, i.e. x.foo -> x.zfoo_bitsz632z7 Now identifiers that can be modified are represented as (id, ctyp list) tuples, so we can keep the types x.foo -> x.foo::<bits(32)> This then enables us to do jib IR -> jib IR rewrites that modify types In particular there is now a rewrite that removes tuples as an IR->IR pass rather than doing it ad-hoc in the C code generation, although this is not on by default Note that this change seems to have triggered an Ott bug so jib.lem is now checked in and not generated from Ott
2019-06-03	Add new files to .gitignore	Scott Johnson

2019-04-17	Remove obsolete generated files from .gitignore directory so they will show ↵	Robert Norton
	up in git status.
2019-03-14	Merge branch 'sail2' into rmem_interpreter	Jon French

2019-03-07	Git-ignore z3 caches	Brian Campbell

2018-12-28	Merge branch 'sail2' into rmem_interpreter	Jon French

2018-12-20	RISVC model is now at https://github.com/rems-project/sail-riscv . Remove it ↵	Robert Norton
	and tests.
2018-11-12	Add RVFI DII version of the RISC-V simulator for TestRIG	Brian Campbell
	The new riscv_rvfi target should still be usable as a normal simulator, but also has extra registers in the model for the RVFI DII protocol and code to update them, and the driver has a -r option to enable RVFI mode.
2018-11-01	Merge branch 'sail2' into rmem_interpreter	Jon French

2018-10-24	add a couple things to gitignore	Jon French

2018-10-23	RISC-V: switch c tests to use the C platform simulator; update .gitignore.	Prashanth Mundkur

2018-10-16	add a couple more RISC-V things to gitignore	Jon French

2018-06-11	Merge branch 'sail2' into mappings	Jon French
	(involved some manual tinkering with gitignore, type_check, riscv)
2018-05-24	Import (rather hacky) Coq Sail libraries	Brian Campbell

2018-05-21	Ignore src/share_directory.ml	Ramana Kumar
	src/Makefile suggests this is a generated file
2018-05-18	update and reorganise .gitignore	Jon French

2018-05-16	More targeted gitignore for HOL4	Brian Campbell
	(will do individual models later)
2018-05-16	Ignore .hollogs	Ramana Kumar

2018-05-16	Add global gitignore entries for HOL4	Brian Campbell

2018-04-13	Add a few more generated file to gitignore	Brian Campbell

2018-01-30	Updates to C backend	Alasdair Armstrong

2017-10-25	Point sail/src makefile at ott file in language/	Alasdair Armstrong

2014-04-23	make doc	Gabriel Kerneis
	Build html doc of module interface
2013-10-10	Run interpreter	Gabriel Kerneis
	Forgotten because of a wrong .gitignore.
2013-10-04	Clean up build system	Gabriel Kerneis

2013-07-31	Add .gitignore	Gabriel Kerneis