Skip to content

Pull requests: cbc-casper/cbc-casper-paper

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Fix m1 to m_1
#27 opened Feb 26, 2019 by nrryuya Loading…
Replace "less than" with "not more than"
#26 opened Feb 25, 2019 by nrryuya Loading…
Replace a period in a sentence with a comma
#25 opened Feb 18, 2019 by nrryuya Loading…
Fix the type signature of Later_From
#24 opened Feb 11, 2019 by nrryuya Loading…
add current version of safety oracle
#13 opened Nov 29, 2018 by naterush Loading…
3 tasks
ProTip! Follow long discussions with comments:>50.