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
#1099 - Store `QuintDef` and `QuintLambdaParameter` in the lookup table
Issue -
State: closed - Opened by bugarela about 1 year ago
#1098 - Extract definition manipulation utility from the current 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)
#1041 - Use the main module instead of creating a `__run__` module in `run`.
Issue -
State: closed - Opened by bugarela about 1 year ago
#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
#1038 - Use `parallel --embed` to drop the dep. on gnu parallel for the `examples/README.md`
Issue -
State: open - Opened by shonfeder about 1 year ago
#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