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 24 days ago

#1503 - Release v0.21.2

Pull Request - State: closed - Opened by bugarela 24 days ago

#1502 - verify: command freezes if no Java SDK is found

Issue - State: open - Opened by cason 24 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 27 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 29 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

#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

#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

#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

#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

#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