In 2010, Iago Abal wrote this specification of Darcs' patch theory kernel in Alloy as course work for the Formal Methods for Software Engineering course at University of Minho. By patch theory kernel, we mean the set of primitive patches and associated operations. This formalization does not model merges.
-
Notifications
You must be signed in to change notification settings - Fork 0
IagoAbal/darcs-alloy
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Specification of Darcs' Patch Theory Kernel in Alloy
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published