isl-spec

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

Build status: ok passing tests valid license

Documentation
Tags
License
Last updatedWednesday, January 25th, 2023 2:21:53am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/dbp/isl-spec.git#main2f847258a1506d07310c7833c8d7c012721c19f5
Last checkedSunday, March 26th, 2023 12:27:22am (UTC)
Last editedTuesday, December 13th, 2022 1:36:48am (UTC)
Date addedMonday, December 12th, 2022 6:48:02pm (UTC)
Modules
  • isl-spec/main.rkt