isl-spec

Intermediate Student with Lambda (ISL+) Enhanced with Specification support via Quickcheck

Build status: ok passing tests valid license

Authors
Documentation
Tags
License
Last updatedThursday, April 27th, 2023 5:48:08pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/dbp/isl-spec.git#maine396664211ea7247bb6413ae028b620cec341079
Last checkedSunday, October 13th, 2024 12:46:36pm (UTC)
Last editedTuesday, December 13th, 2022 1:36:48am (UTC)
Date addedMonday, December 12th, 2022 6:48:02pm (UTC)
Modules
  • isl-spec/main.rkt