https://github.com/romac/servo-bug-quint

https://github.com/romac/servo-bug-quint

Last synced: 5 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/romac/servo-bug-quint
• Owner: romac
• Created: 2024-08-14T20:24:52.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2024-08-30T15:22:02.000Z (almost 2 years ago)
• Last Synced: 2025-07-04T11:06:54.230Z (12 months ago)
• Language: Bluespec
• Size: 2.93 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
Quint version of the TLA+ specification described in [*Re-fixing Servo’s event-loop*](https://medium.com/@polyglot_factotum/re-fixing-servos-event-loop-e00bdf267385) by Gregory Terzian.