projects / soc.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Provide full name and email in copyright notice.
2020-09-03 Samuel A. Falvo IIProvide full name and email in copyright notice.
 commit | commitdiff | tree
2020-08-29 Samuel A. Falvo IIQualify XER_OV output in proof
 commit | commitdiff | tree
2020-08-29 Samuel A. Falvo IIFix test breakage in MUL proofs
 commit | commitdiff | tree
2020-08-29 Samuel A. Falvo IIBROKEN: xer_ov_o != dut.o.xer_ov.data ???!!!
 commit | commitdiff | tree
2020-08-29 Samuel A. Falvo IIMUL pipeline formal proofs complete, I *think*.
 commit | commitdiff | tree
2020-08-29 Samuel A. Falvo IIWIP: prep for 64-bit insns
 commit | commitdiff | tree
2020-08-21 Samuel A. Falvo IIMUL pipeline WIP: mullw and mullwu covered.
 commit | commitdiff | tree
2020-08-21 Samuel A. Falvo IIMUL pipeline: account for overflow flags. WIP
 commit | commitdiff | tree
2020-08-21 Samuel A. Falvo IIMUL pipeline proofs: mulli / mullw WIP.
 commit | commitdiff | tree
2020-08-20 Samuel A. Falvo IIMUL pipeline proof: muldw(u)
 commit | commitdiff | tree
2020-08-20 Samuel A. Falvo IIMUL pipeline proof: signed mulhw
 commit | commitdiff | tree
2020-08-19 Samuel A. Falvo IIWIP: OP_MUL proofs started.
 commit | commitdiff | tree
2020-08-10 Samuel A. Falvo IIWIP!! Make MUL pipeline proof run again.
 commit | commitdiff | tree
2020-08-04 Samuel A. Falvo IIRemove XXX; this seems done otherwise.
 commit | commitdiff | tree
2020-08-03 Samuel A. Falvo IIWIP: check MB > ME and select mask appropriately
 commit | commitdiff | tree
2020-07-31 Samuel A. Falvo IIWIP: more debugging signals for inspection
 commit | commitdiff | tree
2020-07-30 Samuel A. Falvo IIWIP: rlwinm/rlwnm/rlwimi-type proofs
 commit | commitdiff | tree
2020-07-26 Samuel A. Falvo IIMTMSR(D) properties.
 commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIProperties for MFMSR
 commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIReorganize code layout
 commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIWIP: SC properties more closely match doc'd behavior
 commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIWIP: addressing code review, restoring proofs, etc.
 commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIRefactorin of common code
 commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIAddress code review comments
 commit | commitdiff | tree
2020-07-22 Samuel A. Falvo IIComplete FV properties for OP_TRAP instructions.
 commit | commitdiff | tree
2020-07-22 Samuel A. Falvo IIPEP8 compliance
 commit | commitdiff | tree
2020-07-21 Samuel A. Falvo IICompleted SC FV properties
 commit | commitdiff | tree
2020-07-21 Samuel A. Falvo IIRefine properties to comply with spec
 commit | commitdiff | tree
2020-07-21 Samuel A. Falvo IIFix where msr_i gets its value from
 commit | commitdiff | tree
2020-07-21 Samuel A. Falvo IIMerge in recent updates to TRAP FV properties.
 commit | commitdiff | tree
2020-07-20 Samuel A. Falvo IIRework SC properties to conform to style
 commit | commitdiff | tree
2020-07-20 Samuel A. Falvo IIFormal properties for RFID.
 commit | commitdiff | tree
2020-07-18 Samuel A. Falvo IIWIP: FV failing for unknown reasons.
 commit | commitdiff | tree
2020-07-18 Samuel A. Falvo IIFailing test: fast1/fast2 vs srr0/srr1? on trap pipe
 commit | commitdiff | tree
2020-07-18 Samuel A. Falvo IIforgot to clean up workspace in source
 commit | commitdiff | tree
2020-07-18 Samuel A. Falvo IIFV props for SC instruction
 commit | commitdiff | tree
2020-07-17 Samuel A. Falvo IIFirst FV property for trap unit
 commit | commitdiff | tree
2020-07-17 Samuel A. Falvo IIFlesh out SPR-related FV properties.
 commit | commitdiff | tree
2020-07-14 Samuel A. Falvo IISPR: FV that should fail currently passes
 commit | commitdiff | tree