add svanalysis to spec
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 30 Jul 2022 20:02:27 +0000 (21:02 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 30 Jul 2022 20:02:27 +0000 (21:02 +0100)
commit5341efc63056e787c790e2f289f216dab6a7b0f2
treeb8e799d49048c6aaf4f952e5db8f039fd2c30eb6
parentc1451b563bc52770b5c166f972287db850f6bf22
add svanalysis to spec
openpower/Makefile
openpower/simple_v_spec.tex