-
4fa5426a15
Add flake
main
Nina Chlóe Kassandra Reiß
2026-07-18 21:35:06 +02:00
-
e1f7097bc3
Warshall algorithm reference
Nina Chlóe Kassandra Reiß
2026-07-18 21:34:45 +02:00
-
64cfecef9a
Add distance calculation based on haversine
Nina Chlóe Kassandra Reiß
2026-06-15 05:38:52 +02:00
-
4af251007f
Default packages
Nina Chlóe Kassandra Reiß
2026-06-14 22:37:02 +02:00
-
cdf1ca655d
Add gnatprove as dependency
Nina Chlóe Kassandra Reiß
2026-06-14 22:00:40 +02:00
-
4cb0066d0e
Retry after local verification
Nina Chlóe Kassandra Reiß
2026-06-11 16:23:39 +02:00
-
6ad68af041
Refresh alire package index
Nina Chlóe Kassandra Reiß
2026-06-11 15:59:47 +02:00
-
5f4923a127
Install gnatprove systemwide
Nina Chlóe Kassandra Reiß
2026-06-11 15:56:00 +02:00
-
32633ed60b
Shipping gnatprove doesn't work
Nina Chlóe Kassandra Reiß
2026-06-11 15:55:05 +02:00
-
b2b55238ed
Ship gnatprove with package
Nina Chlóe Kassandra Reiß
2026-06-11 15:49:55 +02:00
-
dfacf86537
Print gnatprove report in CI
Nina Chlóe Kassandra Reiß
2026-06-11 15:45:30 +02:00
-
2dcab4f1ea
Serve alire to CI on x86_64 systems
Nina Chlóe Kassandra Reiß
2026-06-11 15:38:27 +02:00
-
bb939c2393
Add Conversion from DDM to DD
Nina Chlóe Kassandra Reiß
2026-06-11 15:26:59 +02:00
-
970aaad697
Verify in CI using gnatprove
Nina Chlóe Kassandra Reiß
2026-06-11 15:23:11 +02:00
-
9d98de374f
Implement type system
Nina Chlóe Kassandra Reiß
2026-06-10 23:45:15 +02:00
-
56799f0c23
Add verification workflow
Nina Chlóe Kassandra Reiß
2026-06-10 11:21:48 +02:00
-
a023009d64
Add gitignore
Nina Chlóe Kassandra Reiß
2026-06-10 11:16:31 +02:00
-
c29aedbdd8
init
Nina Chlóe Kassandra Reiß
2026-06-10 10:46:39 +02:00