issues
search
informalsystems
/
partnership-heliax
1
stars
0
forks
source link
Integrate latests pseudocode-related PRs to Quint
#57
Closed
angbrav
closed
1 year ago
angbrav
commented
1 year ago
Integrates #53
Integrates #54
Integrates #55
Integrates #56
Comments out the slash_pool and all checks related
Better handling of the pace at which evidence is submitted
Adds Andrey' fractions library
Integrates Brent's scenario as a test