Advent of Code 2024

tgv December 23, 2024, 8:32am 144

Day 23, part 1: [tgv][23][Ada]aoc2024/aoc202423a at master · theovosse/aoc2024 · GitHub

Day 23, part 2: [tgv][23][Ada]aoc2024/aoc202423b at master · theovosse/aoc2024 · GitHub

jcmoyer December 23, 2024, 9:54am 145

[jcmoyer][23][Ada] puzzles/AdventOfCode2024/src/day23.adb at 0117f506a4a2184301c24c0854b8a5b17eb4a271 · jcmoyer/puzzles · GitHub

zertovitch December 23, 2024, 2:36pm 146

[zertovitch][23][Ada] (examples) Added Advent of Code 2024, Day 23 · zertovitch/hac@2fe8c93 · GitHub

jcmoyer December 24, 2024, 9:39am 147

[jcmoyer][24][Ada] puzzles/AdventOfCode2024/src/day24.adb at 8b9a3c8066c2f7dd7b244caea9a08b621ba7b32a · jcmoyer/puzzles · GitHub

Part 1 only, not sure if I’ll implement part 2 since this is the sort of puzzle meant to be solved by hand.

zertovitch December 24, 2024, 11:38am 148

[zertovitch][24][Ada] (examples) Added Advent of Code 2024, Day 24 · zertovitch/hac@e590cc5 · GitHub

1 Like

tgv December 24, 2024, 11:38am 149

[tgv][24][Ada]aoc2024/aoc202424a at master · theovosse/aoc2024 · GitHub

I’m also not considering part 2. It’s a hard problem that’ll take quite some time to work out.

jcmoyer December 25, 2024, 5:32am 150

[jcmoyer][25][Ada] puzzles/AdventOfCode2024/src/day25.adb at 7328133bd1fe4dd72ca33fcaeb8b9e9ebd3da3d1 · jcmoyer/puzzles · GitHub

zertovitch December 25, 2024, 6:09am 151

[zertovitch][25][Ada] (examples) Added Advent of Code 2024, Day 25 · zertovitch/hac@9945d48 · GitHub

tgv December 25, 2024, 8:03am 152

[tgv][25][Ada]aoc2024/aoc202425a at master · theovosse/aoc2024 · GitHub

And that anti-climactic puzzle concludes my contribution.

1 Like

alexispaez December 25, 2024, 4:37pm 153

Thank goodness it’s mid-January, I just can’t find the time, even on holiday

JC001 December 29, 2024, 11:52am 154

[jrcarter][17][Ada]AoA_24/aoa_17_1.adb at 87fa27a34296e49864a8f76af1549331c5fb2953 · jrcarter/AoA_24 · GitHub

JC001 December 30, 2024, 8:11pm 155

[jrcarter][22][Ada]AoA_24/aoa_22_1.adb at 2492cc65545a562a5ef44ecc351d859cabd42b69 · jrcarter/AoA_24 · GitHub
[jrcarter][25][Ada]AoA_24/aoa_25_1.adb at main · jrcarter/AoA_24 · GitHub

zertovitch December 31, 2024, 3:39am 156

[zertovitch][21][Ada] (examples) Added Advent of Code 2024, Day 21 · zertovitch/hac@34c1d65 · GitHub

AoC 2024 completed on my side.
The 25 puzzles’ solutions run on both HAC and GNAT.
They are all used as regression tests for HAC (currently, 122 tests).

2 Likes

alexispaez January 1, 2025, 10:00am 157

Runnin late, but steady… both parts.

[alexispaez][10][Ada]advent-of-code/2024/day_10_1/src/day_10_1.adb at cf700c8e28f1ce95575dd0ddd71b6d7dc9b0012a · alexispaez/advent-of-code · GitHub

lhumphrey January 1, 2025, 6:05pm 158

