Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / mlabs-haskell/grandpa-formal-verification issues and pull requests

#34 - Update of M2 with things of M3

Pull Request - State: closed - Opened by Luis-omega 5 months ago

#34 - Update of M2 with things of M3

Pull Request - State: closed - Opened by Luis-omega 5 months ago

#33 - 3.1

Pull Request - State: closed - Opened by Luis-omega 7 months ago

#33 - 3.1

Pull Request - State: closed - Opened by Luis-omega 7 months ago

#32 - Cleanup

Pull Request - State: closed - Opened by Luis-omega 7 months ago

#32 - Cleanup

Pull Request - State: closed - Opened by Luis-omega 7 months ago

#31 - Luis omega/m2 patch

Pull Request - State: closed - Opened by Luis-omega 7 months ago

#31 - Luis omega/m2 patch

Pull Request - State: closed - Opened by Luis-omega 7 months ago

#30 - Milestone2

Pull Request - State: closed - Opened by Luis-omega 7 months ago

#29 - Luis omega/milestone 1

Pull Request - State: closed - Opened by AltiMario 10 months ago

#29 - Luis omega/milestone 1

Pull Request - State: closed - Opened by AltiMario 10 months ago

#28 - Finish 1.6 and 1.7

Pull Request - State: closed - Opened by Luis-omega 10 months ago

#28 - Finish 1.6 and 1.7

Pull Request - State: closed - Opened by Luis-omega 10 months ago

#27 - implementation of grandpa protol, and proofs of lemmas of section2

Pull Request - State: closed - Opened by Luis-omega 10 months ago

#27 - implementation of grandpa protol, and proofs of lemmas of section2

Pull Request - State: closed - Opened by Luis-omega 10 months ago

#26 - Luis omega/grandpa protocol

Pull Request - State: closed - Opened by Luis-omega 11 months ago - 1 comment

#25 - Implementation of g

Pull Request - State: closed - Opened by Luis-omega 11 months ago

#24 - List of structures

Pull Request - State: closed - Opened by Luis-omega 12 months ago - 2 comments

#24 - List of structures

Pull Request - State: closed - Opened by Luis-omega 12 months ago - 2 comments

#23 - Luis omega/set-up

Pull Request - State: closed - Opened by Luis-omega 12 months ago - 1 comment

#23 - Luis omega/set-up

Pull Request - State: closed - Opened by Luis-omega 12 months ago - 1 comment

#22 - 1.00 Coq Setup

Issue - State: closed - Opened by Luis-omega 12 months ago

#22 - 1.00 Coq Setup

Issue - State: closed - Opened by Luis-omega 12 months ago

#20 - 3.8 Proof of intermediate lemmas

Issue - State: open - Opened by AltiMario 12 months ago

#19 - 3.7 Proof of lemma 4.9

Issue - State: open - Opened by AltiMario 12 months ago

#19 - 3.7 Proof of lemma 4.9

Issue - State: open - Opened by AltiMario 12 months ago

#18 - 3.6 Proof of lemma 4.8

Issue - State: open - Opened by AltiMario 12 months ago

#18 - 3.6 Proof of lemma 4.8

Issue - State: open - Opened by AltiMario 12 months ago

#17 - 3.5 Proof of lemma 4.7

Issue - State: open - Opened by AltiMario 12 months ago

#16 - 3.4 Proof of lemma 4.6

Issue - State: open - Opened by AltiMario 12 months ago

#16 - 3.4 Proof of lemma 4.6

Issue - State: open - Opened by AltiMario 12 months ago

#15 - 3.3 Proof of lemma 4.5

Issue - State: open - Opened by AltiMario 12 months ago

#15 - 3.3 Proof of lemma 4.5

Issue - State: open - Opened by AltiMario 12 months ago

#14 - 3.2 Proof of lemma 4.4

Issue - State: open - Opened by AltiMario 12 months ago

#13 - 3.1 Statements to prove in COQ

Issue - State: open - Opened by AltiMario 12 months ago

#13 - 3.1 Statements to prove in COQ

Issue - State: open - Opened by AltiMario 12 months ago

#12 - 2.5 Proof of intermediate lemmas

Issue - State: closed - Opened by AltiMario 12 months ago

#12 - 2.5 Proof of intermediate lemmas

Issue - State: closed - Opened by AltiMario 12 months ago

#11 - 2.4 Proof of Corollary

Issue - State: closed - Opened by AltiMario 12 months ago

#11 - 2.4 Proof of Corollary

Issue - State: closed - Opened by AltiMario 12 months ago

#10 - 2.3 Proof of Theorem

Issue - State: closed - Opened by AltiMario 12 months ago

#9 - 2.2 Proof of the lemma 4.2

Issue - State: closed - Opened by AltiMario 12 months ago

#8 - 2.1 Statements to prove in COQ

Issue - State: closed - Opened by AltiMario 12 months ago

#7 - 1.7 Proof of lemma

Issue - State: closed - Opened by AltiMario 12 months ago

#6 - 1.6 Implementation of GRANDPA via interface

Issue - State: closed - Opened by AltiMario 12 months ago

#5 - 1.5 Implementation of G function

Issue - State: closed - Opened by AltiMario 12 months ago

#4 - 1.4 Write Statements

Issue - State: closed - Opened by AltiMario 12 months ago

#3 - 1.3 Write Interface

Issue - State: closed - Opened by AltiMario 12 months ago - 1 comment

#2 - 1.2 Split list structures

Issue - State: closed - Opened by AltiMario 12 months ago

#1 - 1.1 List structures

Issue - State: closed - Opened by AltiMario 12 months ago - 1 comment