Library ArchSemRiscV.RiscVInst

Library ArchSemRiscV.GenAxiomaticRiscV

• Definition of barriers categories and barrier sets
• Standard names and definitions for RISC-V axiomatic models
  • Thread relations
  • Registers
  • Memory
  • Internal coherence

Library ArchSemRiscV.UMAxRiscV

• Arm standard notations
  • Thread relations
  • Dependencies
  • Registers
  • Barriers
  • Memory
• Fence relation
• Preserved program order