Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / marcelosousa / safemerge
SafeMerge: Verification of Conflict Freedom in Program Merges
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/marcelosousa%2Fsafemerge
Stars: 5
Forks: 0
Open Issues: 2
License: None
Language: Java
Repo Size: 11.7 MB
Dependencies:
55
Created: over 9 years ago
Updated: about 1 year ago
Last pushed: almost 6 years ago
Last synced: 9 months ago
Files
Loading...
Readme
Loading...
Dependencies
- array >=0.1
- base ==4.*
- cpphs >=1.3
- parsec >=3.0
- pretty >=1.0
- syb *
- HUnit * test
- QuickCheck >=2 test
- base >=3 && <5 test
- directory * test
- filepath * test
- language-java * test
- mtl * test
- test-framework * test
- test-framework-hunit * test
- test-framework-quickcheck2 * test
dependencies/z3-4.0.0/z3.cabal
hackage
- base >=4.5 && <5
- base >=4.5
- containers *
- mtl >2.1
- z3 >=0.4
- QuickCheck >=2.5.1 test
- base >=4.5 test
- hspec >=2.1 test
- z3 >=0.4 test
dependencies/z3-4.1.0/z3.cabal
hackage
- base >=4.5 && <5
- base >=4.5
- containers *
- mtl >2.1
- z3 >=0.4
- QuickCheck >=2.5.1 test
- base >=4.5 test
- hspec >=2.1 test
- z3 ==4.* test
- base *
- containers *
- directory *
- filepath *
- language-java *
- mtl *
- process *
- wiz *
wiz.cabal
hackage
- ansi-terminal *
- array *
- base *
- cmdargs *
- containers *
- directory *
- filepath *
- language-java *
- mtl *
- smtlib *
- transformers *
- uu-parsinglib *
- z3 ==4.1.0