summaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Collapse)Author
2018-02-22wipRobert Norton
2018-02-17Merge master branch into sail2 for OCaml 4.06 compatibilityThomas Bauereiss
2018-02-08Some perl for automating some of sail->sail2 porting. Does not even attempt ↵Robert Norton
to get everything right but does manage some of the simpler and more tedious stuff. Health warning: may cause bleeding of eyes.
2018-02-08replaced NIA_LR/CTR/register with NIA_indirect;Shaked Flur
removed IK_cond_branch, and added IK_branch
2017-12-04added the Power modelShaked Flur
2017-12-04renamed hgen to genShaked Flur
2017-11-01added RISC-V "fence r,r"Shaked Flur
2017-09-20add support for x86 lock prefix (also remove unused Read/Write_tag kind in ↵Robert Norton
etc/regfp.sail.
2017-09-15x86: implement regfp analysis function (no control flow yet)Robert Norton
2017-09-03added RISC-V strong-acquire/releaseShaked Flur
2017-08-31added RISC-V AMOsShaked Flur
2017-08-22added RISC-V "fence w,w" and "fence.i";Shaked Flur
fixed the interpreter nias analysis;
2017-08-19RISC-V store-releaseShaked Flur
2017-08-17added RISC-V load-acquireShaked Flur
2017-04-18added transactional memory supportShaked Flur
2017-02-03fix headersPeter Sewell
2017-02-03licensingPeter Sewell
2016-11-30add new barrier kind for MIPS (only one for now).Robert Norton
2016-11-07factor out regfp analysis types into etc/regfp.sailChristopher Pulte
2016-06-03added ARMv8Shaked Flur
2016-06-03Reduce fill width of header to align closing comments nicely.Robert Norton
2016-06-02Add rule in Makefile that uses headache to add copyright header to ↵Robert Norton
mips/cheri model.
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 10:09:48 +0000