|
|
b91819c4cf
|
Reimplement day 4 using validators.
|
2020-12-04 19:54:14 -08:00 |
|
|
|
1a2f18b316
|
Extract some code from day 4.
|
2020-12-04 18:40:10 -08:00 |
|
|
|
15128fbddf
|
Add cleaned up day 4 solution.
|
2020-12-03 23:52:28 -08:00 |
|
|
|
2ed1ce8b06
|
Add day 4 solutions.
|
2020-12-03 21:41:49 -08:00 |
|
|
|
f3e3960ea1
|
Add initial file after solving day 4.
|
2020-12-03 21:22:52 -08:00 |
|
|
|
00e8704ac3
|
Add day3 solution.
|
2020-12-02 21:14:34 -08:00 |
|
|
|
0651feb111
|
Add a script to pull input from AoC
|
2020-12-02 20:47:58 -08:00 |
|
|
|
bcb7d535a4
|
Use xor in part 2 of day 2.
|
2020-12-01 21:45:41 -08:00 |
|
|
|
d6aa267e8e
|
Add day2 solution.
|
2020-12-01 21:13:43 -08:00 |
|
|
|
125317f146
|
Add initial solution to day 2
|
2020-12-01 21:09:04 -08:00 |
|
|
|
aee4c67e43
|
Add day 1 part 1 formalized in Coq.
|
2020-12-01 19:44:47 -08:00 |
|
|
|
aef1ed2808
|
Add two-pointer solution for day 1.
|
2020-11-30 21:58:36 -08:00 |
|
|
|
458c285a7f
|
Fix type in template file.
|
2020-11-30 21:13:36 -08:00 |
|
|
|
d2e402bdb8
|
Add day 1 solution.
|
2020-11-30 21:13:12 -08:00 |
|
|
|
304a009887
|
Add template file.
|
2020-11-30 20:44:23 -08:00 |
|