[lhumphrey][1][SPARK] Day_01_SPARK
[lhumphrey][2][Ada] Day_02
[lhumphrey][3][Ada] Day_03
[lhumphrey][4][Ada] Day_04
[lhumphrey][5][Ada] Day_05
[lhumphrey][6][Ada] Day_06
[lhumphrey][7][Ada] Day_07
[lhumphrey][8][Ada] Day_08
[lhumphrey][9][Ada] Day_09

2 Likes

alexispaez January 2, 2025, 2:44pm 159

Day 11, part 1:

[alexispaez][11][Ada]advent-of-code/2024/day_11_1/src/day_11_1.adb at 14fa104b78e5f6d0ecade8cbc2690552bbf5781f · alexispaez/advent-of-code · GitHub

alexispaez January 4, 2025, 3:41pm 160

Day 12, part 1:

[alexispaez][12][Ada]advent-of-code/2024/day_12_1/src/day_12_1.adb at ab47a68ecd6cf6deb6188b6291cf7786c9756f28 · alexispaez/advent-of-code · GitHub

JC001 January 7, 2025, 1:57pm 161

[jrcarter][19][Ada]AoA_24/aoa_19_1.adb at 55754d96d5f391f0e4f13eea0e211c25e0354661 · jrcarter/AoA_24 · GitHub

lhumphrey January 10, 2025, 6:24am 162

[lhumphrey][10][Ada] Day_10
[lhumphrey][11][Ada] Day_11
[lhumphrey][12][Ada] Day_12

derekkingston January 13, 2025, 2:13am 163

[derekkingston][13][Ada] aoc/2024/day13/src/day13.adb at ce41e50e9814bb6da03fd743a1940244d27b8148 · derekkingston/aoc · GitHub
[derekkingston][14][Ada] aoc/2024/day14/src/day14.adb at ce41e50e9814bb6da03fd743a1940244d27b8148 · derekkingston/aoc · GitHub
[derekkingston][15][Ada] aoc/2024/day15/src/day15.adb at ce41e50e9814bb6da03fd743a1940244d27b8148 · derekkingston/aoc · GitHub
[derekkingston][16][Ada] aoc/2024/day16/src/day16.adb at ce41e50e9814bb6da03fd743a1940244d27b8148 · derekkingston/aoc · GitHub
[derekkingston][17][Ada] aoc/2024/day17/src/day17.adb at ce41e50e9814bb6da03fd743a1940244d27b8148 · derekkingston/aoc · GitHub
[derekkingston][18][Ada] aoc/2024/day18/src/day18.adb at ce41e50e9814bb6da03fd743a1940244d27b8148 · derekkingston/aoc · GitHub
[derekkingston][19][Ada] aoc/2024/day19/src/day19.adb at ce41e50e9814bb6da03fd743a1940244d27b8148 · derekkingston/aoc · GitHub
[derekkingston][20][Ada] aoc/2024/day20/src/day20.adb at ce41e50e9814bb6da03fd743a1940244d27b8148 · derekkingston/aoc · GitHub
[derekkingston][21][Ada] aoc/2024/day21/src/day21.adb at ce41e50e9814bb6da03fd743a1940244d27b8148 · derekkingston/aoc · GitHub
[derekkingston][22][Ada] aoc/2024/day22/src/day22.adb at ce41e50e9814bb6da03fd743a1940244d27b8148 · derekkingston/aoc · GitHub
[derekkingston][23][Ada] aoc/2024/day23/src/day23.adb at ce41e50e9814bb6da03fd743a1940244d27b8148 · derekkingston/aoc · GitHub
[derekkingston][24][Ada] aoc/2024/day24/src/day24.adb at ce41e50e9814bb6da03fd743a1940244d27b8148 · derekkingston/aoc · GitHub
[derekkingston][25][Ada] aoc/2024/day25/src/day25.adb at ce41e50e9814bb6da03fd743a1940244d27b8148 · derekkingston/aoc · GitHub