Skip to content

Commit

Permalink
all paths that go for note 3 now overdrive
Browse files Browse the repository at this point in the history
  • Loading branch information
faeqk committed Aug 10, 2024
1 parent a69687a commit 39f608b
Show file tree
Hide file tree
Showing 32 changed files with 37,596 additions and 37,285 deletions.
25,073 changes: 12,587 additions & 12,486 deletions choreo.chor

Large diffs are not rendered by default.

1,144 changes: 572 additions & 572 deletions src/main/deploy/choreo/AmpDrop123Amp.1.traj

Large diffs are not rendered by default.

296 changes: 148 additions & 148 deletions src/main/deploy/choreo/AmpDrop123Amp.2.traj

Large diffs are not rendered by default.

334 changes: 167 additions & 167 deletions src/main/deploy/choreo/AmpDrop123Amp.3.traj

Large diffs are not rendered by default.

274 changes: 137 additions & 137 deletions src/main/deploy/choreo/AmpDrop123Amp.4.traj

Large diffs are not rendered by default.

1,161 changes: 591 additions & 570 deletions src/main/deploy/choreo/AmpDrop123Amp.5.traj

Large diffs are not rendered by default.

963 changes: 492 additions & 471 deletions src/main/deploy/choreo/AmpDrop123Amp.6.traj

Large diffs are not rendered by default.

4,164 changes: 2,103 additions & 2,061 deletions src/main/deploy/choreo/AmpDrop123Amp.traj

Large diffs are not rendered by default.

1,408 changes: 704 additions & 704 deletions src/main/deploy/choreo/AmpDrop231Amp.1.traj

Large diffs are not rendered by default.

448 changes: 224 additions & 224 deletions src/main/deploy/choreo/AmpDrop231Amp.2.traj

Large diffs are not rendered by default.

1,561 changes: 791 additions & 770 deletions src/main/deploy/choreo/AmpDrop231Amp.3.traj

Large diffs are not rendered by default.

1,085 changes: 553 additions & 532 deletions src/main/deploy/choreo/AmpDrop231Amp.4.traj

Large diffs are not rendered by default.

362 changes: 181 additions & 181 deletions src/main/deploy/choreo/AmpDrop231Amp.5.traj

Large diffs are not rendered by default.

334 changes: 167 additions & 167 deletions src/main/deploy/choreo/AmpDrop231Amp.6.traj

Large diffs are not rendered by default.

5,206 changes: 2,624 additions & 2,582 deletions src/main/deploy/choreo/AmpDrop231Amp.traj

Large diffs are not rendered by default.

1,872 changes: 936 additions & 936 deletions src/main/deploy/choreo/SourceDrop43Source.1.traj

Large diffs are not rendered by default.

1,158 changes: 579 additions & 579 deletions src/main/deploy/choreo/SourceDrop43Source.2.traj

Large diffs are not rendered by default.

1,510 changes: 755 additions & 755 deletions src/main/deploy/choreo/SourceDrop43Source.3.traj

Large diffs are not rendered by default.

1,512 changes: 756 additions & 756 deletions src/main/deploy/choreo/SourceDrop43Source.4.traj

Large diffs are not rendered by default.

6,094 changes: 3,047 additions & 3,047 deletions src/main/deploy/choreo/SourceDrop43Source.traj

Large diffs are not rendered by default.

716 changes: 358 additions & 358 deletions src/main/deploy/choreo/SourceDrop53Source.1.traj

Large diffs are not rendered by default.

642 changes: 321 additions & 321 deletions src/main/deploy/choreo/SourceDrop53Source.2.traj

Large diffs are not rendered by default.

1,548 changes: 774 additions & 774 deletions src/main/deploy/choreo/SourceDrop53Source.3.traj

Large diffs are not rendered by default.

1,090 changes: 545 additions & 545 deletions src/main/deploy/choreo/SourceDrop53Source.4.traj

Large diffs are not rendered by default.

3,928 changes: 1,964 additions & 1,964 deletions src/main/deploy/choreo/SourceDrop53Source.traj

Large diffs are not rendered by default.

718 changes: 359 additions & 359 deletions src/main/deploy/choreo/SourceDrop543Source.1.traj

Large diffs are not rendered by default.

642 changes: 321 additions & 321 deletions src/main/deploy/choreo/SourceDrop543Source.2.traj

Large diffs are not rendered by default.

684 changes: 342 additions & 342 deletions src/main/deploy/choreo/SourceDrop543Source.3.traj

Large diffs are not rendered by default.

788 changes: 394 additions & 394 deletions src/main/deploy/choreo/SourceDrop543Source.4.traj

Large diffs are not rendered by default.

1,567 changes: 794 additions & 773 deletions src/main/deploy/choreo/SourceDrop543Source.5.traj

Large diffs are not rendered by default.

1,090 changes: 545 additions & 545 deletions src/main/deploy/choreo/SourceDrop543Source.6.traj

Large diffs are not rendered by default.

5,509 changes: 2,765 additions & 2,744 deletions src/main/deploy/choreo/SourceDrop543Source.traj

Large diffs are not rendered by default.

0 comments on commit 39f608b

Please sign in to comment.