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

#1064 - CLI should produce different error codes

Issue - State: open - Opened by konnov over 1 year ago - 2 comments

#1063 - wrap formatError

Pull Request - State: closed - Opened by konnov over 1 year ago

#1062 - RFC 001: Extend Quint type system to support Sum Types

Pull Request - State: closed - Opened by shonfeder over 1 year ago - 3 comments

#1061 - Error reporter fails during test

Issue - State: closed - Opened by angbrav over 1 year ago - 1 comment
Labels: bug, W1, product-audits

#1060 - Refactor value generators in the simulator

Pull Request - State: closed - Opened by konnov over 1 year ago

#1059 - Wrap `QuintInt`'s value in string on JSON export

Issue - State: closed - Opened by thpani over 1 year ago - 1 comment

#1058 - Use `Either` instead of `Option` in `RuntimeValue`

Issue - State: closed - Opened by konnov over 1 year ago
Labels: usability, simulator, tech-debt, repl

#1057 - Remove redundant type constraints on record label strings

Pull Request - State: closed - Opened by shonfeder over 1 year ago

#1056 - Output the execution stack on undefined values in REPL

Pull Request - State: closed - Opened by konnov over 1 year ago
Labels: Frepl

#1055 - `quint verify` converts big integers to `MAX_INT` somewhere

Issue - State: closed - Opened by konnov over 1 year ago - 5 comments
Labels: bug, Ftranspiler (phase 5b)

#1054 - Records operators don't type check argument arity correctly

Issue - State: closed - Opened by shonfeder over 1 year ago - 1 comment
Labels: bug, Ftypecheck (phase 4)

#1053 - Type checks on some ill-formed record operators crashes with an uncaught `TypeError`

Issue - State: closed - Opened by shonfeder over 1 year ago - 2 comments
Labels: bug, Ftypecheck (phase 4)

#1052 - Remove `compileFromCode` and use more appropriate interfaces

Issue - State: closed - Opened by bugarela over 1 year ago - 2 comments

#1051 - Remove wrapper `__run__` module from simulation

Pull Request - State: closed - Opened by bugarela over 1 year ago - 6 comments

#1050 - produce a friendlier error on const

Pull Request - State: closed - Opened by konnov over 1 year ago

#1049 - Fix prisoners for examples dashboard

Pull Request - State: closed - Opened by thpani over 1 year ago - 1 comment

#1048 - Improve error message when `run`ning a parameterized module

Issue - State: closed - Opened by thpani over 1 year ago
Labels: bug, usability

#1047 - Fix `SimpleAuction` example for dashboard

Pull Request - State: closed - Opened by thpani over 1 year ago - 1 comment

#1046 - `pure def` is not guaranteed to be referentialy transparent

Issue - State: open - Opened by shonfeder over 1 year ago - 1 comment
Labels: Feffects (phase 3)

#1045 - Nullary operators defined in the REPL cannot be invoked

Issue - State: closed - Opened by shonfeder over 1 year ago - 2 comments
Labels: bug, Feffects (phase 3)

#1044 - Extend CosmWasm example with state machine + invariants

Pull Request - State: closed - Opened by thpani over 1 year ago - 1 comment

#1043 - Integrate vscode telemetry

Issue - State: open - Opened by konnov over 1 year ago
Labels: vscode

#1042 - Lambda nesting issue in simulator

Issue - State: open - Opened by thpani over 1 year ago - 1 comment
Labels: bug, Fsimulator (phase 5a)

#1040 - Inconsistent evaluation when a name is a state variable and a parameter in another module

Issue - State: closed - Opened by bugarela over 1 year ago - 2 comments
Labels: bug

#1039 - Only create a `__repl__` module when a main module is not available

Pull Request - State: closed - Opened by bugarela over 1 year ago - 1 comment

#1037 - Fix more examples

Pull Request - State: closed - Opened by shonfeder over 1 year ago

#1036 - WIP: Fix #1035

Pull Request - State: closed - Opened by shonfeder over 1 year ago - 4 comments

#1035 - Name resolution can fail in the simulator depending on operator order

Issue - State: closed - Opened by shonfeder over 1 year ago - 2 comments

#1034 - Support conversion of sum types in Apalache

Issue - State: closed - Opened by shonfeder over 1 year ago - 10 comments

#1033 - Support sum types in the simulator

Issue - State: closed - Opened by shonfeder over 1 year ago

#1033 - Support sum types in the simulator

Issue - State: open - Opened by shonfeder over 1 year ago

