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

#1305 - Add logo to VSCode extension

Issue - State: closed - Opened by shonfeder 10 months ago

#1304 - Change the runtime behavior of `then`

Pull Request - State: closed - Opened by konnov 10 months ago

#1303 - Introduce a new run operator `expect`

Pull Request - State: closed - Opened by konnov 10 months ago - 2 comments

#1302 - Bug in the type inference system involving nested sum types and tuples

Issue - State: closed - Opened by hvanz 10 months ago - 6 comments
Labels: bug

#1301 - Match expression syntax sugar

Issue - State: open - Opened by shonfeder 10 months ago - 1 comment
Labels: informal-user-support, UX

#1300 - Add tests to benchmark typechecking

Issue - State: open - Opened by shonfeder 10 months ago
Labels: performance, UX

#1298 - Add support for polymorphic type declaration in the type checking constraints

Issue - State: closed - Opened by shonfeder 10 months ago
Labels: typechecker

#1297 - Add parser support for polymorphic type declaration

Issue - State: closed - Opened by shonfeder 10 months ago

#1295 - Detect import paths that only differ in capitalization

Pull Request - State: closed - Opened by konnov 10 months ago - 1 comment

#1294 - State variables don't respect module namespaces

Issue - State: open - Opened by shonfeder 10 months ago - 1 comment
Labels: name resolution

#1293 - Design more performant approach to `toList`

Issue - State: open - Opened by shonfeder 10 months ago

#1292 - VSCode Release v0.12.1

Pull Request - State: closed - Opened by bugarela 10 months ago

#1291 - Release v0.17.1

Pull Request - State: closed - Opened by bugarela 10 months ago - 1 comment

#1290 - Namespaces in effects

Pull Request - State: closed - Opened by bugarela 10 months ago - 3 comments

#1288 - Module instances and state issue

Issue - State: closed - Opened by alexd6631 10 months ago - 6 comments
Labels: bug, feedback, state composition

#1287 - VSCode Release v0.12.0

Pull Request - State: closed - Opened by shonfeder 10 months ago

#1286 - Release v0.17.0

Pull Request - State: closed - Opened by shonfeder 10 months ago

#1284 - Trying to verify `Paxos.qnt` results in `assignment error`

Issue - State: open - Opened by shonfeder 10 months ago - 1 comment

#1283 - Add support for variants in ITF

Pull Request - State: closed - Opened by shonfeder 10 months ago

#1282 - Added defs that extract values of a map as a set and as a list

Pull Request - State: closed - Opened by ivan-gavran 10 months ago - 1 comment

#1280 - Fix operator declaraion lambda IDs

Pull Request - State: closed - Opened by shonfeder 10 months ago

#1280 - Fix operator declaraion lambda IDs

Pull Request - State: open - Opened by shonfeder 10 months ago

#1279 - Our current way of tracking definition depth is confusing

Issue - State: open - Opened by bugarela 10 months ago
Labels: refactoring

#1279 - Our current way of tracking definition depth is confusing

Issue - State: open - Opened by bugarela 10 months ago
Labels: tech-debt

#1278 - Add `compile` subcommand

Issue - State: open - Opened by shonfeder 10 months ago - 4 comments

#1278 - Add `compile` subcommand

Issue - State: closed - Opened by shonfeder 10 months ago - 5 comments

#1277 - Fix sum type declaration collision

Pull Request - State: closed - Opened by shonfeder 10 months ago

#1277 - Fix sum type declaration collision

Pull Request - State: open - Opened by shonfeder 10 months ago

#1276 - Two fixes for Paxos simulation

Pull Request - State: closed - Opened by bugarela 10 months ago - 5 comments

#1276 - Two fixes for Paxos simulation

Pull Request - State: closed - Opened by bugarela 10 months ago - 5 comments

#1274 - Prepare to release sum type support in `verify`

Pull Request - State: closed - Opened by shonfeder 10 months ago - 1 comment

#1273 - Two Phase Commit example

Pull Request - State: closed - Opened by bugarela 10 months ago - 5 comments

#1273 - Two Phase Commit example

Pull Request - State: closed - Opened by bugarela 10 months ago - 5 comments

#1272 - Fix effect signature for the `match` operator

Pull Request - State: closed - Opened by bugarela 10 months ago

#1272 - Fix effect signature for the `match` operator

Pull Request - State: closed - Opened by bugarela 10 months ago

#1271 - An example specification of the Cosmos SDK bank module

Pull Request - State: open - Opened by konnov 10 months ago

#1271 - A specification of the Cosmos SDK bank module

Pull Request - State: open - Opened by konnov 10 months ago

#1270 - Write RFC for effect annotations

Issue - State: open - Opened by shonfeder 10 months ago

#1269 - update the cheatsheet

Pull Request - State: closed - Opened by konnov 10 months ago
Labels: doc

#1269 - update the cheatsheet

Pull Request - State: closed - Opened by konnov 10 months ago
Labels: doc

#1268 - Toposort on modules

Pull Request - State: open - Opened by konnov 10 months ago
Labels: refactoring, feedback

#1268 - Toposort on modules

Pull Request - State: open - Opened by konnov 10 months ago
Labels: refactoring, feedback

#1268 - Toposort on modules

Pull Request - State: closed - Opened by konnov 10 months ago - 1 comment
Labels: refactoring, feedback

#1267 - Add `debug` built-in

Pull Request - State: open - Opened by romac 10 months ago - 4 comments

#1267 - Add `debug` built-in

Pull Request - State: open - Opened by romac 10 months ago - 4 comments

#1267 - Add `debug` built-in

