https://github.com/io7m-com/jaffirm

Simple and fast contract checks
https://github.com/io7m-com/jaffirm

contract invariant postcondition precondition

Last synced: about 1 year ago
JSON representation

Simple and fast contract checks

• Host: GitHub
• URL: https://github.com/io7m-com/jaffirm
• Owner: io7m-com
• License: isc
• Created: 2016-08-06T19:00:06.000Z (almost 10 years ago)
• Default Branch: develop
• Last Pushed: 2025-04-15T19:35:47.000Z (about 1 year ago)
• Last Synced: 2025-04-24T03:44:49.886Z (about 1 year ago)
• Topics: contract, invariant, postcondition, precondition
• Language: Java
• Homepage: https://www.io7m.com/software/jaffirm
• Size: 1.67 MB
• Stars: 1
• Watchers: 2
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README-CHANGES.xml

Awesome Lists containing this project

README