Commit graph

Select branches

Hide pull requests

trunk

Mono Color

• dd1579607a Automatically search parent directories for the ipkg trunk Nathan McCarty 2025-02-14 23:01:44 -05:00
• 1f4b8b3c03 oops Nathan McCarty 2025-01-26 20:30:24 -05:00
• 775652c6cf Set %*SUB-MAIN-OPTS Nathan McCarty 2025-01-26 15:24:30 -05:00
• f932ddcde5 Filtering by module name Nathan McCarty 2025-01-26 15:23:38 -05:00
• 75d955f666 Ignore envrc for now Nathan McCarty 2025-01-20 16:47:42 -05:00
• 0dbafc0cce fix: Handle whitespace in more places Nathan McCarty 2025-01-19 23:01:52 -05:00
• 18ad8bcc99 Add support for markdown files as sources Nathan McCarty 2025-01-12 13:18:57 -05:00
• 3b8d8a4ecc Remove envrc for now Nathan McCarty 2025-01-12 11:57:20 -05:00
• b28b91d5d2 Working idris2 error detection Nathan McCarty 2025-01-02 00:00:13 -05:00
• a0ba82ab38 Add example Nathan McCarty 2025-01-01 02:57:02 -05:00
• c8acc534a9 Properly support multi-word test names Nathan McCarty 2024-12-31 20:40:00 -05:00
• 4b2c2eb4dd Improve test running Nathan McCarty 2024-12-31 19:08:42 -05:00
• 09ac7506ee Implement support for IO Bool tests Nathan McCarty 2024-12-31 18:12:35 -05:00
• c089685a2a Update envrc Nathan McCarty 2024-12-31 17:28:21 -05:00
• dcdaa374d7 Fix META6 Nathan McCarty 2024-12-31 16:19:02 -05:00
• 5080b94b32 Fix final failed test count output being in the wrong place Nathan McCarty 2024-12-31 16:06:25 -05:00
• f085e8e14b Execute expressions properly Nathan McCarty 2024-12-31 20:56:32 +00:00
• 6971949a53 Fix improper handling of expression name Nathan McCarty 2024-12-31 20:43:41 +00:00
• cab0cb5ce1 clean up error display Nathan McCarty 2024-12-31 20:35:04 +00:00
• c5ff918640 Failure reporting Nathan McCarty 2024-12-31 20:00:20 +00:00
• 013f8500df Slightly colorized output Nathan McCarty 2024-12-31 19:32:50 +00:00
• 9bd0cc323f Somewhat working test running Nathan McCarty 2024-12-31 19:11:46 +00:00
• 49c118eef4 Refactor compiler interaction Nathan McCarty 2024-12-31 16:30:53 +00:00
• 1bfe73f77a Rename regex module Nathan McCarty 2024-12-31 16:28:24 +00:00
• 9e9903429e Scanning checkpoint Nathan McCarty 2024-12-31 16:25:05 +00:00
• a4e4c4a314 Minor tweaks Nathan McCarty 2024-12-31 16:04:33 +00:00
• 0a0596b143 Project enumeration Nathan McCarty 2024-12-31 15:49:13 +00:00
• 197dd79b34 Early functioning comment detection Nathan McCarty 2024-12-31 02:32:25 +00:00
• ef58bb4810 Some utility methods Nathan McCarty 2024-12-30 14:38:52 +00:00
• 525b9c68cd Handle idris errors Nathan McCarty 2024-12-30 14:14:19 +00:00
• 2784a7d80a Docs Nathan McCarty 2024-12-30 14:10:05 +00:00
• ae73c9050d Fix string handling messup Nathan McCarty 2024-12-30 13:52:31 +00:00
• f6c40813d2 Minor refactoring Nathan McCarty 2024-12-30 13:43:26 +00:00
• 72393480e3 Basic IDE mode interface Nathan McCarty 2024-12-30 13:32:52 +00:00
• c34c38fc03 Initial commit Nathan McCarty 2024-12-30 11:08:48 +00:00