Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 0324724fb7 assertTrue > assertEqual(true,...) main Adam Jeniski 2025-11-06 11:15:15 -10:00
• 7e5a65e281 min-max coverage for effort (for now) ajet 2025-11-05 06:53:12 -10:00
• ca2485b725 sprinkle in some PBT ajet 2025-11-05 06:43:24 -10:00
• f816fdc912 implement read empty map ajet 2025-11-05 06:43:14 -10:00
• 4ed27b8c0e add IsEmpty ajet 2025-11-05 06:43:02 -10:00
• 656bd7dc27 add error for unknown chars ajet 2025-11-05 06:28:56 -10:00
• e906b007de add IsEmpty ajet 2025-11-05 06:28:42 -10:00
• 465c959414 strengthen constraint ajet 2025-11-05 04:54:02 -10:00
• ba00edc4db PBT all the things ajet 2025-11-05 04:50:07 -10:00
• a6f8502fbb franz newline ajet 2025-11-04 18:39:55 -10:00
• bfb8a2b0d8 add Cons and IListify all the things ajet 2025-11-04 18:39:07 -10:00
• d573528f3b update IColl asbstractions Adam Jeniski 2025-11-04 18:33:05 -10:00
• 0c9e3aa20b fix assert comment ajet 2025-11-04 18:11:25 -10:00
• 72da3ec820 add assert comments ajet 2025-11-04 18:06:17 -10:00
• df56597332 rename test ajet 2025-11-04 17:51:07 -10:00
• 4deba4be78 clean up ajet 2025-11-04 17:50:32 -10:00
• b7b7f79559 golf coverage ajet 2025-11-04 17:37:53 -10:00
• 6155074b77 never go full pbt ;) ajet 2025-11-04 17:36:18 -10:00
• 8dd6fd958d remove unused func ajet 2025-11-04 17:23:54 -10:00
• 3b4c206003 generate empty lists ajet 2025-11-04 17:21:52 -10:00
• cfbddb3f39 test First() ajet 2025-11-04 17:19:45 -10:00
• f5f7691de0 try PBT with coverage #2 ajet 2025-11-04 17:17:00 -10:00
• b9b88d8fa0 remove unreacahble code ajet 2025-11-04 15:16:50 -10:00
• 5ac5acd6d1 get rid of extra module level funcs ajet 2025-11-04 15:08:32 -10:00
• 413ab23904 add PBT for list len ajet 2025-11-04 14:58:08 -10:00
• c044f452b5 add PBT infra ajet 2025-11-04 14:49:36 -10:00
• 645fd64752 use v3; v4 unsupported on Gitea ajet 2025-11-04 14:01:13 -10:00
• d4be329cb6 upload test coverage report ajet 2025-11-04 13:53:34 -10:00
• db1bd5f322 bring back empty() vs new(val) ajet 2025-11-04 13:03:00 -10:00
• 4e1cbce3a7 start the tower of abstractions ajet 2025-11-04 12:25:23 -10:00
• d3997bfb53 support non-nil empty list ajet 2025-11-04 11:50:38 -10:00
• f636603fd2 add ci ajet 2025-11-04 09:49:30 -10:00
• f946ef9aa7 remove redundant check ajet 2025-11-04 07:07:08 -10:00
• 5200dfde00 init reader for lists ajet 2025-11-04 07:04:49 -10:00
• f279d7c90a add TDD for read symbols ajet 2025-11-04 05:50:37 -10:00
• fa8e4bc8e1 simplify ajet 2025-11-02 03:51:16 -10:00
• bc3570ab3d init repl with string passthru ajet 2025-11-02 03:48:53 -10:00
• 143b17a6c1 init commit ajet 2025-11-01 15:01:22 -09:00