issues
search
informalsystems
/
quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Apache License 2.0
607
stars
30
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
`quint verify` fails with "Received message larger than max (7576431 vs. 4194304)"
#1458
konnov
opened
13 hours ago
0
Print progress in `run` and `test`
#1457
bugarela
opened
1 day ago
0
High memory usage after #1365
#1456
bugarela
opened
1 day ago
0
Add command `generate`
#1455
konnov
opened
1 day ago
2
Release v0.21.0
#1454
bugarela
closed
1 week ago
0
Use Either and extract code from compiler implementation
#1453
bugarela
closed
3 weeks ago
1
Quality-of-life improvements to `quint verify`
#1452
konnov
closed
3 weeks ago
0
option type breaking in `quint verify`
#1451
konnov
opened
1 month ago
2
`assume` is not propagated to Apalache
#1450
konnov
opened
1 month ago
0
An exception when loading a file from a different directory
#1449
konnov
opened
1 month ago
0
The ITF trace produced by quint verify is not formatted correctly
#1448
ivan-gavran
opened
1 month ago
0
VSCode Release v0.14.4
#1447
bugarela
closed
1 month ago
0
Release v0.20.0
#1446
bugarela
closed
1 month ago
0
Sum types for ERC20
#1445
bugarela
opened
1 month ago
0
Relax unshadowing for let defs
#1444
bugarela
closed
1 month ago
0
We are unshadowing non-nested lambdas only because of Apalache
#1443
bugarela
opened
1 month ago
0
Introduce `allListsUpTo`
#1442
bugarela
closed
1 month ago
5
Automatically produce metadata to be used in MBT tests
#1441
bugarela
closed
1 month ago
3
Convenience Spells
#1440
ivan-gavran
opened
1 month ago
0
Simulator crashes with invalid `init` action
#1439
bugarela
opened
1 month ago
4
VSCode Release v0.14.3
#1438
bugarela
closed
1 month ago
0
Release v0.19.4
#1437
bugarela
closed
1 month ago
0
Hotfix: Handle cases where table entries or types are missing
#1436
bugarela
closed
1 month ago
1
Bad type error when missing `()` after operator application
#1435
bugarela
opened
1 month ago
0
VSCode Release v0.14.2
#1434
bugarela
closed
1 month ago
0
Release v0.19.3
#1433
bugarela
closed
1 month ago
0
Bump apalache version
#1432
bugarela
closed
1 month ago
0
Checks for misuse of `nondet` and `oneOf`
#1431
bugarela
closed
1 month ago
1
Add option to verify inductive invariants
#1430
bugarela
opened
1 month ago
3
Refactor traces in the compiler
#1429
bugarela
closed
2 months ago
2
Improve REPL's multiline parsing
#1428
bugarela
opened
2 months ago
0
Bad error message for missing parenthesis in the `if` condition
#1427
bugarela
opened
2 months ago
2
VSCode Release v0.14.1
#1426
bugarela
closed
2 months ago
0
Release v0.19.2
#1425
bugarela
closed
2 months ago
0
Integration with TLC
#1424
bugarela
opened
2 months ago
5
New Logo :sparkles:
#1423
bugarela
closed
2 months ago
0
Improve our tests that use fixtures
#1422
bugarela
opened
2 months ago
0
Parse the empty tuple type
#1421
bugarela
closed
2 months ago
1
Parsing for the empty tuple type
#1420
bugarela
closed
2 months ago
0
Formatter for Quint source code
#1419
romac
opened
2 months ago
3
Internal error while flattening [QNT404] Name 'Listed' not found
#1418
eras
opened
2 months ago
1
Release v0.19.1
#1417
bugarela
closed
2 months ago
0
Fix user facing unit type
#1416
bugarela
closed
2 months ago
0
VSCode Release v0.14.0
#1415
bugarela
closed
3 months ago
0
Apalache integration on Windows doesn't work well
#1414
bugarela
opened
3 months ago
0
Release v0.19.0
#1413
bugarela
closed
3 months ago
0
Bump Apalache version
#1412
bugarela
closed
3 months ago
0
When parsing ITF, we should translate "U_OF_UNIT" into empty tuples
#1411
bugarela
closed
2 months ago
0
Fix serialization of Sets
#1410
bugarela
closed
3 months ago
0
Fix the type quantification strategy
#1409
bugarela
closed
3 months ago
0
Next