Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 7a8503c3fe Use auto instead of apply. master Danila Fedorin 2021-01-02 21:22:07 -0800
• 2b69cbd391 Rewrite using induction on list length. Danila Fedorin 2021-01-02 18:16:00 -0800
• 661bcbb557 Add README. Danila Fedorin 2021-01-01 15:52:53 -0800
• c6ac448ad2 Add day 25 solution. Danila Fedorin 2020-12-29 00:50:26 -0800
• 3d85144065 Add J solution for day 5. Danila Fedorin 2020-12-23 22:40:42 -0800
• 4e8b636d2f Add day 1 and 2 solutions in J. Danila Fedorin 2020-12-23 21:47:05 -0800
• ee819d1362 Add day 3 solution in J. Danila Fedorin 2020-12-23 21:46:46 -0800
• 34cb639327 Add day 23. Danila Fedorin 2020-12-23 21:46:32 -0800
• b33e678c7e Add day24 solution. Danila Fedorin 2020-12-23 21:44:32 -0800
• 94ddabc590 Add solutions to day21 and day22. Danila Fedorin 2020-12-21 22:40:37 -0800
• 32895b3e17 Add updated solutions, including day 20. Danila Fedorin 2020-12-20 00:31:30 -0800
• 77c91f8386 Add unclean solution to day 17. Danila Fedorin 2020-12-16 21:29:26 -0800
• 8ed0896adb Add unclean day16 solution. Danila Fedorin 2020-12-15 22:05:25 -0800
• c17cf38795 Add day15 solution. Danila Fedorin 2020-12-14 21:36:25 -0800
• f53c65fb0d Add experimental formalization of (inefficient) solution. Danila Fedorin 2020-12-13 23:32:11 -0800
• 6ecae2b5bf Add day 4 solution. Danila Fedorin 2020-12-13 21:53:37 -0800
• c3a12cbf59 Clean up proof for day 8. Danila Fedorin 2020-12-13 20:34:28 -0800
• 8ea03a4c51 Finish first proof for day 8. Danila Fedorin 2020-12-12 22:49:52 -0800
• 7757fd2b49 Add day 13 solution. Danila Fedorin 2020-12-12 22:09:28 -0800
• f0fbba722c Flail around with this goddamn proof some more. Danila Fedorin 2020-12-12 20:08:21 -0800
• 51a679ec63 Mess around some more with proof for day 8. Danila Fedorin 2020-12-12 01:44:16 -0800
• 8459219e60 Clean up day 12. Danila Fedorin 2020-12-12 01:44:04 -0800
• 5f231facc6 Add day 12 solution. Danila Fedorin 2020-12-11 21:19:04 -0800
• ae6f86302d Give formalizing day 8 a shot. Danila Fedorin 2020-12-11 11:32:54 -0800
• 479affa4cc Add solutions to days 10 and 11 Danila Fedorin 2020-12-11 11:32:33 -0800
• 17492a8c23 Make changes to the template. Danila Fedorin 2020-12-11 11:32:12 -0800
• d1e15ca2c9 Factor console code into a separate file. Danila Fedorin 2020-12-11 11:32:01 -0800
• 2688950560 Add day9 solution. Danila Fedorin 2020-12-08 21:34:39 -0800
• af8170a3e6 Clean up some solutions. Danila Fedorin 2020-12-07 23:38:26 -0800
• eafb73cfc1 Add day 8 solution. Danila Fedorin 2020-12-07 21:11:05 -0800
• 61713a5faa Add say 7 solution. Danila Fedorin 2020-12-06 21:35:13 -0800
• e79b0344fd Add initial day6 solution. Danila Fedorin 2020-12-05 21:15:22 -0800
• 479b1d745e Update code to use advent lib. Danila Fedorin 2020-12-05 16:06:51 -0800
• e9d0701b4c Extract some common utilities into a library. Danila Fedorin 2020-12-05 15:36:08 -0800
• 7826194b37 Remove debug output form knapsack. Danila Fedorin 2020-12-05 00:06:11 -0800
• 3d45bd3da3 Add knapsack implementation. Danila Fedorin 2020-12-05 00:05:02 -0800
• 0dad7a3244 Adjust template. Danila Fedorin 2020-12-04 23:24:48 -0800
• b1889cbbba Add heap. Danila Fedorin 2020-12-04 23:24:41 -0800
• 0ba970d517 Clean up day 5. Danila Fedorin 2020-12-04 21:52:45 -0800
• 3d5c13cf6a Add day 5 solution. Danila Fedorin 2020-12-04 21:32:28 -0800
• 598c970a46 Add a pathfinding algorithm - why not? Danila Fedorin 2020-12-04 20:37:38 -0800
• b91819c4cf Reimplement day 4 using validators. Danila Fedorin 2020-12-04 19:54:14 -0800
• 1a2f18b316 Extract some code from day 4. Danila Fedorin 2020-12-04 18:40:10 -0800
• 15128fbddf Add cleaned up day 4 solution. Danila Fedorin 2020-12-03 23:52:28 -0800
• 2ed1ce8b06 Add day 4 solutions. Danila Fedorin 2020-12-03 21:41:49 -0800
• f3e3960ea1 Add initial file after solving day 4. Danila Fedorin 2020-12-03 21:22:52 -0800
• 00e8704ac3 Add day3 solution. Danila Fedorin 2020-12-02 21:14:34 -0800
• 0651feb111 Add a script to pull input from AoC Danila Fedorin 2020-12-02 20:47:58 -0800
• bcb7d535a4 Use xor in part 2 of day 2. Danila Fedorin 2020-12-01 21:45:41 -0800
• d6aa267e8e Add day2 solution. Danila Fedorin 2020-12-01 21:13:43 -0800
• 125317f146 Add initial solution to day 2 Danila Fedorin 2020-12-01 21:09:04 -0800
• aee4c67e43 Add day 1 part 1 formalized in Coq. Danila Fedorin 2020-12-01 19:44:47 -0800
• aef1ed2808 Add two-pointer solution for day 1. Danila Fedorin 2020-11-30 21:58:36 -0800
• 458c285a7f Fix type in template file. Danila Fedorin 2020-11-30 21:13:36 -0800
• d2e402bdb8 Add day 1 solution. Danila Fedorin 2020-11-30 21:13:12 -0800
• 304a009887 Add template file. Danila Fedorin 2020-11-30 20:44:23 -0800