Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / informalsystems/quint issues and pull requests
#1505 - Release v0.22.0
Pull Request -
State: closed - Opened by bugarela 24 days ago
#1504 - VSCode Release v0.14.5
Pull Request -
State: closed - Opened by bugarela 25 days ago
#1503 - Release v0.21.2
Pull Request -
State: closed - Opened by bugarela 25 days ago
#1502 - verify: command freezes if no Java SDK is found
Issue -
State: open - Opened by cason 25 days ago
Labels: bug, good first issue
#1501 - verify: surprising temporal result
Issue -
State: open - Opened by lucab 25 days ago
- 2 comments
#1500 - grammar: consider adding support for hashbang scripting
Issue -
State: open - Opened by lucab 28 days ago
- 1 comment
Labels: good first issue
#1499 - Start a bat for Apalache when in Windows
Pull Request -
State: open - Opened by bugarela 28 days ago
#1498 - Fix file source resolution in Windows
Pull Request -
State: open - Opened by bugarela 30 days ago
#1497 - examples: add Lamport's concurrency teaching algorithm
Pull Request -
State: closed - Opened by lucab 30 days ago
#1496 - Show test results as soon as we finish running a single test
Issue -
State: open - Opened by bugarela about 1 month ago
Labels: good first issue, UX
#1495 - New evaluator that doesn't depend on flattening
Pull Request -
State: closed - Opened by bugarela about 1 month ago
- 5 comments
#1494 - Types prefixed with a namespace yield QNT007 error
Issue -
State: closed - Opened by romac about 1 month ago
Labels: bug
#1493 - Relax uppercase check for types qualified with a namespace
Pull Request -
State: closed - Opened by romac about 1 month ago
- 3 comments
#1492 - Invalid representation of quintIR error when running verify
Issue -
State: open - Opened by zaphar about 1 month ago
- 3 comments
#1491 - Fix format of ITF trace emitted by `verify` command
Pull Request -
State: closed - Opened by romac about 1 month ago
#1490 - Add progress bar to `quint test` and `quint run`
Pull Request -
State: closed - Opened by romac about 1 month ago
- 1 comment
#1489 - Add mafia game to examples
Pull Request -
State: open - Opened by MahtabNorouzi about 1 month ago
#1488 - Instantiating a constant with a sum type fails with a cyclic declaration error
Issue -
State: open - Opened by romac about 1 month ago
Labels: bug
#1487 - Check assumptions during simulation
Pull Request -
State: open - Opened by romac about 1 month ago
- 3 comments
Labels: blocked
#1486 - Add Apalache output directory to `.gitignore`
Pull Request -
State: closed - Opened by romac about 1 month ago
#1485 - Change placeholders to `{test}` and `{seq}`, stop enforcing `.itf.json` extension, rename `test --output` to `test --out-itf`
Pull Request -
State: closed - Opened by romac about 1 month ago
- 12 comments
#1484 - In `run` command, option `--n-traces` has no effect unless argument to `--out-itf` ends with `.itf.json`
Issue -
State: closed - Opened by romac about 1 month ago
- 2 comments
#1483 - Simplify only new types to improve performance on incremental analysis
Pull Request -
State: closed - Opened by bugarela about 2 months ago
#1482 - Fix Apalache repository URL
Pull Request -
State: closed - Opened by romac about 2 months ago
#1481 - Sort the best traces as we go using insertion sort instead of sorting the whole array each time
Pull Request -
State: closed - Opened by romac about 2 months ago
- 4 comments
#1480 - bump the grpc-js version and increase message sizes
Pull Request -
State: closed - Opened by konnov about 2 months ago
- 4 comments
#1479 - Add rock-paper-scissors game example
Pull Request -
State: closed - Opened by MahtabNorouzi about 2 months ago
#1478 - Added a new example rock paper scissor
Pull Request -
State: closed - Opened by MahtabNorouzi about 2 months ago
#1477 - Added a new example
Pull Request -
State: closed - Opened by MahtabNorouzi about 2 months ago
#1476 - Added new example RockPaperScissor to classic/distributed
Pull Request -
State: closed - Opened by MahtabNorouzi about 2 months ago
#1475 - Start with "What and why"
Issue -
State: open - Opened by gisborne 2 months ago
- 5 comments
#1473 - Getting Started tutorial should refer to a local installation as well
Issue -
State: open - Opened by MarceColl 2 months ago
- 2 comments
#1471 - Hidden error when calling `get` with no key inside a fold
Issue -
State: closed - Opened by bugarela 2 months ago
#1470 - Website updates
Pull Request -
State: closed - Opened by bugarela 2 months ago
#1469 - Release v0.21.1
Pull Request -
State: closed - Opened by bugarela 2 months ago
#1468 - `[]` parsed incorrectly leading to unrelated error message
Issue -
State: open - Opened by bugarela 2 months ago
- 2 comments
Labels: bug, parser
#1467 - fixed links
Pull Request -
State: closed - Opened by MahtabNorouzi 2 months ago
#1466 - fixed some typos
Pull Request -
State: closed - Opened by MahtabNorouzi 2 months ago
#1465 - Hotfix for high memory usage
Pull Request -
State: closed - Opened by bugarela 2 months ago
- 1 comment
#1464 - `quint verify` fails with error 13 on a relatively small spec
Issue -
State: open - Opened by konnov 2 months ago
- 1 comment
#1463 - Use Nix flake for CI
Pull Request -
State: closed - Opened by bugarela 2 months ago
#1462 - Website-related updates to README
Pull Request -
State: closed - Opened by bugarela 2 months ago
- 2 comments
#1461 - deno binary builds in releases
Issue -
State: open - Opened by rnbguy 3 months ago
- 1 comment
Labels: good first issue
#1460 - `quint verify` fails when `--invariant` is not Boolean
Issue -
State: open - Opened by konnov 3 months ago
- 2 comments
Labels: error messages
#1459 - Website!
Pull Request -
State: closed - Opened by bugarela 3 months ago
- 2 comments
#1458 - `quint verify` fails with "Received message larger than max (7576431 vs. 4194304)"
Issue -
State: closed - Opened by konnov 3 months ago
#1457 - Print progress in `run` and `test`
Issue -
State: closed - Opened by bugarela 3 months ago
Labels: good first issue, UX
#1456 - High memory usage after #1365
Issue -
State: closed - Opened by bugarela 3 months ago
Labels: simulator, performance
#1455 - Add `generate` operator
Pull Request -
State: open - Opened by konnov 3 months ago
- 9 comments
#1454 - Release v0.21.0
Pull Request -
State: closed - Opened by bugarela 4 months ago
#1453 - Use Either and extract code from compiler implementation
Pull Request -
State: closed - Opened by bugarela 4 months ago
- 1 comment
#1452 - Quality-of-life improvements to `quint verify`
Pull Request -
State: closed - Opened by konnov 4 months ago
#1451 - option type breaking in `quint verify`
Issue -
State: open - Opened by konnov 4 months ago
- 2 comments
#1450 - `assume` is not propagated to Apalache
Issue -
State: open - Opened by konnov 4 months ago
- 4 comments
#1449 - An exception when loading a file from a different directory
Issue -
State: open - Opened by konnov 4 months ago
Labels: usability, repl
#1448 - The ITF trace produced by quint verify is not formatted correctly
Issue -
State: closed - Opened by ivan-gavran 4 months ago
- 2 comments
Labels: good first issue
#1447 - VSCode Release v0.14.4
Pull Request -
State: closed - Opened by bugarela 4 months ago
#1446 - Release v0.20.0
Pull Request -
State: closed - Opened by bugarela 4 months ago
#1445 - Sum types for ERC20
Pull Request -
State: open - Opened by bugarela 4 months ago
#1444 - Relax unshadowing for let defs
Pull Request -
State: closed - Opened by bugarela 5 months ago
#1443 - We are unshadowing non-nested lambdas only because of Apalache
Issue -
State: open - Opened by bugarela 5 months ago
#1442 - Introduce `allListsUpTo`
Pull Request -
State: closed - Opened by bugarela 5 months ago
- 5 comments
#1441 - Automatically produce metadata to be used in MBT tests
Pull Request -
State: closed - Opened by bugarela 5 months ago
- 3 comments
#1440 - Convenience Spells
Pull Request -
State: open - Opened by ivan-gavran 5 months ago
#1439 - Simulator crashes with invalid `init` action
Issue -
State: closed - Opened by bugarela 5 months ago
- 4 comments
Labels: bug
#1438 - VSCode Release v0.14.3
Pull Request -
State: closed - Opened by bugarela 5 months ago
#1437 - Release v0.19.4
Pull Request -
State: closed - Opened by bugarela 5 months ago
#1436 - Hotfix: Handle cases where table entries or types are missing
Pull Request -
State: closed - Opened by bugarela 5 months ago
- 1 comment
#1435 - Bad type error when missing `()` after operator application
Issue -
State: open - Opened by bugarela 5 months ago
Labels: typechecker, error messages
#1434 - VSCode Release v0.14.2
Pull Request -
State: closed - Opened by bugarela 5 months ago
#1433 - Release v0.19.3
Pull Request -
State: closed - Opened by bugarela 5 months ago
#1432 - Bump apalache version
Pull Request -
State: closed - Opened by bugarela 5 months ago
#1431 - Checks for misuse of `nondet` and `oneOf`
Pull Request -
State: closed - Opened by bugarela 5 months ago
- 1 comment
#1430 - Add option to verify inductive invariants
Issue -
State: open - Opened by bugarela 5 months ago
- 3 comments
#1429 - Refactor traces in the compiler
Pull Request -
State: closed - Opened by bugarela 5 months ago
- 2 comments
#1428 - Improve REPL's multiline parsing
Issue -
State: open - Opened by bugarela 5 months ago
Labels: UX
#1427 - Bad error message for missing parenthesis in the `if` condition
Issue -
State: open - Opened by bugarela 6 months ago
- 2 comments
Labels: language design, error messages
#1427 - Bad error message for missing parenthesis in the `if` condition
Issue -
State: open - Opened by bugarela 6 months ago
Labels: error messages
#1426 - VSCode Release v0.14.1
Pull Request -
State: closed - Opened by bugarela 6 months ago
#1426 - VSCode Release v0.14.1
Pull Request -
State: closed - Opened by bugarela 6 months ago
#1425 - Release v0.19.2
Pull Request -
State: closed - Opened by bugarela 6 months ago
#1425 - Release v0.19.2
Pull Request -
State: closed - Opened by bugarela 6 months ago
#1424 - Integration with TLC
Issue -
State: open - Opened by bugarela 6 months ago
- 5 comments
#1424 - Integration with TLC
Issue -
State: open - Opened by bugarela 6 months ago
- 4 comments
#1423 - New Logo :sparkles:
Pull Request -
State: closed - Opened by bugarela 6 months ago
#1422 - Improve our tests that use fixtures
Issue -
State: open - Opened by bugarela 6 months ago
- 1 comment
#1421 - Parse the empty tuple type
Pull Request -
State: closed - Opened by bugarela 6 months ago
- 1 comment
#1420 - Parsing for the empty tuple type
Issue -
State: closed - Opened by bugarela 6 months ago
#1419 - Formatter for Quint source code
Issue -
State: open - Opened by romac 6 months ago
- 3 comments
#1418 - Internal error while flattening [QNT404] Name 'Listed' not found
Issue -
State: open - Opened by eras 6 months ago
- 1 comment
Labels: bug, flattening
#1417 - Release v0.19.1
Pull Request -
State: closed - Opened by bugarela 6 months ago
#1416 - Fix user facing unit type
Pull Request -
State: closed - Opened by bugarela 6 months ago
#1415 - VSCode Release v0.14.0
Pull Request -
State: closed - Opened by bugarela 6 months ago
#1414 - Apalache integration on Windows doesn't work well
Issue -
State: open - Opened by bugarela 6 months ago
- 2 comments
#1413 - Release v0.19.0
Pull Request -
State: closed - Opened by bugarela 6 months ago
#1412 - Bump Apalache version
Pull Request -
State: closed - Opened by bugarela 6 months ago
#1411 - When parsing ITF, we should translate "U_OF_UNIT" into empty tuples
Issue -
State: closed - Opened by bugarela 6 months ago
#1410 - Fix serialization of Sets
Pull Request -
State: closed - Opened by bugarela 6 months ago
#1409 - Fix the type quantification strategy
Pull Request -
State: closed - Opened by bugarela 7 months ago
#1408 - Error when running quint verify: EXCEPT
Issue -
State: closed - Opened by p-offtermatt 7 months ago
- 2 comments
Labels: bug