https://github.com/bagnalla/simp

Solver-aided Imp
https://github.com/bagnalla/simp

haskell imp verification z3

Last synced: about 1 month ago
JSON representation

Solver-aided Imp

• Host: GitHub
• URL: https://github.com/bagnalla/simp
• Owner: bagnalla
• License: mit
• Created: 2017-09-13T05:00:39.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2018-04-23T01:11:30.000Z (over 6 years ago)
• Last Synced: 2023-08-16T22:26:05.713Z (over 1 year ago)
• Topics: haskell, imp, verification, z3
• Language: Haskell
• Size: 48.8 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project