Commit graph

Select branches

Hide pull requests

trunk

Mono Color

• 547187e428 License + GADT trunk VegOwOtenks 2025-07-13 13:24:48 +02:00
• cc83c07086 doc: License VegOwOtenks 2025-07-13 12:01:37 +02:00
• 2d079b5873 feat[types]: ConstantPool uses GADT instead of data family VegOwOtenks 2025-07-13 11:57:08 +02:00
• f85f3f8b79 doc: everything VegOwOtenks 2025-07-13 11:54:33 +02:00
• e30e3b02e1 feat: Reference type family VegOwOtenks 2025-07-13 10:08:45 +02:00
• 00898b18dc feat: partial classfile staging VegOwOtenks 2025-07-13 10:00:15 +02:00
• d692c3a6c0 feat: parse the entire classfile VegOwOtenks 2025-07-12 23:38:43 +02:00
• f9fbedc87a feat: Field and attribute parsing VegOwOtenks 2025-07-12 23:17:24 +02:00
• 62b537a93f feat: interface list VegOwOtenks 2025-07-12 18:24:18 +02:00
• 10ca143163 feat: class flag parsing VegOwOtenks 2025-07-12 17:52:59 +02:00
• 7826aa880e feat: Generic Boundedness, this was something I tried VegOwOtenks 2025-07-12 00:19:40 +02:00
• 0f44368c35 fix: Hopefully fixed the weird last ConstantPool entry VegOwOtenks 2025-07-11 23:12:41 +02:00
• 7da2a30cbb feat: constant-pool parsing, backtraces VegOwOtenks 2025-07-11 23:06:56 +02:00
• 5f3e7b761e feat: entire constant pool VegOwOtenks 2025-07-11 20:40:55 +02:00
• f504462d3c feat: monad instance, some classfile constant-pool parsing VegOwOtenks 2025-07-11 20:00:30 +02:00
• a4b5b06000 feat: Parsing the constant magic flag VegOwOtenks 2025-07-11 18:40:25 +02:00
• 6a4d4e5051 feat: Successful test in eval-comment VegOwOtenks 2025-07-11 18:15:21 +02:00
• 84510b41a5 feat: generic deriving for extraction VegOwOtenks 2025-07-11 18:09:33 +02:00
• 7a20aeeca2 feat: Alternative instance + Generic work VegOwOtenks 2025-07-11 17:55:48 +02:00
• 5723a92308 feat: Extracting word types VegOwOtenks 2025-07-11 17:50:29 +02:00
• a577bddd7f oops, i already implemented an applicative VegOwOtenks 2025-07-11 17:22:33 +02:00