Age | Commit message (Expand) | Author |
---|---|---|
2024-07-14 | Reaching definition analysis (#17) | Emanuele Grasso |
2024-07-11 | Code generation (#20) | Geno |
2024-06-30 | fixed warnings, better formatting, final added where possible | geno |
2024-06-28 | resolving all the comments santo made | geno |
2024-06-27 | remove duplicates | geno |
2024-06-27 | Fixed a lot of problems from all the progs we need to parse | L0P0P |
2024-06-24 | Package refactoring to avoid verbose paths (#4) | Emanuele Grasso |
2024-06-04 | Refactor using package `com.clp.project` (#1) | Santo Cariotti |
2024-05-28 | Format | Santo Cariotti |
2024-05-28 | Init | Santo Cariotti |