Jannis Christopher Köhl
|
e75ad93d95
|
Begin a semi-formal argument for correctness
|
2022-11-07 10:35:10 +01:00 |
|
Jannis Christopher Köhl
|
292869493c
|
Add additional flooding when assigning a value and corresponding test
|
2022-11-07 10:35:10 +01:00 |
|
Jannis Christopher Köhl
|
bb1639769e
|
Clarify registration and tracking of references
|
2022-11-07 10:35:10 +01:00 |
|
Jannis Christopher Köhl
|
56ff16d19f
|
Fix spelling
|
2022-11-07 10:35:09 +01:00 |
|
Jannis Christopher Köhl
|
d0afe6833d
|
Try field type normalization instead of forcing it
|
2022-11-07 10:35:08 +01:00 |
|
Jannis Christopher Köhl
|
4f9c30fb67
|
Add initial version of value analysis and dataflow constant propagation
|
2022-11-07 10:35:08 +01:00 |
|