66 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
mjalalzai	30ebd96ebb	Vote tests	2023-04-01 08:09:39 -07:00
mjalalzai	7d0e84fd32	Vote tests	2023-04-01 00:35:13 -07:00
mjalalzai	f596893cd3	Tests for updating latest_committed_view and high_qc.	2023-03-31 14:19:11 -07:00
danielsanchezq	d056c6b2ab	Added base vote test	2023-03-31 14:30:11 +02:00
danielsanchezq	742227a01e	Add tests assertions	2023-03-31 12:58:46 +02:00
danielsanchezq	70bbba67cc	Fix commit grandparent	2023-03-31 12:58:35 +02:00
Daniel Sanchez	44253376bc	Python impl tests (#9) ... * Make easy tests * Made sure an old aggregatedQC is not used. * Test when a block has an old qc * adding highest voted view so that a node doesn't vote twice. * adding highest voted view so that a node doesn't vote twice. * Tests for voting * Tests for voting * Tests for voting * Tests for voting * Update test_happy_path.py --------- Co-authored-by: mjalalzai <33738574+MForensic@users.noreply.github.com>	2023-03-31 02:38:23 -07:00
danielsanchezq	5dedab1d2f	Make easy tests	2023-03-30 20:26:27 +02:00
danielsanchezq	53d7efbb67	Removed rusty_results dependency	2023-03-30 15:39:59 +02:00
danielsanchezq	750542769b	Added runnable carnot implementation bare bones	2023-03-30 15:23:54 +02:00
Giacomo Pasini	0603b98076	Add timeout handler	2023-03-30 10:54:10 +02:00
Giacomo Pasini	0adbf47306	use coarse grained events	2023-03-28 12:14:37 +02:00
Daniel Sanchez	26501440b1	Timout python version (#3)	2023-03-22 04:13:30 -07:00
Daniel Sanchez	dfbea2ce64	Added gitignore (#4)	2023-03-22 02:47:25 -07:00
Daniel Sanchez	4f6c297815	Initial python translation of specification (#1) ... * Added spec file Translate to python except unhappy path * Fix pr review comments Cleanup	2023-03-21 05:09:28 -07:00
Daniel Sanchez	0f0ccc3487	Initial commit	2023-03-20 06:07:52 -07:00