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
#1299 - Investigate name errors in `classic/distributed/TwoPhaseCommit/two_phase_commit_modules.qnt`
Issue -
State: open - Opened by shonfeder 10 months ago
Labels: modularity
#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
#1296 - Add IR nodes for type abstraction and type function application
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
#1289 - LSP diagnostics for type/effect checking errors even when parsing or name resolution break
Issue -
State: open - Opened by bugarela 10 months ago
Labels: Fvscode
#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
#1285 - `quint run examples/solidity/icse23-fig7/lottery.qnt` fails with name resolution error in `verify` and `run` but not `test`
Issue -
State: open - Opened by shonfeder 10 months ago
Labels: bug
#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
#1281 - Trace generation with `quint test` does not support sum types
Issue -
State: closed - Opened by hvanz 10 months ago
#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
#1275 - Sum type variants with the same label collide in type checking
Issue -
State: closed - Opened by shonfeder 10 months ago
#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
#1266 - Add facility for printing evaluated expressions to the console while executing a spec
Issue -
State: closed - Opened by romac 10 months ago
#1266 - Add facility for printing evaluated expressions to the console while executing a spec
Issue -
State: open - Opened by romac 10 months ago
#1265 - `quint test` run produces itf traces without the last state
Issue -
State: open - Opened by shonfeder 11 months ago
#1265 - `quint test` run produces itf traces without the last state
Issue -
State: open - Opened by shonfeder 11 months ago
- 2 comments
#1265 - `quint test` run produces itf traces without the last state
Issue -
State: open - Opened by shonfeder 11 months ago
#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: open - Opened by rnbguy 11 months ago
#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)
#1238 - It's hard to define initial elements for folds without `chooseSome` or similar
Issue -
State: open - Opened by bugarela 11 months ago
- 2 comments
#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