portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/plat/tk1
History
Thomas Sewell 97bac2345f Remove many MODIFIES annotations. 
These are redundant for any function which the C-to-Isabelle parser
actually analyses, which is now the vast majority of functions.
2016-12-12 17:30:51 +11:00
..
plat Remove many MODIFIES annotations. 2016-12-12 17:30:51 +11:00
autoconf.h SELFOUR-553: Update standalone kernel configurations 2016-11-22 11:49:52 +11:00