Advent of Ada Submissions

yannickmoy · December 2, 2022, 9:21pm

Yes, I said in the commit message that 4 checks related to input validation are not provable. This is intended. This is equivalent to hiding those under SPARK_Mode=>Off.

analogrelay · December 2, 2022, 9:26pm

[analogrelay][2][Ada] aoc2022/day_02.adb at 9407a12e3bb2c1ed2c3804029bc5c6932409dafd · analogrelay/aoc2022 · GitHub

dkm · December 2, 2022, 10:57pm

[dkm][2][Ada] adventofcode/main.adb at d35db01976dcb091b75031e2966ee0141a81574b · dkm/adventofcode · GitHub

AJ-Ianozi · December 3, 2022, 12:25am

Forgot to post it here!
[AJ-Ianozi][1][Ada]adventofcode/day1.adb at 9683a101a7532e2deaf632354091dae421287dce · AJ-Ianozi/adventofcode · GitHub
[AJ-Ianozi][2][Ada]adventofcode/day2.adb at 9683a101a7532e2deaf632354091dae421287dce · AJ-Ianozi/adventofcode · GitHub

JeremyGrosser · December 3, 2022, 5:32am

[JeremyGrosser][3][Ada][advent/day3_2.adb at 42725c2a5c5446b055a5ca88d5237c3f487f7901 · JeremyGrosser/advent · GitHub]

zertovitch · December 3, 2022, 6:25am

[Zertovitch][3][Ada]hac/aoc_2022_03.adb at 0046d0f89d2a0959ae8e15eae333715b910d5baa · zertovitch/hac · GitHub

cantanima · December 3, 2022, 7:09am

[cantanima][3][Ada]Day 3, with part 2 done 3 different ways

(I’m not saying any of them is particularly good, but I was quite please once I got the 3rd one working)

captain-haddock17 · December 3, 2022, 8:55am

[William-Franck][3][Ada]Release Day-03 · captain-haddock17/Advent_of_Code_2022 · GitHub

I made also a more light and compact solution (borrought from some top Python developer)

puzzle_03 (181 SLoC) :: Ada centric solution
puzzle_03_light (100 SLoC) :: using more Character and String to map Priority values

jklmnn · December 3, 2022, 11:15am

If you want to get a value from a String without cheating I recommend basalt/basalt-strings_generic.ads at 765f1f6eac704ecda05d74e8308f740f620a73f8 · Componolit/basalt · GitHub

rocher · December 3, 2022, 11:34am

[rocher][3][Ada]

Part 1:

pragma Ada_2022;

with Ada.Text_IO;             use Ada.Text_IO;
with Ada.Characters.Handling; use Ada.Characters.Handling;

procedure Day03_P1 is

    function Priority (C : Character) return Natural is
       (if Is_Lower (C) then 1 + Character'Pos (C) - Character'Pos ('a')
        else 27 + Character'Pos (C) - Character'Pos ('A'));

    Σ_Priorities : Natural := 0;
    Input        : File_Type;

begin
    Open (Input, In_File, "input.txt");

    loop
        declare
            Line  : String  := Get_Line (Input);
            Half  : Natural := Line'Last / 2;
            Found : Boolean := False;
        begin
            for I in 1 .. Half loop
                for J in Half + 1 .. Line'Last loop
                    if Line (I) = Line (J) then
                        Found        := True;
                        Σ_Priorities := @ + Priority (Line (I));
                        exit;
                    end if;
                end loop;
                exit when Found;
            end loop;
        end;
        exit when End_Of_File (Input);
    end loop;

    Close (Input);
    Put_Line ("Answer:" & Σ_Priorities'Image);
end Day03_P1;

Part 2:

pragma Ada_2022;

with Ada.Text_IO;             use Ada.Text_IO;
with Ada.Characters.Handling; use Ada.Characters.Handling;

procedure Day03_P2 is

    function Priority (C : Character) return Natural is
       (if Is_Lower (C) then 1 + Character'Pos (C) - Character'Pos ('a')
        else 27 + Character'Pos (C) - Character'Pos ('A'));

    Σ_Priorities : Natural := 0;
    Input        : File_Type;

begin
    Open (Input, In_File, "input.txt");

    loop
        declare
            Rucksack_1 : String  := Get_Line (Input);
            Rucksack_2 : String  := Get_Line (Input);
            Rucksack_3 : String  := Get_Line (Input);
            Found      : Boolean := False;
        begin
            for A of Rucksack_1 loop
                for B of Rucksack_2 loop
                    if A = B then
                        for C of Rucksack_3 loop
                            if A = C then
                                Found        := True;
                                Σ_Priorities := @ + Priority (A);
                                exit;
                            end if;
                        end loop;
                    end if;
                    exit when Found;
                end loop;
                exit when Found;
            end loop;
        end;
        exit when End_Of_File (Input);
    end loop;

    Close (Input);
    Put_Line ("Answer:" & Σ_Priorities'Image);
end Day03_P2;