Skip to content

rkraneis/checker-extensions

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

13 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Checker Framework Extensions

Units of measurement (units, units-qual)

  • Frequency (Hz, kHz; based on example in checker)
  • Force (N)
  • Linear Momentum (Ns)

Releases

No releases published

Packages

 
 
 

Languages