#1033 - Support sum types in the simulator

Issue - State: open - Opened by shonfeder over 1 year ago

#1032 - Flattening breaks instance overriding if constants have multiple names

Issue - State: closed - Opened by bugarela over 1 year ago - 2 comments
Labels: bug

#1031 - Fix missing name resolution error in incremental compilation

Pull Request - State: closed - Opened by bugarela over 1 year ago
Labels: bug

#1030 - Fix exporting modules that were imported with a qualifier

Pull Request - State: closed - Opened by bugarela over 1 year ago - 2 comments
Labels: bug

#1023 - Rearranging modules in the Tendermint spec

Pull Request - State: closed - Opened by konnov over 1 year ago - 8 comments

#1019 - `icse23` uses a parameter as upper bound to `range()`

Issue - State: open - Opened by thpani over 1 year ago - 1 comment
Labels: example

#1014 - Static analysis passes should return lists of `QuintError`

Issue - State: closed - Opened by bugarela over 1 year ago
Labels: refactoring

#1009 - Sort modules according to import/export dependencies

Issue - State: closed - Opened by konnov over 1 year ago
Labels: Fparser (phase 1), impact-low, effort-easy

#1009 - Sort modules according to import/export dependencies

Issue - State: closed - Opened by konnov over 1 year ago
Labels: Fparser (phase 1), impact-low, effort-easy

#1005 - Install GNU parallel on macOS runner

Pull Request - State: closed - Opened by thpani over 1 year ago - 2 comments

#987 - Implement `listSorted`

Issue - State: open - Opened by konnov over 1 year ago - 3 comments
Labels: blocked, example

#975 - refactoring the ics23 spec

Pull Request - State: open - Opened by konnov over 1 year ago - 2 comments

#954 - REPL returns `<undefined value>` instead of failing, when picking from maps with unbounded (`Int`) codomains

Issue - State: closed - Opened by Kukovec over 1 year ago - 1 comment
Labels: bug, W3, Frepl

#934 - Make name resolution incremental

Issue - State: closed - Opened by bugarela over 1 year ago
Labels: repl, performance

#931 - Document the "software specification and development life cycle"

Issue - State: open - Opened by shonfeder over 1 year ago - 6 comments
Labels: doc

#924 - `<undefined value>` in the REPL when evaluating

Issue - State: closed - Opened by shonfeder over 1 year ago - 5 comments
Labels: bug, simulator, feedback

#923 - Deprecate and remove the ambiguous form of type annotation

Issue - State: open - Opened by shonfeder over 1 year ago - 4 comments
Labels: bug, usability, language design

#910 - Proof of concept: incremental compilation

Pull Request - State: closed - Opened by bugarela over 1 year ago

#901 - Generic-like syntax for quantified types

Issue - State: open - Opened by bugarela over 1 year ago - 1 comment

#900 - Prepare quint for LSP hover improvements

Pull Request - State: open - Opened by bugarela over 1 year ago

#899 - Implement import... from for instances

Pull Request - State: closed - Opened by konnov over 1 year ago

#898 - Simulator should produce a minimal violated invariant

Issue - State: open - Opened by konnov over 1 year ago - 1 comment
Labels: usability, simulator, feedback

#897 - VSCode plugin hovers are too noisy

Issue - State: open - Opened by bugarela over 1 year ago
Labels: Fvscode, usability

#896 - Quint-Apalache fails on counters.qnt

Issue - State: open - Opened by konnov over 1 year ago
Labels: Ftranspiler (phase 5b)

#895 - Implement a simple profiler in the simulator

Issue - State: open - Opened by konnov over 1 year ago
Labels: usability, Fsimulator (phase 5a)

#894 - Introduce an ItfTrace type

Pull Request - State: closed - Opened by shonfeder over 1 year ago

#893 - Ensure parsing diagnostics are not overwritten

Pull Request - State: closed - Opened by bugarela over 1 year ago

#891 - Instantiating a module from a file is not supported by the grammar

Issue - State: closed - Opened by lasarojc over 1 year ago
Labels: usability, feedback

#890 - Save ITF traces in `test`

Pull Request - State: closed - Opened by konnov over 1 year ago
Labels: Fsimulator (phase 5a), demo

#889 - The VS Code plugin is very big in disk size

Issue - State: open - Opened by cason over 1 year ago - 1 comment
Labels: Fvscode

#888 - Handle all verification errors

Issue - State: closed - Opened by shonfeder over 1 year ago - 1 comment

#886 - When `run` is evaluated, it should emit a trace

