I have no idea how that is done. Would appreciate help from you. I know Pascal had CI. Do I need some service outside github? Is it free?

I think a working CI would make sense when you finish porting to llvm18 and I merge your changes.

A great test is Dietmar's library of models. If it builds without an error that is a good sign.

I also have some circuit analyses in VACASK with corresponding CTest system tests. Those should uncover a large part of semantic errors in the compiler because VACASK uses almost all of OSDI.

yeah I am trying to make cargo test work but I am uncovering some segfaults, it could be the way I ported it to llvm18

okay just discovered for tests you need to do RUN_SLOW_TESTS=1 cargo test --release although I am having some bugs on release

some things are really beyond me, what I'll do is I'll make a pull with what I have + CI and wait till someone+time fixes it

Great work.