https://github.com/lemmy/tlc-perf
Performance measurements for the TLC model checker
https://github.com/lemmy/tlc-perf
Last synced: about 2 months ago
JSON representation
Performance measurements for the TLC model checker
- Host: GitHub
- URL: https://github.com/lemmy/tlc-perf
- Owner: lemmy
- Created: 2012-06-20T12:11:23.000Z (almost 13 years ago)
- Default Branch: master
- Last Pushed: 2015-06-19T08:52:51.000Z (almost 10 years ago)
- Last Synced: 2025-01-31T12:24:02.285Z (4 months ago)
- Language: Shell
- Size: 142 MB
- Stars: 3
- Watchers: 3
- Forks: 0
- Open Issues: 1
-
Metadata Files: