logos-co/nomos-specs
1
0
Fork 0
mirror of https://github.com/logos-co/nomos-specs.git synced 2025-02-12 23:36:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
68 Commits 86 Branches 0 Tags 4.8 MiB
Commit Graph

68 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Giacomo Pasini
205d766d21
add disclaimer 2023-05-02 11:29:51 +02:00
Giacomo Pasini
3b8df69bb0
add informative comments and remove panic (#22) 2023-04-28 17:01:45 +02:00
danielsanchezq
8b67c30ba9 Extrac common assert on propose_block 2023-04-24 10:11:02 +02:00
Daniel Sanchez
436577b760
[WIP] Use events instead of send/broadcast methods (#21) 
* Remove send and broadcast, use events

* Adjust tests to use events

* Adjust unhappy path tests to use events

* Fix missing wrongly optional return types
 2023-04-21 13:22:34 +02:00
Giacomo Pasini
354e9f3e9d
Update view upon reception of timeout qc (#20) 
* update view upon reception of timeout qc

* only increase highest_voted_view

* fix comments
 2023-04-21 12:32:53 +02:00
danielsanchezq
690cc071db Refactor last_view_timeout_qc and update calls on unhappy path 2023-04-14 11:42:23 +02:00
Giacomo Pasini
c0eba7d8e8
Extract implicit information from safe blocks (#19) 
* extract implicit information from safe blocks

* fix test
 2023-04-13 15:40:02 +02:00
Giacomo Pasini
a291370096
Merge pull request #18 from logos-co/add-tests-to-ci 
add spec tests to ci
 2023-04-12 18:09:29 +02:00
Giacomo Pasini
cd64e41b2d
add spec tests to ci 2023-04-12 18:06:14 +02:00
danielsanchezq
ca97dbc82c Simplify approve block 2023-04-12 17:44:46 +02:00
danielsanchezq
570181bddc Add block assertions on mixed unhappy test 2023-04-12 16:20:59 +02:00
danielsanchezq
ef64e866cd Refactor timeout_high_qc test to use fail method 2023-04-12 16:12:33 +02:00
danielsanchezq
264ca71e6f Complete mix succeed fails unhappy test 2023-04-12 16:06:05 +02:00
danielsanchezq
90076fd3b1 Fix happy path current view after receiving block qc 2023-04-12 16:05:16 +02:00
danielsanchezq
30919dd85a Increment current view on reciving a new qc 
Refactor reset last timeout qc
 2023-04-12 16:04:55 +02:00
danielsanchezq
b9c13d3a94 Make unhappy test continuously timeout 2023-04-11 18:55:29 +02:00
danielsanchezq
409ae77349 Fix approve new view 2023-04-11 18:53:24 +02:00
danielsanchezq
dbc78d8cc6 Remove calls to safe_timeout invariant 2023-04-11 18:16:52 +02:00
danielsanchezq
9153c46351 Cleanup approve new view function 2023-04-11 17:57:01 +02:00
danielsanchezq
2faa30be55 Add missing assertion 2023-04-11 17:23:57 +02:00
Giacomo Pasini
6d86b131c4
Fix unhappy path tests (#17) 
* fix test

* get highest qc from new view votes
 2023-04-11 17:14:32 +02:00
Giacomo Pasini
8b44ca5fe0
Remove redundant code and fix commit parent (#16) 2023-04-11 15:03:10 +02:00
Daniel Sanchez
caea1b4116
Unhappy path base test assertions (#14) 
* Unhappy path tests replacing timeout msgs with NewView. Also revising the conditions to enter into the unhappy path.

* Unhappy path tests assertions.

* Fix assertions on test

* Cleanup

---------

Co-authored-by: mjalalzai <33738574+MForensic@users.noreply.github.com>
 2023-04-11 11:57:31 +02:00
danielsanchezq
3a598b23eb Implement first case of unhappy path with simple overlay 
Missing final assertions
 2023-04-10 20:08:23 +02:00
danielsanchezq
9496da8ad5 Fix unhappy path double increments 
Fill missing qc building implementations
 2023-04-10 20:08:00 +02:00
danielsanchezq
5ad1d7b90f Fix happy math mockoverlay missing methods 2023-04-10 18:14:38 +02:00
danielsanchezq
1cb757f040 Add is_safe_to_timeout checks on unhappy path methods 2023-04-10 18:13:37 +02:00
danielsanchezq
0922aec404 Extract MockCarnot in happy path tests 2023-04-10 10:50:40 +02:00
Daniel Sanchez
d8d22e7219
Overlay based happy tests (#11) 
* Cleanup

* Leaf committee member vote.

* Leaf committee member vote, test.

* Leaf committee member vote, test.

* Description

* Description

* Description-refactoring

* Cleanup

* Fix leaf votes test

* Clean overlay

* Test single committee advances

* Remove unhappy path test file

* Update carnot description

* Refactor local_timeout for NewView

* Fix unhappy path conditions and added broadcasting

* Unhappy path tests description

* Commit all grandparents of a block from latest_committed view

* Cleanup docs

* Add unhappy path test vector

* Remove block content

---------

Co-authored-by: mjalalzai <33738574+MForensic@users.noreply.github.com>
 2023-04-10 10:28:48 +02:00
Giacomo Pasini
541eb2f1b7
refactor 2023-04-05 15:27:26 +02:00
danielsanchezq
af685e62d8 Cleanup 2023-04-05 11:25:04 +02:00
mjalalzai
42a23d6a7b Make sure view changes are incrementally done in ascending order. 2023-04-04 18:15:48 -07:00
mjalalzai
37741364e4 Make sure view changes are incrementally done in ascending order. 2023-04-04 18:09:29 -07:00
mjalalzai
4b2e6638d6 Make sure view changes are incrementally done in ascending order. 2023-04-04 18:08:22 -07:00
mjalalzai
91c537271a views are sequential or consecutive. 2023-04-04 18:01:42 -07:00
danielsanchezq
a8cdc1576b Implement timeouts unhappy path 2023-04-04 20:20:59 +02:00
danielsanchezq
efce293d71 Fix timeout preconditions 2023-04-04 15:33:12 +02:00
danielsanchezq
9a65a7b9c5 Store just highest qc and aggregated views in AggregatedQc, 2023-04-03 19:33:02 +02:00
danielsanchezq
345c37f234 Add check for double view seen different block 2023-04-03 19:19:58 +02:00
danielsanchezq
805e716aa1 Fix all timeouts are from the same view in timeout call 2023-04-03 13:59:08 +02:00
danielsanchezq
72f4b5b795 Merge branch 'python-impl-Tests2' into python-impl 2023-04-03 13:54:43 +02:00
danielsanchezq
f92bb0bf15 Fix tests with block content and comments 2023-04-03 13:49:54 +02:00
danielsanchezq
ac09aaf9eb Added block content 2023-04-03 13:49:43 +02:00
danielsanchezq
25560c076c Update build timeout qc test 2023-04-03 11:09:11 +02:00
Daniel Sanchez
236fbab30a
Start unhappy path and update tests (#10) 
* Tests for updating latest_committed_view and high_qc.

* Vote tests

* Vote tests

* Get max timeout by highQC

* Received Votes tests

* Receive timeout msgs

* Receive timeout msgs

* Remove local files

* Stylish, adjustments and fixes

---------

Co-authored-by: mjalalzai <33738574+MForensic@users.noreply.github.com>
 2023-04-03 02:06:57 -07:00
danielsanchezq
00b650255c Stylish, adjustments and fixes 2023-04-03 11:02:58 +02:00
danielsanchezq
85066df832 Remove local files 2023-04-03 10:37:13 +02:00
mjalalzai
9aba275f72 Receive timeout msgs 2023-04-03 00:02:04 -07:00
mjalalzai
4d73ae89c3 Receive timeout msgs 2023-04-02 23:28:33 -07:00
mjalalzai
7ae4fef3de Merge remote-tracking branch 'origin/python-impl-Tests2' into python-impl-Tests2 
# Conflicts:
#	carnot/test_happy_path.py
 2023-04-01 15:26:20 -07:00