summaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
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 et...Robert Norton
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
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 mips/cheri...Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 03:23:28 +0000