quint/README.md
this repo has no description
TypeScript
52.6%
Bluespec
17.3%
MDX
12.1%
Rust
9.1%
TLA
3.3%
HTML
2.6%
JavaScript
1.2%
Shell
0.6%
ANTLR
0.5%
Python
0.2%
Emacs Lisp
0.1%
Makefile
0.1%
CSS
0.1%
Vim Script
0.1%
Nix
0.1%
5284
1
0
Clone this repository
https://tangled.org/nandi.latha.org/quint
https://tangled.org/did:plc:ngokl2gnmpbvuvrfckja3g7p/quint
git@tangled.org:nandi.latha.org/quint
git@tangled.org:did:plc:ngokl2gnmpbvuvrfckja3g7p/quint
For self-hosted knots, clone URLs may differ based on your setup.
Download tar.gz
* Serialize QuintError.trace as #trace to avoid colliding with user record field names
* Replace recursive QuintError reviver with targeted reviveQuintError at known error sites
* Add regression test for #1981 covering user record fields named reference and trace
* fix(vscode): correct TextMate grammar — add match keyword, -> / prime / spread / :: / | tokens, distinct /// doc comments, word-bounded constants, and remove invalid string escapes
* fix(vscode): scope Map, Tup, Rec as support.type since they are stdlib names, not parser keywords
Fix tuples benchmark broken by compile init/step default changes
Remove `init/step` for JSON compilation
README.md