Commit Graph

  • af685e62d8 Cleanup danielsanchezq 2023-04-05 11:25:04 +02:00
  • 42a23d6a7b Make sure view changes are incrementally done in ascending order. mjalalzai 2023-04-04 18:15:48 -07:00
  • 37741364e4 Make sure view changes are incrementally done in ascending order. mjalalzai 2023-04-04 18:09:29 -07:00
  • 4b2e6638d6 Make sure view changes are incrementally done in ascending order. mjalalzai 2023-04-04 18:08:22 -07:00
  • 91c537271a views are sequential or consecutive. mjalalzai 2023-04-04 18:01:42 -07:00
  • a8cdc1576b Implement timeouts unhappy path danielsanchezq 2023-04-04 20:20:59 +02:00
  • efce293d71 Fix timeout preconditions danielsanchezq 2023-04-03 19:38:33 +02:00
  • 9a65a7b9c5 Store just highest qc and aggregated views in AggregatedQc, danielsanchezq 2023-04-03 19:33:02 +02:00
  • 345c37f234 Add check for double view seen different block danielsanchezq 2023-04-03 19:19:58 +02:00
  • 805e716aa1 Fix all timeouts are from the same view in timeout call danielsanchezq 2023-04-03 13:59:08 +02:00
  • 72f4b5b795 Merge branch 'python-impl-Tests2' into python-impl danielsanchezq 2023-04-03 13:54:43 +02:00
  • f92bb0bf15 Fix tests with block content and comments python-impl-Tests2 danielsanchezq 2023-04-03 13:49:54 +02:00
  • ac09aaf9eb Added block content danielsanchezq 2023-04-03 13:49:43 +02:00
  • 25560c076c Update build timeout qc test danielsanchezq 2023-04-03 11:09:11 +02:00
  • 236fbab30a
    Start unhappy path and update tests (#10) Daniel Sanchez 2023-04-03 11:06:57 +02:00
  • 00b650255c Stylish, adjustments and fixes danielsanchezq 2023-04-03 11:02:58 +02:00
  • 85066df832 Remove local files danielsanchezq 2023-04-03 10:37:13 +02:00
  • 9aba275f72 Receive timeout msgs mjalalzai 2023-04-03 00:02:04 -07:00
  • 4d73ae89c3 Receive timeout msgs mjalalzai 2023-04-02 16:58:37 -07:00
  • 7ae4fef3de Merge remote-tracking branch 'origin/python-impl-Tests2' into python-impl-Tests2 mjalalzai 2023-04-01 15:26:20 -07:00
  • 523ec81577 Received Votes tests mjalalzai 2023-04-01 15:25:45 -07:00
  • f55d897104 Get max timeout by highQC mjalalzai 2023-04-01 08:09:39 -07:00
  • 30ebd96ebb Vote tests mjalalzai 2023-04-01 08:09:39 -07:00
  • 7d0e84fd32 Vote tests mjalalzai 2023-04-01 00:35:13 -07:00
  • f596893cd3 Tests for updating latest_committed_view and high_qc. mjalalzai 2023-03-31 14:19:11 -07:00
  • d056c6b2ab Added base vote test danielsanchezq 2023-03-31 14:29:17 +02:00
  • 742227a01e Add tests assertions danielsanchezq 2023-03-31 12:58:46 +02:00
  • 70bbba67cc Fix commit grandparent danielsanchezq 2023-03-31 12:58:35 +02:00
  • 44253376bc
    Python impl tests (#9) Daniel Sanchez 2023-03-31 11:38:23 +02:00
  • f089c30e0b
    Update test_happy_path.py python-impl-Tests mjalalzai 2023-03-30 22:58:31 -07:00
  • 9377c2d98b Tests for voting mjalalzai 2023-03-30 22:57:40 -07:00
  • 47bcef1a12 Tests for voting mjalalzai 2023-03-30 22:55:45 -07:00
  • f890184240 Merge remote-tracking branch 'origin/python-impl-Tests' into python-impl-Tests mjalalzai 2023-03-30 22:38:04 -07:00
  • a50ecac73b Tests for voting mjalalzai 2023-03-30 22:35:20 -07:00
  • f8c394e778 Merge remote-tracking branch 'origin/python-impl-Tests' into python-impl-Tests mjalalzai 2023-03-30 22:35:20 -07:00
  • 8c0054c108 Tests for voting mjalalzai 2023-03-30 22:20:42 -07:00
  • 1cc42ce261 Tests for voting mjalalzai 2023-03-30 22:20:42 -07:00
  • 46c4803f8b adding highest voted view so that a node doesn't vote twice. mjalalzai 2023-03-30 20:43:56 -07:00
  • 88a3fa04a6 adding highest voted view so that a node doesn't vote twice. mjalalzai 2023-03-30 20:38:30 -07:00
  • 19c5fa3592 Test when a block has an old qc mjalalzai 2023-03-30 17:07:05 -07:00
  • 4c2fb21f33 Made sure an old aggregatedQC is not used. mjalalzai 2023-03-30 16:56:21 -07:00
  • 8bcbce83e1 Make easy tests mjalalzai 2023-03-30 14:47:17 -07:00
  • 5dedab1d2f Make easy tests danielsanchezq 2023-03-30 20:26:27 +02:00
  • 53d7efbb67 Removed rusty_results dependency danielsanchezq 2023-03-30 15:39:59 +02:00
  • 750542769b Added runnable carnot implementation bare bones danielsanchezq 2023-03-30 15:23:54 +02:00
  • 0603b98076
    Add timeout handler more-events Giacomo Pasini 2023-03-30 10:54:07 +02:00
  • e4308809d3 Simplified unhappy path UnhappyPathAndPaceMaker-SimpleImplementation-NoSyncMsg mjalalzai 2023-03-29 08:27:35 -07:00
  • d9e1f641e1 Merge remote-tracking branch 'origin/UnhappyPathAndPaceMaker' into UnhappyPathAndPaceMaker UnhappyPathAndPaceMaker mjalalzai 2023-03-28 20:29:23 -07:00
  • 3eee800327 Merge remote-tracking branch 'origin/UnhappyPathAndPaceMaker' into UnhappyPathAndPaceMaker mjalalzai 2023-03-27 09:50:42 -07:00
  • 0adbf47306
    use coarse grained events Giacomo Pasini 2023-03-28 12:14:37 +02:00
  • 64f9318337 Merge remote-tracking branch 'origin/UnhappyPathAndPaceMaker' into UnhappyPathAndPaceMaker mjalalzai 2023-03-27 09:50:42 -07:00
  • 2bae6ad7e1 updating try_to_commit_grand_parent to update last_committed_view mjalalzai 2023-03-27 09:43:14 -07:00
  • 1a0a45727f syncMsg+Happy path mjalalzai 2023-03-26 15:43:18 -07:00
  • dbcd597b92 syncMsg+Happy path mjalalzai 2023-03-26 15:43:18 -07:00
  • 7774109b96 Happy case mjalalzai 2023-03-25 18:48:20 -07:00
  • a0254971dc sync_Msg mjalalzai 2023-03-24 18:08:28 -07:00
  • 2d3d6c5e86 sync_Msg mjalalzai 2023-03-24 14:29:37 -07:00
  • cebe3b8ba6 sync_Msg mjalalzai 2023-03-24 12:04:25 -07:00
  • 17d19efe51 Timeout_qc & sync_Msg mjalalzai 2023-03-23 23:38:35 -07:00
  • e6c607cf3f Timeout_qc mjalalzai 2023-03-23 22:16:47 -07:00
  • f1f14bc487 Merge remote-tracking branch 'origin/UnhappyPathAndPaceMaker' into UnhappyPathAndPaceMaker mjalalzai 2023-03-22 20:45:15 -07:00
  • f9c35b00d2 Merge remote-tracking branch 'origin/UnhappyPathAndPaceMaker' into UnhappyPathAndPaceMaker mjalalzai 2023-03-22 20:44:54 -07:00
  • a5d5298424 Merge remote-tracking branch 'origin/UnhappyPathAndPaceMaker' into UnhappyPathAndPaceMaker mjalalzai 2023-03-22 20:43:00 -07:00
  • 83e63aec0e Merge remote-tracking branch 'origin/UnhappyPathAndPaceMaker' into UnhappyPathAndPaceMaker mjalalzai 2023-03-22 20:43:00 -07:00
  • 9464e08fc3 PaceMaker mjalalzai 2023-03-22 20:39:18 -07:00
  • e85862b280 PaceMaker mjalalzai 2023-03-22 20:39:18 -07:00
  • 29a36855c4 PaceMaker mjalalzai 2023-03-22 14:58:34 -07:00
  • 26501440b1
    Timout python version (#3) Daniel Sanchez 2023-03-22 12:13:30 +01:00
  • 3d9e1004b1 Merge branch 'master' into UnhappyPathAndPaceMaker danielsanchezq 2023-03-22 11:02:16 +01:00
  • dfbea2ce64
    Added gitignore (#4) Daniel Sanchez 2023-03-22 10:47:25 +01:00
  • 9c45c7cf65
    Remove intellij folder from git Daniel Sanchez 2023-03-22 10:45:39 +01:00
  • fa518102bb Added gitignore gitignore danielsanchezq 2023-03-22 10:39:08 +01:00
  • 7657f9ffa8 PaceMaker mjalalzai 2023-03-21 23:49:53 -07:00
  • 633fc21070 PaceMaker mjalalzai 2023-03-21 23:36:31 -07:00
  • 344cf95032 Timout python version python-sad-path danielsanchezq 2023-03-21 17:33:33 +01:00
  • 69ff7401d6
    clarify execution model execution-model Giacomo Pasini 2023-03-21 15:16:31 +01:00
  • 4f6c297815
    Initial python translation of specification (#1) Daniel Sanchez 2023-03-21 13:09:28 +01:00
  • 5ceb787387 Fix pr review comments Cleanup initial-python-translation danielsanchezq 2023-03-21 13:08:14 +01:00
  • be3fead574 timeout mjalalzai 2023-03-21 00:25:40 -07:00
  • a877d42be5 timeout mjalalzai 2023-03-21 00:24:34 -07:00
  • cf1c44b000 timeout mjalalzai 2023-03-21 00:02:38 -07:00
  • 18804d0532 timeout mjalalzai 2023-03-21 00:00:53 -07:00
  • 2415b0064b Added spec file Translate to python except unhappy path danielsanchezq 2023-03-20 19:56:23 +01:00
  • 0f0ccc3487
    Initial commit Daniel Sanchez 2023-03-20 06:07:52 -07:00