Skip to content
Snippets Groups Projects

Add the spanning tree algorithm.

Merged Add the spanning tree algorithm.
amin/spanning into master
1 unresolved thread
Merged Amin Timany requested to merge amin/spanning into master
1 unresolved thread

This closes #3 (closed).

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
README.md
30 30
31 31 * [barrier](theories/barrier): The implementation and proof of a barrier as
32 32 described in "Higher-Order Ghost State" <http://doi.acm.org/10.1145/2818638>.
33 * [spanning-tree](theories/spanning_tree): Proof of partial functional
34 correctness of a concurrent spanning tree algorithm
  • Amin Timany added 8 commits

    added 8 commits

    Compare with previous version

  • Ralf Jung
    Ralf Jung @jung
    Owner

    Oh and it seems when I fixed the trailing newline in _CoqProjects, I introduced a merge conflict. :/ Could you fix that? (And this time, make sure the file has the trailing newline it deserves. ;)

    EDIT: Ah, you're quicker than me :D

    Edited by Ralf Jung
  • Amin Timany
    Amin Timany @amintimany
    Author Developer

    Fixed and rebased. Can we trigger a CI on MR or should we merge it first?

  • Ralf Jung
    Ralf Jung @jung
    Owner

    You can have CI on your branches by calling them ci/amin/.... But for this one, let's just merge.

  • Ralf Jung merged

    merged

  • Ralf Jung mentioned in commit f4246d3a

    mentioned in commit f4246d3a

  • Ralf Jung mentioned in commit 0a54775b

    mentioned in commit 0a54775b

    • Please register or sign in to reply