Skip to content

NIKOS v1.0.1 (Legacy / Drop-in Replacement)

Choose a tag to compare

View all tags
@shaglama shaglama released this 16 Jun 13:21
· 29 commits to main since this release
v1.0.1
717165b

Official drop-in replacement for NASA IKOS updated for LLVM 20. No extra features, just stability and modern LLVM support.

Assets 2
Loading