projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
assign and test on Data, TODO add Data.ok checking in CR proof
[soc.git]
/
src
/
soc
/
fu
/
cr
/
formal
/
proof_main_stage.py
2020-05-27
Luke Kenneth Casso...
assign and test on Data, TODO add Data.ok checking...
blob
|
commitdiff
|
raw
2020-05-24
Luke Kenneth Casso...
convert CR pipeline to Data.ok
blob
|
commitdiff
|
raw
|
diff to current
2020-05-23
Michael Nolan
Modify proof of isel to use full CR register
blob
|
commitdiff
|
raw
|
diff to current
2020-05-23
Luke Kenneth Casso...
add CR_ISEL formal proof to CR pipeline
blob
|
commitdiff
|
raw
|
diff to current
2020-05-22
Michael Nolan
Complete CR proof
blob
|
commitdiff
|
raw
|
diff to current
2020-05-21
Michael Nolan
Partial attempt at proving the new cr unit.
blob
|
commitdiff
|
raw
|
diff to current
2020-05-20
Michael Nolan
Add proof for OP_MCRF
blob
|
commitdiff
|
raw
|
diff to current
2020-05-20
Michael Nolan
Add proof for OP_MFCR
blob
|
commitdiff
|
raw
|
diff to current
2020-05-20
Luke Kenneth Casso...
add link to bugreport in CR pipe formal test
blob
|
commitdiff
|
raw
|
diff to current
2020-05-20
Michael Nolan
Add proof for OP_CROP
blob
|
commitdiff
|
raw
|
diff to current
2020-05-20
Michael Nolan
Begin adding CR proof
blob
|
commitdiff
|
raw
|
diff to current