Ecosyste.ms: Issues

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

GitHub / verse-lab/toychain issues and pull requests

#30 - Moving Toychain to Coq 8.11

Pull Request - State: closed - Opened by ilyasergey almost 5 years ago - 1 comment

#29 - Fix compilation of SeqFacts.v with mathcomp dev's branch

Pull Request - State: closed - Opened by germanD about 5 years ago - 10 comments

#28 - Fixing compilation with coq/mathComp dev

Issue - State: closed - Opened by germanD about 5 years ago - 1 comment

#27 - add node extraction and compilation to CI

Pull Request - State: closed - Opened by palmskog over 5 years ago

#26 - Mathcomp 1.9.0 compatibility

Pull Request - State: closed - Opened by palmskog over 5 years ago - 1 comment

#25 - Refinement before extraction

Issue - State: open - Opened by palmskog over 5 years ago

#24 - Extraction

Pull Request - State: closed - Opened by palmskog almost 6 years ago

#23 - update to OPAM 2 and add Travis config from Coq-community

Pull Request - State: closed - Opened by palmskog almost 6 years ago - 1 comment

#22 - Toychain extraction

Pull Request - State: closed - Opened by dranov almost 6 years ago - 6 comments

#21 - Remove hash injectivity, init_hash, VAF_nocycle

Pull Request - State: closed - Opened by dranov almost 6 years ago

#20 - Supports 8.9

Pull Request - State: closed - Opened by palmskog almost 6 years ago - 2 comments

#19 - Extraction

Pull Request - State: closed - Opened by oscar-king over 6 years ago - 1 comment

#18 - Incorporate VAF into chain validity checking

Pull Request - State: closed - Opened by palmskog almost 7 years ago - 1 comment

#17 - Calling VAF on received block

Issue - State: closed - Opened by palmskog almost 7 years ago - 2 comments

#16 - Port to FCSL PCM library

Pull Request - State: closed - Opened by palmskog almost 7 years ago - 6 comments

#15 - possibility of silent AddrMsg processing

Pull Request - State: closed - Opened by palmskog almost 7 years ago - 1 comment

#14 - Modify genProof to allow coinbase transactions

Pull Request - State: closed - Opened by palmskog almost 7 years ago - 1 comment

#13 - Weakening hash function injectivity property

Issue - State: closed - Opened by palmskog almost 7 years ago - 1 comment

#12 - Toychain as a library

Issue - State: closed - Opened by palmskog almost 7 years ago - 1 comment

#11 - Structure for Toychain instances

Issue - State: closed - Opened by palmskog almost 7 years ago - 1 comment

#10 - Rely on HTT library from IMDEA instead of Heaps directory

Issue - State: closed - Opened by palmskog almost 7 years ago - 1 comment

#9 - Metadata for Travis

Pull Request - State: closed - Opened by palmskog almost 7 years ago - 7 comments

#8 - Change VAF and genProof signatures to be Bitcoin-compatible

Pull Request - State: closed - Opened by palmskog almost 7 years ago

#7 - Remove NullMsg

Pull Request - State: closed - Opened by palmskog almost 7 years ago

#6 - use arbitrary finType for Address instead of nat

Pull Request - State: closed - Opened by palmskog almost 7 years ago - 1 comment

#5 - remove redundant GetDataMsg code in procMsg

Pull Request - State: closed - Opened by palmskog about 7 years ago - 4 comments

#4 - change all uses of nid to Address, and remove nid type definition

Pull Request - State: closed - Opened by palmskog about 7 years ago

#3 - Address vs. nid types

Issue - State: closed - Opened by palmskog about 7 years ago - 2 comments

#2 - Merge blocktree-implement into inv-restate

Pull Request - State: closed - Opened by dranov over 7 years ago

#1 - Introduce notion of time, make siginificant progress with invariant

Pull Request - State: closed - Opened by dranov over 7 years ago