projects / soc.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Complete FV properties for OP_TRAP instructions.
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