Advent of Ada Submissions

wutka · December 9, 2022, 7:11pm

[wutka][9][SPARK]advent-of-code-2022-spark/day9.adb at d97c6701bf765d9f34413a40ea4f3d94f1bbc1ca · wutka/advent-of-code-2022-spark · GitHub

I initially got it working using a binary tree library I have been working on, but using a record as a key caused complaints from gnatprove, so I used a numeric key. Then I switched it over to using Formal_Ordered_Sets instead of the tree . I hadn’t used the formal containers before, so it’s good to get some experience with one.

JC001 · December 10, 2022, 12:11am

[Jeff Carter][8][Ada]AoA_22/day08_1.adb at 3dc2b80c2b723cf5bff76de243aebd3f7654021b · jrcarter/AoA_22 · GitHub

jklmnn · December 10, 2022, 12:36am

[jklmnn][5][SPARK] aoc/day_2022_5.adb at e5f626edc8361283669f96dcdaf67f3a1b8eee70 · jklmnn/aoc · GitHub

AJ-Ianozi · December 10, 2022, 4:53am

[AJ-Ianozi][9][Ada]adventofcode/day9.adb at 3fc08c0801e839fcf597dfe366d9a636dc9b4df7 · AJ-Ianozi/adventofcode · GitHub

smionean · December 10, 2022, 5:00am

[smionean][9][Ada]AdventOfCode/day09.adb at 262d7c18ece19ed713cfde6c1a192af5bce7c9c5 · smionean/AdventOfCode · GitHub

zertovitch · December 10, 2022, 6:37am

[Zertovitch][10][Ada]hac/aoc_2022_10.adb at 769d125f43f2052d77c89302c36f23b9878656ad · zertovitch/hac · GitHub

cantanima · December 10, 2022, 6:47am

[cantanima][10][Ada]Cathode Ray Tube

rommudoh · December 10, 2022, 11:44am

[rommudoh][10[Ada] aoc2022-Ada/day10.adb at main - aoc2022-Ada - Codeberg.org

wutka · December 10, 2022, 3:56pm

[wutka][10][SPARK] advent-of-code-2022-spark/day10.adb at a892ca4a4e2e30665632b98582dade3ac53b6c07 · wutka/advent-of-code-2022-spark · GitHub

dkm · December 10, 2022, 5:57pm

[dkm][8][Ada] git code

anuj-seth · December 10, 2022, 6:35pm

[anuj-seth][4][Ada]Day 4

JeremyGrosser · December 10, 2022, 7:44pm

[JeremyGrosser][10][Ada][advent/day10_2.adb at 3fbc4c2e69aba82c82456bab81933175dbe8a17e · JeremyGrosser/advent · GitHub]

My solution is broken into a couple packages, as I suspect we’ll be expanding upon this one.

github.com

JeremyGrosser/advent/blob/3fbc4c2e69aba82c82456bab81933175dbe8a17e/2022/src/handheld.ads

private with Chests.Stacks;
private with Screen;
with Advent_IO;

package Handheld is

   type CPU is tagged private;

   --  Reset CPU state
   procedure Initialize
      (This  : in out CPU;
       Input : not null Advent_IO.Stream_Access);

   --  Fetch, Decode, Execute a single cycle
   procedure Tick
      (This : in out CPU);

private

   package Integer_Stacks is new Chests.Stacks

This file has been truncated. show original

github.com

JeremyGrosser/advent/blob/3fbc4c2e69aba82c82456bab81933175dbe8a17e/2022/src/handheld.adb

package body Handheld is

   procedure Initialize
      (This  : in out CPU;
       Input : not null Advent_IO.Stream_Access)
   is
   begin
      This.X := 1;
      This.Cycle := 1;
      This.Op := noop;
      This.Input := Input;
      Integer_Stacks.Clear (This.Args);
      This.Argument_Count := 0;
      This.Output.Initialize;
   end Initialize;

   procedure Tick
      (This : in out CPU)
   is
   begin

This file has been truncated. show original

github.com

JeremyGrosser/advent/blob/3fbc4c2e69aba82c82456bab81933175dbe8a17e/2022/src/screen.ads

package Screen is

   Width  : constant := 40;
   Height : constant := 6;

   type CRT is tagged null record;

   procedure Initialize
      (This : in out CRT);

   procedure Update
      (This  : in out CRT;
       Cycle : Positive;
       X     : Integer);

end Screen;

github.com

JeremyGrosser/advent/blob/3fbc4c2e69aba82c82456bab81933175dbe8a17e/2022/src/screen.adb

with Advent_IO; use Advent_IO;
with AnsiAda;

package body Screen is

   procedure Initialize
      (This : in out CRT)
   is
   begin
      String'Write (Output, AnsiAda.Clear_Screen);
   end Initialize;

   procedure Update
      (This  : in out CRT;
       Cycle : Positive;
       X     : Integer)
   is
      Raster_Start_Y : constant := 4;
      Beam_X : constant Natural := (Cycle - 1) mod Width;
      Beam_Y : constant Natural := ((Cycle - 1) / Width) mod Height;

This file has been truncated. show original

JC001 · December 10, 2022, 10:14pm

[Jeff Carter][9][Ada]AoA_22/day09_1.adb at b8cc5bcc9be88ceec2455245759f40252c4e7280 · jrcarter/AoA_22 · GitHub

rocher · December 10, 2022, 11:08pm

[rocher][10][Ada] Literate programming version of AoC 2022/10 using Ada/SPARK support for Emacs org-mode.

cantanima · December 11, 2022, 7:46am

[cantanima][11][Ada]Monkey in the middle

zertovitch · December 11, 2022, 10:10am

[Zertovitch][11][Ada]hac/aoc_2022_11.adb at e10532ad760052806a914bce9a2657d18adacd4b · zertovitch/hac · GitHub

rommudoh · December 11, 2022, 11:10am

[rommudoh][11][Ada] aoc2022-Ada/day11.adb at main - aoc2022-Ada - Codeberg.org

wutka · December 11, 2022, 5:25pm

[wutka][11][SPARK] advent-of-code-2022-spark/day11.adb at 3fbafbaf5e3c93ce2ddc255b8c6238e0458b7c1a · wutka/advent-of-code-2022-spark · GitHub

[wutka][12][SPARK] advent-of-code-2022-spark/day12.adb at 2c967c0d383edd141c60743486645ea41e4c74f5 · wutka/advent-of-code-2022-spark · GitHub

rvlad13 · December 11, 2022, 5:30pm

[rvlad13][5][Ada] GitHub - rvl13/Advent_of_code_2022_Ada
[rvlad13][6][Ada] same repo

RREE · December 11, 2022, 6:30pm

[RREE][10][Ada] AoC/2022/10 at main · RREE/AoC · GitHub
[RREE][11][Ada] AoC/2022/11 at main · RREE/AoC · GitHub