git.libre-soc.org Git - soc.git/history - src/soc/fu/logical/formal/proof_main

[soc.git] / src / soc / fu / logical / formal / proof_main_stage.py

2020-07-12	Luke Kenneth Casso...	rename InternalOp to MicrOp	blob \| commitdiff \| raw
2020-06-04	Luke Kenneth Casso...	use copy of FHDLTestCase	blob \| commitdiff \| raw \| diff to current
2020-05-28	Luke Kenneth Casso...	move simple_popcount out of class (does not use any...	blob \| commitdiff \| raw \| diff to current
2020-05-27	Luke Kenneth Casso...	remove XER.ca from logical Input Data - not needed	blob \| commitdiff \| raw \| diff to current
2020-05-27	Luke Kenneth Casso...	cleanup logical main proof	blob \| commitdiff \| raw \| diff to current
2020-05-24	Luke Kenneth Casso...	add OP_CMPB formal proof	blob \| commitdiff \| raw \| diff to current
2020-05-24	Luke Kenneth Casso...	add copy of bpermd proof to logical formal proof (not...	blob \| commitdiff \| raw \| diff to current
2020-05-24	Luke Kenneth Casso...	convert logical to output Data on int reg	blob \| commitdiff \| raw \| diff to current
2020-05-22	Luke Kenneth Casso...	cleanup logical pipe formal proof	blob \| commitdiff \| raw \| diff to current
2020-05-20	Luke Kenneth Casso...	formal proof rename on XER flags	blob \| commitdiff \| raw \| diff to current
2020-05-20	Michael Nolan	Add proof for OP_CNTZ	blob \| commitdiff \| raw \| diff to current
2020-05-20	Luke Kenneth Casso...	add cross-reference to bugtracker and wiki	blob \| commitdiff \| raw \| diff to current
2020-05-20	Michael Nolan	Delete assume left over from testing	blob \| commitdiff \| raw \| diff to current
2020-05-20	Michael Nolan	Add proof for OP_PRTY	blob \| commitdiff \| raw \| diff to current
2020-05-20	Michael Nolan	Formally verify OP_POPCNT	blob \| commitdiff \| raw \| diff to current
2020-05-20	Michael Nolan	Fix bug with popcntd	blob \| commitdiff \| raw \| diff to current
2020-05-18	Luke Kenneth Casso...	mass-rename of modules to soc.fu.*	blob \| commitdiff \| raw \| diff to current
2020-05-18	Luke Kenneth Casso...	rename pipe to fu	blob \| commitdiff \| raw \| diff to current

RSS Atom