Issue - State: open - Opened by konnov over 1 year ago
Labels: simulator

#885 - Adding bluespec mode to ics23.qnt

Pull Request - State: closed - Opened by josef-widder over 1 year ago

#884 - save ITF traces in tests

Pull Request - State: closed - Opened by konnov over 1 year ago - 1 comment

#883 - Releases on GH don't include change log

Issue - State: open - Opened by shonfeder over 1 year ago

#882 - Update ICS 20 readme

Pull Request - State: closed - Opened by thpani over 1 year ago

#881 - Syntax issue with a zero-argument pure function

Issue - State: open - Opened by otrack over 1 year ago - 3 comments
Labels: bug, usability

#880 - Introduce spread syntax for record updates

Pull Request - State: closed - Opened by konnov over 1 year ago - 1 comment

#879 - Failing Windows integration test on `import`

Issue - State: closed - Opened by thpani over 1 year ago
Labels: bug

#878 - forgotten changes in the pretty-printer

Pull Request - State: closed - Opened by konnov over 1 year ago

#877 - Optionally save ITF traces for passing and failing tests

Issue - State: closed - Opened by konnov over 1 year ago
Labels: usability, Fsimulator (phase 5a), demo

#876 - Introduce a surface syntax for record updates

Issue - State: closed - Opened by konnov over 1 year ago - 4 comments
Labels: usability, Flanguage, feedback

#875 - Fix linting/formatting configuration

Pull Request - State: closed - Opened by shonfeder over 1 year ago

#874 - ICS20 test based on `transfer_test.go`

Pull Request - State: closed - Opened by bugarela over 1 year ago - 3 comments

#873 - Make CLI commands async

Pull Request - State: closed - Opened by shonfeder over 1 year ago

#872 - Asyncify CLI

Issue - State: closed - Opened by shonfeder over 1 year ago

#871 - Add Apalache server integration

Pull Request - State: closed - Opened by shonfeder over 1 year ago - 2 comments

#870 - Add pretty-printing in REPL

Pull Request - State: closed - Opened by konnov over 1 year ago - 1 comment

#869 - Refactor and generalize error reporting architecture

Issue - State: open - Opened by shonfeder over 1 year ago

#868 - Bad error message when `pure val` is used in a `pure def`

Issue - State: closed - Opened by lasarojc over 1 year ago - 3 comments
Labels: bug

#867 - Wrong version of Node.js

Issue - State: closed - Opened by otrack over 1 year ago - 2 comments
Labels: doc, devops

#866 - User stories for interaction with traces

Pull Request - State: closed - Opened by konnov over 1 year ago - 1 comment
Labels: usability, architecture

#865 - Add timeout handling to ICS-20 spec

Pull Request - State: closed - Opened by thpani over 1 year ago

#864 - Add LSP handler for `textDocument/documentSymbol`

Pull Request - State: closed - Opened by thpani over 1 year ago

#863 - REPL throws on naming conflict

Issue - State: closed - Opened by thpani over 1 year ago - 3 comments
Labels: bug

#862 - VSCode Release v0.4.0

Pull Request - State: closed - Opened by bugarela over 1 year ago

#861 - Release v0.10.0

Pull Request - State: closed - Opened by bugarela over 1 year ago - 1 comment

#860 - Avoid large copies by using original maps in the language server implementation

Issue - State: open - Opened by bugarela over 1 year ago
Labels: Fvscode, impact-low, effort-easy

#859 - Language server performance boost & support for multiple files

Pull Request - State: closed - Opened by bugarela over 1 year ago

#858 - Extend ICS-20 spec with failed acks

Pull Request - State: closed - Opened by thpani over 1 year ago

#857 - Add a make target to generate the table of contents for doc/lang.md

Issue - State: closed - Opened by konnov over 1 year ago - 1 comment

#856 - Improve ICS20 denom trace interface

Pull Request - State: closed - Opened by bugarela over 1 year ago

#855 - Introduce `reps` instead of `repeated`

Pull Request - State: closed - Opened by konnov over 1 year ago - 5 comments

#854 - The simulator should introduce a new frame on a new action

Issue - State: closed - Opened by konnov over 1 year ago
Labels: usability, impact-medium, effort-medium, Frepl

#853 - Add a feature that enables string output for debugging purposes

Issue - State: open - Opened by konnov over 1 year ago
Labels: usability, Flanguage, feedback

#852 - Cleanup CLI

Pull Request - State: closed - Opened by shonfeder over 1 year ago - 2 comments