informalsystems/quint issues and pull requests

#1259 - VSCode Release v0.11.0

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

#1258 - Release v0.16.0

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

#1257 - Release v0.16.0

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

#1257 - Release v0.16.0

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

#1256 - update the cheatsheet with the sum types

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

#1255 - Document sum types

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

#1255 - Document sum types

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

#1254 - Update cheatsheet with syntax for sum types

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

#1254 - Update cheatsheet with syntax for sum types

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

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

Issue - State: open - Opened by shonfeder about 1 year ago - 2 comments
Labels: usability, feedback

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

Issue - State: closed - Opened by bugarela about 1 year ago - 5 comments
Labels: Flanguage, research, feedback

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

Issue - State: closed - Opened by bugarela about 1 year ago - 5 comments
Labels: Flanguage, research, feedback

#1251 - ignore .DS_Store

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

#1250 - Consider supporting dynamic run steps

Issue - State: open - Opened by bugarela about 1 year ago - 5 comments
Labels: language design

#1249 - fix the antlr grammar

Pull Request - State: open - Opened by konnov about 1 year ago - 8 comments

#1248 - Explore further options for pinning Apalache release

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

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

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

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

Issue - State: open - Opened by konnov about 1 year ago
Labels: Fparser (phase 1)

#1246 - add frequently asked questions

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

#1246 - add frequently asked questions

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

#1245 - Remove Deprecated Union Types

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

#1245 - Remove Deprecated Union Types

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

#1244 - Document sum types

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

#1243 - Fix handling of wildcard match cases

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

#1242 - Add support for sum types in the simulator

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

#1241 - VSCode Release v0.10.0

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

#1240 - Release v0.15.0

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

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

Issue - State: open - Opened by bugarela about 1 year 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 about 1 year ago - 2 comments

#1237 - Refactoring parser tests

Pull Request - State: closed - Opened by konnov about 1 year 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 about 1 year ago - 15 comments
Labels: Flanguage

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

Issue - State: open - Opened by konnov about 1 year ago - 3 comments
Labels: Flanguage

#1235 - Error when running 'quint verify'

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

#1234 - Fix broken link

Pull Request - State: closed - Opened by p-offtermatt about 1 year ago - 2 comments
Labels: bug, doc

#1233 - Fix typos

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

#1232 - Add type and effect checking for `match` expressions

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

#1231 - Improve type checking error for sum-type constructors and eliminators

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

#1230 - Bounded unsigned integer spells

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

#1229 - Redundant error messages on wrong number of arguments

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

#1228 - [Re-opening] Improve error recoverability in `ToIrListener`

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

#1227 - Exploring the Ohmjs parser

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

#1226 - Add logo of Vienna business agency

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

#1225 - Format source file headers

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

#1224 - Fix problems reporting errors between multiple files

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

#1223 - Improve error recoverability in `ToIrListener`

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

#1222 - Fix const override test fixture

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

#1221 - extracting error explanation into a separate parser

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

#1220 - Error recovery between parsing phases

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

#1219 - Minor improvement request: Automatically detecting the main module even when it's not the same as the file name

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

#1218 - Fixes for `--apalache-config`

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

#1217 - Fix _1016nonConstOverride.qnt

Issue - State: closed - Opened by konnov about 1 year ago
Labels: refactoring, Fparser (phase 1)

#1216 - Properly override `checker.tuning`

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

#1215 - `verify --apalache-config` does not accept HOCON

Issue - State: closed - Opened by thpani about 1 year ago - 2 comments
Labels: bug

#1214 - Fix pure defs and vals in tutorial 4

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

#1213 - print the seed on success

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

#1212 - The type checker should reject operators that return operators

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

#1211 - `QuintError` everywhere

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

#1210 - remove the tuple unpacking code

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

#1209 - Add support for the `variant` operator in the type and effect system

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

#1208 - Special error for `val` vs `def` mode errors

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

#1206 - Add syntax for match and variant operators

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

#1205 - [LSP] Wrap parsing and analysis in `try...catch` block

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

#1204 - Apply improvements from effects system to the type system

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

#1203 - Fix effect substitutions, free names and unification of entities

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

#1202 - Syntax sugar for tuple unpacking

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

#1201 - VSCode Release v0.9.1

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

#1200 - Release v0.14.4

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

#1199 - Error in error reporting by the type checker

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

#1198 - Missing module name in error message

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

#1197 - Uncaught exception when `quint verify` is interrupted with ctr-c

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

#1196 - Introduce `--timeout` in `quint verify`

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

#1195 - Crashing when no main module is given

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

#1194 - Importing by path breaks on case-insensitive file systems

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

#1193 - Document how to use lmt for writing literate executable specs

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

#1192 - Crashing when lambda is used as value

Issue - State: open - Opened by bugarela about 1 year ago - 3 comments

#1191 - Add constant -> instance dependency to callgraph

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

#1190 - Workaround for state vars from instances in incremental compilation (REPL)

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

#1189 - Do not treat `A::Foo` as a type constant

Issue - State: open - Opened by konnov about 1 year ago
Labels: Ftypecheck (phase 4), usability

#1188 - Add --random-transitions to run Apalache symbolic simulator

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

#1187 - Lack of shadowing is confusing

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

#1186 - Test failures for tests in instanced modules do not give the right command to rerun

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

#1185 - Add support for `apalache simulate`

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

#1184 - How to run tests in deep modules?

Issue - State: closed - Opened by p-offtermatt about 1 year ago - 2 comments
Labels: bug, modularity, flattening

#1183 - Effect checker crashes

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

#1182 - Implement `assume` to check assumptions

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

#1181 - LSP configuration for Neovim

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

#1180 - `import... from...` in REPL does not work

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

#1180 - `import... from...` in REPL does not work

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

#1179 - one line fix

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

#1179 - one line fix

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

#1178 - Fix and update ewd840 spec

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

#1178 - Fix and update ewd840 spec

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

#1177 - Strange error location

Issue - State: open - Opened by p-offtermatt about 1 year ago - 1 comment
Labels: bug, Ftypecheck (phase 4), usability

#1177 - Strange error location given type annotation

Issue - State: closed - Opened by p-offtermatt about 1 year ago - 4 comments
Labels: bug, typechecker, usability, error messages

#1176 - Pin antlr4ts version

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

#1175 - Flattening is not hygienic with dependencies of importing a single name

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

#1174 - Errors in one file can be reported in other file

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

#1173 - VSCode Release v0.9.0

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

#1172 - Release v0.14.3

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

#1171 - Upgrade Github actions

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

GitHub / informalsystems/quint issues and pull requests