search

NASA-SW-VnV / ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Other
2.36k stars 171 forks source link

new release of ikos for space-ros #280

Closed asimonov closed 1 month ago

asimonov commented 1 month ago

now that #273 is fixed, can we have a new release to use in space-ros Jazzy upgrade please?

ivanperez-keera commented 1 month ago

I'm planning to make a new release, yes. (It won't be tied to this issue, so I'll close this for now.)

asimonov commented 1 month ago

ok. i created an issue to track it easier among space-ros jazzy upgrade tasks

ivanperez-keera commented 1 month ago

I've made a new release of IKOS now. You should be able to pin ikos 3.4.

asimonov commented 1 month ago

I've made a new release of IKOS now. You should be able to pin ikos 3.4.

lovely! thanks @ivanperez-keera!