NAEV, or Nonlinear Automatic Equivalent Versioning is an abstraction and tool designed to allow for nonlinear versioning within software. The nonlinear versioning is then automatically verified to be functionally equivalent in the case of non-breaking updates.
-
Notifications
You must be signed in to change notification settings - Fork 0
NAEV, or Nonlinear Automatic Equivalence Verification is an abstraction and tool designed to allow for nonlinear versioning within software. The nonlinear versioning is then automatically verified to be functionally equivalent in the case of non-breaking updates.
Thomas-Quig/naev
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
NAEV, or Nonlinear Automatic Equivalence Verification is an abstraction and tool designed to allow for nonlinear versioning within software. The nonlinear versioning is then automatically verified to be functionally equivalent in the case of non-breaking updates.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published