Skip to content
GitLab
Explore
Sign in
distributed-systems
election
Repository
Branches
Overview
Active
Stale
All
wip/kevin/coinductiveRingModeling
e1f69cc1
·
Removed duplicated states in the agda model
·
Jul 28, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/davean/moore-model
8f620d08
·
hirschbergSinclair in stateful moore fashion.
·
Jul 16, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/carter/betterNamesCoinductiveCleanedupWithSerials
72efab85
·
Merge branch 'wip/carter/betterNamesCoinductiveCleanedupWithSerials' of...
·
Jul 14, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/carter/cleaner-svelter-monoids
72efab85
·
Merge branch 'wip/carter/betterNamesCoinductiveCleanedupWithSerials' of...
·
Jul 14, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/davean/coinductiveRingModeling
72efab85
·
Merge branch 'wip/carter/betterNamesCoinductiveCleanedupWithSerials' of...
·
Jul 14, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/carter/coinductiveRingThing
68cac383
·
strawman cleaner names for a while ago
·
Jul 13, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
89671aae
·
Add an election alg inspired by hirschbergSinclair but without a max distance,...
·
May 14, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar