projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16a332d) | patch
remove file experiment/formal/proof_icache.py as it was reviewed and
authorCole Poirier <colepoirier@gmail.com>
Mon, 15 Feb 2021 20:31:05 +0000 (12:31 -0800)
committerCole Poirier <colepoirier@gmail.com>
Mon, 15 Feb 2021 20:31:05 +0000 (12:31 -0800)
commite385bca636cf18983cea286d9bcbe75063d74e2b
tree862f9b90408b3dc2910f0a48dac1bc697992c81btree
parent16a332d4d943f6a973df75d8c1f85aef6eb0edf8commit | diff
remove file experiment/formal/proof_icache.py as it was reviewed and
determined to be not necessary at this point, if ever due to the
complexity of the icache, dcache, and mmu modules
src/soc/experiment/formal/proof_icache.py [deleted file] blob | history