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

#1133 - trace output by `test` disregards the last action

Issue - State: closed - Opened by ivan-gavran about 1 year ago - 10 comments
Labels: bug, W8, Fsimulator (phase 5a)

#1132 - Respect XDG Base Directory Specification

Issue - State: open - Opened by lorenzleutgeb about 1 year ago - 3 comments
Labels: feedback

#1131 - VSCode Extension: Make Available in Web

Issue - State: closed - Opened by lorenzleutgeb about 1 year ago - 2 comments

#1130 - Release v0.14.1

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

#1129 - Pin @sweet-monads packages to 3.2.0

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

#1128 - Usability feedback from modelling Interchain Security

Issue - State: closed - Opened by p-offtermatt about 1 year ago - 1 comment
Labels: feedback

#1127 - VSCode Release v0.8.0

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

#1126 - Release v0.14.0

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

#1125 - Release v0.14.0

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

#1124 - `verify` is fragile due to dependency on github API

Issue - State: closed - Opened by shonfeder about 1 year ago - 9 comments

#1123 - add a link to JDK

Pull Request - State: closed - Opened by konnov about 1 year ago - 2 comments

#1122 - Print pretty messages in `quint verify`

Pull Request - State: closed - Opened by thpani about 1 year ago - 4 comments

#1121 - Make `quint verify` user friendly

Issue - State: closed - Opened by konnov about 1 year ago - 3 comments
Labels: Ftranspiler (phase 5b), usability, impact-high, effort-easy

#1120 - Introduce `--temporal` to `quint verify`

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

#1119 - New flattening

Pull Request - State: closed - Opened by bugarela about 1 year ago - 11 comments

#1118 - Instance flattener

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

#1117 - Syntax highlighting of temporal operators in vscode

Issue - State: open - Opened by konnov about 1 year ago
Labels: Fvscode, usability, impact-low, effort-easy

#1116 - Suggestions for #1115

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

#1115 - Manage Apalache server

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

#1114 - `reps` does not revert the state in the simulator

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

#1113 - Tuple unpacking

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

#1112 - Fix problem with loading module in the REPL

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

#1111 - Consider corner cases in namespace manipulation for flattening

Issue - State: open - Opened by bugarela about 1 year ago
Labels: flattening

#1110 - Update the landing page

Issue - State: closed - Opened by konnov about 1 year ago - 1 comment
Labels: doc

#1109 - New flattening for imports and exports

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

#1108 - Cyclic imports

Issue - State: closed - Opened by p-offtermatt about 1 year ago - 1 comment
Labels: bug, W3, Fparser (phase 1)

#1107 - Add toSet and toList spells

Pull Request - State: closed - Opened by p-offtermatt about 1 year ago - 3 comments

#1106 - Add ADR008: Obtaining and Launching Apalache

Pull Request - State: closed - Opened by thpani about 1 year ago - 3 comments

#1105 - Store the whole def in `Defintion` and introduce `QuintDeclaration`

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

#1104 - Namespacer and ID Refresher

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

#1103 - Make (the new) flattening incremental

Issue - State: closed - Opened by bugarela about 1 year ago
Labels: flattening

#1102 - Wire in the new flattening process

Issue - State: closed - Opened by bugarela about 1 year ago

#1101 - Implement the Instance Flattener

Issue - State: closed - Opened by bugarela about 1 year ago

#1100 - Implement the new flattener

Issue - State: closed - Opened by bugarela about 1 year ago

#1097 - Name resolution has issues when qualifiers conflict with modules

Issue - State: open - Opened by bugarela about 1 year ago - 2 comments
Labels: bug, name resolution, modularity

#1096 - Nesting actions does not work, when putting effects inline does

Issue - State: open - Opened by p-offtermatt about 1 year ago - 1 comment
Labels: usability, Flanguage

#1095 - Add mapRemoveAll to basic spells

Pull Request - State: closed - Opened by p-offtermatt about 1 year ago

#1094 - VSCode Release v0.7.0

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

#1093 - Add syntax for constructing and eliminating sum type values

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

#1092 - Fix non-exhaustive switches

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

#1091 - Weird behaviour of 'boolean' versus 'boolean == true'

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

#1090 - Release v0.13.0

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

#1089 - Add parsing of sum type declarations (#1088)

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

#1088 - Add parsing of sum type declarations

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

#1087 - Add ADR 7 on flattening

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

#1086 - Require record fields to be simple identifiers

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

#1085 - Refactor ToIrListener id generation

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

#1084 - Prepare parser for sum types syntax

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

#1083 - Refactor grammar and `ToIRVisitor`

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

#1082 - Add syntax for sum-types

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

#1081 - Introduce stronger lexical rules for identifiers

Issue - State: open - Opened by shonfeder about 1 year ago - 6 comments
Labels: language design, modularity

#1079 - Update example runner + dashboard for lightclient spec

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

#1078 - Add arity checks for tuple and record operators

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

#1077 - Track remaining issues in the examples dashboard

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

#1076 - Clean up example runner script

Issue - State: open - Opened by thpani about 1 year ago - 5 comments
Labels: tech-debt

#1075 - Use gRPC reflection to retrieve CmdExecutor file

Pull Request - State: closed - Opened by rnbguy about 1 year ago - 7 comments

#1074 - Fix the records.qnt example for verification

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

#1073 - Support user-defined polymorphic type constructors

Issue - State: closed - Opened by shonfeder about 1 year ago - 3 comments

#1072 - The REPL is not reporting some parsing errors

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

#1071 - Flattening - Meta issue

Issue - State: closed - Opened by bugarela about 1 year ago

#1070 - Update ICS20 spec for examples dashboard

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

#1069 - Estimate the number of visited states in the simulator

Issue - State: open - Opened by konnov about 1 year ago
Labels: usability, simulator

#1068 - Implement line coverage in the simulator

Issue - State: open - Opened by konnov about 1 year ago
Labels: simulator, product-audits

#1065 - Wrap `bigint`s into string in JSON serialization

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

#1064 - CLI should produce different error codes

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

#1063 - wrap formatError

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

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

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

#1061 - Error reporter fails during test

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

#1060 - Refactor value generators in the simulator

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

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

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

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

Issue - State: closed - Opened by konnov about 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 about 1 year ago

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

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

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

Issue - State: closed - Opened by konnov about 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 about 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 about 1 year ago - 2 comments
Labels: bug, Ftypecheck (phase 4)

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

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

#1051 - Remove wrapper `__run__` module from simulation

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

#1050 - produce a friendlier error on const

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

#1049 - Fix prisoners for examples dashboard

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

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

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

#1047 - Fix `SimpleAuction` example for dashboard

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

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

Issue - State: open - Opened by shonfeder about 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 about 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 about 1 year ago - 1 comment

#1043 - Integrate vscode telemetry

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

#1042 - Lambda nesting issue in simulator

Issue - State: open - Opened by thpani about 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 about 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 about 1 year ago - 1 comment

#1037 - Fix more examples

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

#1036 - WIP: Fix #1035

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

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

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

#1034 - Support conversion of sum types in Apalache

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

#1033 - Support sum types in the simulator

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

#1033 - Support sum types in the simulator

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

#1033 - Support sum types in the simulator

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