https://github.com/peterjclaw/dummy-comp

Dummy Competition State for the SRComp suite of tools
https://github.com/peterjclaw/dummy-comp

compstate srcomp

Last synced: about 1 month ago
JSON representation

Dummy Competition State for the SRComp suite of tools

• Host: GitHub
• URL: https://github.com/peterjclaw/dummy-comp
• Owner: PeterJCLaw
• Created: 2017-07-22T19:02:52.000Z (over 7 years ago)
• Default Branch: main
• Last Pushed: 2024-04-12T14:26:21.000Z (7 months ago)
• Last Synced: 2024-04-16T07:01:53.603Z (7 months ago)
• Topics: compstate, srcomp
• Language: Python
• Homepage: https://github.com/PeterJCLaw/srcomp/wiki
• Size: 184 KB
• Stars: 0
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project