Commit graph

Select branches

Hide pull requests

trunk

Mono Color

• a264e3dc57 fix[compressed]: FIRST BUG, the Num instance for Natural is broken trunk VegOwOtenks 2025-06-29 14:35:11 +02:00
• 7839627592 feat[app]: dumping all the instruction forms VegOwOtenks 2025-06-29 14:31:29 +02:00
• b44e238907 doc[extended]: examples and exports VegOwOtenks 2025-06-29 14:20:43 +02:00
• 9dfbb4fb1e feat[modules]: give datatypes their own file VegOwOtenks 2025-06-29 13:51:03 +02:00
• 0411e8af19 doc[haddock]: examples and comments VegOwOtenks 2025-06-29 13:38:36 +02:00
• bfa071fb6b doc[compressed]: Haddock coverage 100% VegOwOtenks 2025-06-29 13:22:53 +02:00
• 4aff1a56d6 doc[compressed]: commentation VegOwOtenks 2025-06-29 13:13:54 +02:00
• 4f31b90a26 fix[arbitrary]: apply hint (redundant $) VegOwOtenks 2025-06-29 12:45:45 +02:00
• fc69c506ff feat[app]: Parsing and printing the program VegOwOtenks 2025-06-29 11:00:39 +02:00
• 63f3b31dbb fix[parse]: Clones the result vector only once. VegOwOtenks 2025-06-29 10:30:44 +02:00
• f9fd24261a fix: function naming VegOwOtenks 2025-06-27 16:23:38 +02:00
• a94455f365 change the compiler version for better HLS support VegOwOtenks 2025-06-27 16:21:38 +02:00
• 7705371b6b feat: Natural instead of Ints for nonnegativity VegOwOtenks 2025-06-27 16:20:39 +02:00
• 2fc0d46ee9 fix: doc code comment VegOwOtenks 2025-06-27 16:19:59 +02:00
• 1b20f4ef71 fix[test]: missing argument to function VegOwOtenks 2025-06-23 14:01:39 +02:00
• 40ce94ab7b feat[compressed]: ability to uncompress VegOwOtenks 2025-06-23 14:00:21 +02:00
• f05da30c8a feat: documentation VegOwOtenks 2025-06-20 10:37:55 +02:00
• d012307d19 feat: tests for the rendering/parsing VegOwOtenks 2025-06-20 09:26:11 +02:00
• 9484d097d4 feat: StrictData + Unbounded Integer types VegOwOtenks 2025-06-19 21:51:45 +02:00
• 95f86c8660 feat: QuickCheck testing VegOwOtenks 2025-06-19 21:51:34 +02:00
• cbccc8253b I already did a lot of things VegOwOtenks 2025-06-18 13:13:41 +02:00