Gabriela Moreira
Gabriela Moreira
Hey, I noticed the instagram icon was the old one, so I changed the stuff to host FontAwesome 5.4.2 :)
`ConstSimplifier` already handles many arithmetical and logical simplifications, but does nothing over sets. Examples: - `{1, 2} \union {3}` could be simplified to `{1,2,3}` - `{1, 2} \setminus {2}` could...
According to [VSCode docs](https://code.visualstudio.com/api/extension-guides/file-icon-theme#language-default-icons), language contributors can define a custom icon for the language. I've done this, but the icon alignment between my custom icon and the others looks quite...
I ran your notebooks with a Python 3 kernel with updated libraries. I made the necessary changes to achieve compatibility, and also the URL for the canada climate data was...
Even after https://github.com/informalsystems/apalache/pull/2869, I still found a case where we produce `[]`. TLC doesn't recognize this token properly, and as per the PR, we should be printing `"U_OF_UNIT"` instead.
If the init action refers to vars, the simulator breaks. Instead, we should properly report/explain the error. MWE: ```bluespec module test { var x: int action init = x' =...
It complains about a record. We should figure out that there is an operator with that name and complain about missing parenthesis instead. ``` quint typecheck test.qnt test.qnt:2:28 - error:...
I'm exploring inductive invariants in Quint with Apalache, and it seems to be achieavable with some tweaks to the interface and mode verification for Init. See this example (from the...
For now, the REPL only supports parsing multiline things when there is some sort of open braces that still need to be closed when a newline appears. We should take...
If the `if` statement is inside an operator call (or probably anything), the parser loses track of the missing parenthesis error, and the reported error is almost meaningless: ```bluespec module...