shonfeder
Follow
Pinned
5,757 contributions in the last year
Activity overview
Contributed to
informalsystems/quint,
informalsystems/apalache,
informalsystems/quint-ml-experiments
and 32 other
repositories
Contribution activity
November 2023
Created 55 commits in 4 repositories
Created 1 repository
-
shonfeder/quint-ml-experiments
F*
This contribution was made on Nov 9
Created a pull request in informalsystems/quint that received 5 comments
Add support for sum types in the simulator
Closes #1033 Adds support for sum types to the compiler (and so the simulator): Generalizes the REPL so it can compile all the declarations parsed…
+182
−37
lines changed
•
5
comments
Opened 10 other pull requests in 2 repositories
informalsystems/quint
1
open
6
merged
1
closed
-
WIP: Use sum types for tictactoe example
This contribution was made on Nov 28
-
Fix line length lints
This contribution was made on Nov 23
-
VSCode Release v0.11.0
This contribution was made on Nov 20
-
Release v0.16.0
This contribution was made on Nov 20
-
Release v0.16.0
This contribution was made on Nov 20
-
Document sum types
This contribution was made on Nov 18
-
Remove Deprecated Union Types
This contribution was made on Nov 13
-
Fix handling of wildcard match cases
This contribution was made on Nov 10
informalsystems/apalache
1
open
1
merged
-
Support quint sum types
This contribution was made on Nov 26
-
Add case to handle oneOf outside of nondet
This contribution was made on Nov 24
Reviewed 19 pull requests in 2 repositories
informalsystems/quint
15 pull requests
-
Fix effect signature for the
matchoperatorThis contribution was made on Nov 27 -
Toposort on modules
This contribution was made on Nov 27
-
Add
debugbuilt-inThis contribution was made on Nov 24 -
Add publishing instruction for the language server npm package
This contribution was made on Nov 23
-
Fix the default module in
quint runandquint testThis contribution was made on Nov 21 -
update the cheatsheet with the sum types
This contribution was made on Nov 21
-
Document sum types
This contribution was made on Nov 20
-
Add ADR008: Obtaining and Launching Apalache
This contribution was made on Nov 15
-
Remove Deprecated Union Types
This contribution was made on Nov 14
-
VSCode Release v0.10.0
This contribution was made on Nov 8
-
Release v0.15.0
This contribution was made on Nov 8
-
Bounded unsigned integer spells
This contribution was made on Nov 8
-
[Re-opening] Improve error recoverability in
ToIrListenerThis contribution was made on Nov 7 -
Add type and effect checking for
matchexpressionsThis contribution was made on Nov 7 -
Fix broken link
This contribution was made on Nov 3
informalsystems/apalache
4 pull requests
-
Support quint sum types
This contribution was made on Nov 27
-
Upgrade dependencies to Guice 7
This contribution was made on Nov 23
-
Update scalafmt-core to 3.7.17
This contribution was made on Nov 20
-
Throw error when attempting to construct a UNION of function sets
This contribution was made on Nov 13
Created an issue in informalsystems/quint that received 2 comments
Multiple updates of variable aren't that helpful
Given
module M { var v: int action duplicate_update = all { v' = 1, v' = 0, } }
The effect checker correctly raises an error due to the duplicate …
2
comments
Opened 5 other issues in 2 repositories
informalsystems/quint
2
open
2
closed
-
Write RFC for effect annotations
This contribution was made on Nov 27
-
quint testrun produces itf traces without the last stateThis contribution was made on Nov 23 -
Update cheatsheet with syntax for sum types
This contribution was made on Nov 18
-
Document sum types
This contribution was made on Nov 10
informalsystems/apalache
1
closed
-
Add warning for misplaced occurrence of
oneOfwhen parsing from quintThis contribution was made on Nov 10
355
contributions
in private repositories
Nov 1 – Nov 28