Pull Request - State: closed - Opened by romac 10 months ago - 14 comments

#1265 - `quint test` run produces itf traces without the last state

Issue - State: open - Opened by shonfeder 11 months ago - 2 comments

#1264 - fix: reset trace recorder at beginning of each test run

Pull Request - State: closed - Opened by rnbguy 11 months ago - 7 comments

#1264 - fix: reset trace recorder at beginning of each test run

Pull Request - State: open - Opened by rnbguy 11 months ago - 3 comments

#1263 - `quint test --output` saves the same trace for all tests

Issue - State: closed - Opened by rnbguy 11 months ago

#1262 - Fix line length lints

Pull Request - State: closed - Opened by shonfeder 11 months ago

#1262 - Fix line length lints

Pull Request - State: closed - Opened by shonfeder 11 months ago

#1261 - Add publishing instruction for the language server npm package

Pull Request - State: closed - Opened by bugarela 11 months ago - 2 comments

#1261 - Add publishing instruction for the language server npm package

Pull Request - State: closed - Opened by bugarela 11 months ago - 2 comments

#1260 - Fix the default module in `quint run` and `quint test`

Pull Request - State: closed - Opened by konnov 11 months ago

#1259 - VSCode Release v0.11.0

Pull Request - State: closed - Opened by shonfeder 11 months ago

#1258 - Release v0.16.0

Pull Request - State: closed - Opened by shonfeder 11 months ago

#1257 - Release v0.16.0

Pull Request - State: closed - Opened by shonfeder 11 months ago

#1257 - Release v0.16.0

Pull Request - State: closed - Opened by shonfeder 11 months ago

#1256 - update the cheatsheet with the sum types

Pull Request - State: closed - Opened by konnov 11 months ago - 3 comments

#1255 - Document sum types

Pull Request - State: closed - Opened by shonfeder 11 months ago - 1 comment

#1255 - Document sum types

Pull Request - State: open - Opened by shonfeder 11 months ago

#1254 - Update cheatsheet with syntax for sum types

Issue - State: closed - Opened by shonfeder 11 months ago
Labels: doc

#1254 - Update cheatsheet with syntax for sum types

Issue - State: open - Opened by shonfeder 11 months ago

#1253 - `Multiple updates of variable` aren't that helpful

Issue - State: open - Opened by shonfeder 11 months ago - 2 comments
Labels: usability, feedback

#1252 - write post-condition assertions without introducing a new step

Issue - State: closed - Opened by bugarela 11 months ago - 5 comments
Labels: Flanguage, research, feedback

#1252 - write post-condition assertions without introducing a new step

Issue - State: closed - Opened by bugarela 11 months ago - 5 comments
Labels: Flanguage, research, feedback

#1251 - ignore .DS_Store

Pull Request - State: closed - Opened by konnov 11 months ago

#1250 - Consider supporting dynamic run steps

Issue - State: open - Opened by bugarela 11 months ago - 5 comments
Labels: language design

#1249 - fix the antlr grammar

Pull Request - State: open - Opened by konnov 11 months ago - 8 comments

#1248 - Explore further options for pinning Apalache release

Issue - State: open - Opened by thpani 11 months ago

#1247 - Fix the grammar: an operator definition should use `qualId`

Issue - State: open - Opened by konnov 11 months ago - 1 comment
Labels: Fparser (phase 1), blocked

#1247 - Fix the grammar: an operator definition should use `qualId`

Issue - State: open - Opened by konnov 11 months ago
Labels: Fparser (phase 1)

#1246 - add frequently asked questions

Pull Request - State: closed - Opened by konnov 11 months ago
Labels: doc

#1246 - add frequently asked questions

Pull Request - State: closed - Opened by konnov 11 months ago
Labels: doc

#1245 - Remove Deprecated Union Types

Pull Request - State: closed - Opened by shonfeder 11 months ago - 1 comment

#1245 - Remove Deprecated Union Types

Pull Request - State: closed - Opened by shonfeder 11 months ago - 1 comment

#1244 - Document sum types

Issue - State: closed - Opened by shonfeder 11 months ago

#1243 - Fix handling of wildcard match cases

Pull Request - State: closed - Opened by shonfeder 11 months ago - 1 comment

#1242 - Add support for sum types in the simulator

Pull Request - State: closed - Opened by shonfeder 11 months ago - 2 comments

#1241 - VSCode Release v0.10.0

Pull Request - State: closed - Opened by bugarela 11 months ago

#1240 - Release v0.15.0

Pull Request - State: closed - Opened by bugarela 11 months ago - 1 comment

#1239 - Effect checking giving a weird error on high order operator

Issue - State: open - Opened by bugarela 11 months ago
Labels: bug, Feffects (phase 3)

#1237 - Refactoring parser tests

Pull Request - State: closed - Opened by konnov 11 months ago - 4 comments
Labels: refactoring, Fparser (phase 1)

#1236 - Extend the language to be able to convert an action to a temporal formula

Issue - State: open - Opened by konnov 11 months ago - 3 comments
Labels: Flanguage

#1236 - Extend the language to be able to convert an action to a temporal formula

Issue - State: open - Opened by konnov 11 months ago - 15 comments
Labels: Flanguage

#1235 - Error when running 'quint verify'

Issue - State: closed - Opened by p-offtermatt 11 months ago - 12 comments
Labels: bug, Ftranspiler (phase 5b), Ftypecheck (phase 4)

#1234 - Fix broken link

Pull Request - State: closed - Opened by p-offtermatt 11 months ago - 2 comments
Labels: bug, doc