Skip to content

Activity

Showing most recent first

Merge pull request #1600 from tcpdumppy/main

Pull request merge
bugarelapushed 3 commits to main • b87e24a…2c378f7 • 
2 days ago

Deleted branch

bugareladeleted consensus-example-violation • 
2 days ago

Merge pull request #1601 from informalsystems/consensus-example-viola…

Pull request merge
bugarelapushed 3 commits to main • 790e35b…b87e24a • 
2 days ago

Revert init change and use a bigger domain instead

bugarelapushed 1 commit to consensus-example-violation • 6c76880…e0a0280 • 
2 days ago

Output main module name

bugarelapushed 52 commits to gabriela/compile-optional-flattening • 88698c8…50b401e • 
2 days ago

Improve comments and init to enable finding violation

bugarelacreated consensus-example-violation • 6c76880 • 
3 days ago

Deleted branch

bugareladeleted tatjana/consensus-example-k-set • 
3 days ago

Merge pull request #1547 from informalsystems/tatjana/consensus-examp…

Pull request merge
bugarelapushed 15 commits to main • 6355e02…790e35b • 
3 days ago

Deleted branch

bugareladeleted josef/fixKset • 
3 days ago

Merge pull request #1599 from informalsystems/josef/fixKset

Pull request merge
bugarelapushed 23 commits to tatjana/consensus-example-k-set • 1a3f78c…392f1cb • 
3 days ago

Update commands on comments and on script

bugarelapushed 2 commits to josef/fixKset • 883cc2c…b43f30c • 
3 days ago

Update examples dashboard

bugarelapushed 18 commits to josef/fixKset • fa22e94…883cc2c • 
3 days ago

Merge pull request #1597 from dramarereg/main

Pull request merge
bugarelapushed 12 commits to main • a152f00…6355e02 • 
5 days ago

Merge pull request #1598 from famouswizard/patch-1

Pull request merge
bugarelapushed 2 commits to main • 481b8ee…a152f00 • 
5 days ago

fix to violated agreement scenarios

josef-widderpushed 1 commit to josef/fixKset • 179eb51…fa22e94 • 
6 days ago

start fix

josef-widdercreated josef/fixKset • 179eb51 • 
6 days ago

Merge branch 'main' into tatjana/consensus-example-k-set

josef-widderpushed 98 commits to tatjana/consensus-example-k-set • f26a826…1a3f78c • 
6 days ago

Add option to not flatten in quint compile

bugarelacreated gabriela/compile-optional-flattening • 88698c8 • 
10 days ago

Merge pull request #1596 from skade/patch-1

Pull request merge
bugarelapushed 2 commits to main • 685d1fa…481b8ee • 
11 days ago

Deleted branch

bugareladeleted fix-docs-link • 
16 days ago

Merge pull request #1595 from informalsystems/fix-docs-link

Pull request merge
bugarelapushed 2 commits to main • ab33123…685d1fa • 
16 days ago

Fix documentation link

bugarelacreated fix-docs-link • 6985433 • 
16 days ago

Deleted branch

bugareladeleted gabriela/basic-docs • 
19 days ago

Merge pull request #1587 from informalsystems/gabriela/basic-docs

Pull request merge
bugarelapushed 17 commits to main • a69607f…ab33123 • 
19 days ago

Improve the REPL guide intro

bugarelapushed 3 commits to gabriela/basic-docs • 621ff23…064ed41 • 
19 days ago

Remove old header from some files

bugarelapushed 1 commit to gabriela/basic-docs • 4e8ccb3…621ff23 • 
25 days ago

Cleanup extra files

bugarelapushed 1 commit to gabriela/basic-docs • 15b93b3…4e8ccb3 • 
25 days ago

Merge branch 'main' into gabriela/basic-docs

bugarelapushed 69 commits to gabriela/basic-docs • 2d091c7…15b93b3 • 
on Feb 4

Add a page on "Why?"

bugarelapushed 1 commit to gabriela/basic-docs • 1d7257e…2d091c7 • 
on Feb 3

Write page about properties and link MBT on its page

bugarelapushed 1 commit to gabriela/basic-docs • 730cbaf…1d7257e • 
on Feb 3