summaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2017-06-13Add Makefile and ROOT for Isabelle libraryThomas Bauereiss
2017-02-03fix headersPeter Sewell
2017-02-03licensingPeter Sewell
2017-01-24add "interpreter" to make allPeter Sewell
2016-06-03added ARMv8Shaked Flur
2016-06-02Add rule in Makefile that uses headache to add copyright header to mips/cheri...Robert Norton
2016-04-19force link to prevent make from failingShaked Flur
2016-02-25Update read me to the present day and cause the makefile from the top level d...Kathy Gray
2014-10-07kathy,peter: making decode integration with ppcmem2 typecheckPeter Sewell
2014-08-13Silence some lem warnings in compilation.Kathy Gray
2014-08-05Add some reasonable targets for the top level make file, including make test ...Kathy Gray
2014-07-25Update make file to make clean from top level directory, and to not build all...Kathy Gray
2013-11-11Remove lem-lib hackGabriel Kerneis
2013-11-07Port L2 to new LemGabriel Kerneis
2013-10-04Clean up build systemGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 10:32:53 +0000