isl-spec

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

Build status: ok passing tests valid license

README Download
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, December 7th, 2025 5:52: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