search

arpadbuermen / OpenVAF

An innovative Verilog-A compiler
GNU General Public License v3.0
12 stars 1 forks source link

add github CI? #1

Open Kreijstal opened 1 month ago

Kreijstal commented 1 month ago

So that we can do CI on github

arpadbuermen commented 1 month ago

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.

Kreijstal commented 1 month ago

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

image

Kreijstal commented 1 month ago

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

Kreijstal commented 1 month ago

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

arpadbuermen commented 1 month ago

Great work.