zunction/casper-cbc-proofs - GitHub Explorer | GitHub Explorer | Trending

Stars

0

Forks

0

Watchers

0

Open Issues

0

Repository Health Score

❤️

40/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

0%

Recent Commits

Trace from to rev ind (#197)

bmmoore•4 years ago

9249381View on GitHub

VLSM1: validity in projection (#194)

Jan Tusil•4 years ago

e32e749View on GitHub

trace_from_to (#193)

bmmoore•5 years ago

19cee46View on GitHub

Rewritten validating to assume reachability (#188)

Traian Florin Șerbănuță•5 years ago

07662f9View on GitHub

one top-level coqdoc heading per module, rearrange file listing in _CoqProject to match structure (#189)

Karl Palmskog•5 years ago

b08d98fView on GitHub

Fixed set equivocation proof (#179)

Traian Florin Șerbănuță•5 years ago

a5d325fView on GitHub

Extracting common CBC code to VLSM (#186)

Traian Florin Șerbănuță•5 years ago

2a3f919View on GitHub

Remove prod_relation, unused and can slow rewites (#185)

bmmoore•5 years ago

48e59e9View on GitHub

Mostly refactorings (#183)

Traian Florin Șerbănuță•5 years ago

f425a13View on GitHub

extract SumWeights.v (#184)

Jan Tusil•5 years ago

04500a5View on GitHub

The Common Futures Theorem for List Validators. (#174)

mcalancea•5 years ago

796fbbaView on GitHub

Basic generation of module dependency graphs (#181)

Karl Palmskog•5 years ago

6e5ff17View on GitHub

FullNode Validator has_been_sent/received stepwise. (#180)

mcalancea•5 years ago

773579cView on GitHub

Protocol prop base case (#178)

bmmoore•5 years ago

65970a4View on GitHub

Subset composition (#175)

Traian Florin Șerbănuță•5 years ago

411e16cView on GitHub

View all commits