Testing temporal properties with Temporally Enhanced Security Logic Assertions - week 6

Mateusz Kocielski shm at freebsd.org
Thu Jul 14 06:28:23 UTC 2011


 This week was pretty busy outside GSoC world, however I've done some
significant bits:

 * added few instrumenter tests (i.e. for op= assignments, field
assignment tests)
 * extended instrumenter for op= assignments
 * polishing up all hacks which I've done so far (and push code into svn repo)
 * start working on more granular locking scheme for TESLA_SCOPE_GLOBAL context

 In case of any questions please catch me on IRC (I'm shm at freenode).


More information about the soc-status mailing list