https://github.com/jmid/lcheck

A library for quickchecking lattice modules and associated operations
https://github.com/jmid/lcheck

embedded-dsls lattice monotonicity ocaml property-based-testing quickcheck

Last synced: about 1 month ago
JSON representation

A library for quickchecking lattice modules and associated operations

• Host: GitHub
• URL: https://github.com/jmid/lcheck
• Owner: jmid
• Created: 2014-08-25T18:50:30.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2021-10-12T14:39:51.000Z (about 3 years ago)
• Last Synced: 2024-03-15T19:14:25.314Z (10 months ago)
• Topics: embedded-dsls, lattice, monotonicity, ocaml, property-based-testing, quickcheck
• Language: OCaml
• Size: 164 KB
• Stars: 5
• Watchers: 3
• Forks: 3
• Open Issues: 1

Awesome Lists containing this project