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