summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Heap.insert: Insert-Left is proven now.Andreas Grois2024-01-101-7/+45
|
* More progress on heap.insert proofAndreas Grois2024-01-091-8/+25
|
* Further progress on heap insert proof.Andreas Grois2024-01-081-12/+10
|
* Progress on the proof that heap.insert keeps the heap intact.Andreas Grois2024-01-081-0/+17
|
* Unfinished proof that insert keeps heap a heapAndreas Grois2024-01-051-31/+99
|
* Even more cleanup in HeapAndreas Grois2023-12-182-6/+6
|
* More cleanup of code in BinaryHeap.Andreas Grois2023-12-182-55/+61
| | | | | Finally the propositions about even and odd numbers are no longer decidable. Not that I accidentally use them in runtime code!
* Partial cleanup of HeapAndreas Grois2023-12-183-119/+119
|
* Heap now has balancing conditions completeAndreas Grois2023-12-181-18/+174
|
* Heap: At least one subtree needs to be perfect now.Andreas Grois2023-12-151-13/+113
|
* Rename file to BinaryHeap, as it isn't a BTreeAndreas Grois2023-12-132-30/+30
|
* BinTreeHeap: Add condition le m nAndreas Grois2023-12-121-19/+51
|
* Incomplete Heap implementation.Andreas Grois2023-12-115-8/+146
|
* Day9: Simplify proof of terminationAndreas Grois2023-12-091-1/+1
|
* Day 9Andreas Grois2023-12-094-18/+284
|
* Fix Day 8 Part 2: Forgot to un-comment something.Andreas Grois2023-12-091-2/+2
| | | | While it doesn't change the result, it was technically wrong.
* Day 8 Part 2Andreas Grois2023-12-095-17/+156
|
* Not working Day8 Part 2.Andreas Grois2023-12-082-21/+52
| | | | Seems we need to be smarter.
* Day 8 Part 1Andreas Grois2023-12-084-2/+893
|
* Day 7Andreas Grois2023-12-088-0/+1243
|
* Day 6Andreas Grois2023-12-073-9/+82
|
* Allow error messages in parsing (for debugging)Andreas Grois2023-12-0710-33/+62
| | | | And fix an off-by-one in day 5
* Part 2, finallyAndreas Grois2023-12-062-17/+66
|
* Part of Day5 Part 2Andreas Grois2023-12-061-54/+105
|
* Day5, part 1Andreas Grois2023-12-065-5/+475
|
* Day 4Andreas Grois2023-12-044-0/+277
| | | | I'm particularly proud of part 2.
* Day 3: Fix swapped adjacents.Andreas Grois2023-12-031-11/+11
|
* Day 3, minor cleanupAndreas Grois2023-12-031-31/+12
|
* Day 3Andreas Grois2023-12-038-1/+319
|
* Quicksort. Might be useful later.Andreas Grois2023-12-032-0/+25
|
* Day 2Andreas Grois2023-12-027-3/+208
|
* Day 1Andreas Grois2023-12-0110-0/+1165
generated by cgit v1.2.3 (git 2.46.0) at 2026-05-06 16:18:32 +0000