Closed jokap11 closed 1 month ago
Please revert/drop the Seal5 generated commits
Approved to trigger the ci checks. @jokap11 Please ping me when the comments have been addressed or if you have questions.
@PhilippvK Followed your recommendations. Worked so far (Didnt want to completely rebuild LLVM ;/))
LGTM. Can I merge this or should I wait for any further commits? @jokap11
LGTM. Can I merge this or should I wait for any further commits? @jokap11
No I have committed all changes. If I find sth odd I might do another small PR
Support most common commands for CLI: Including: INIT, reset, clean, load, transform ...