search

NASA-SW-VnV / ikos

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

Removed the python pipes module to make it compatible with Python 3.13 #293

Open tarikgta2 opened 1 month ago

tarikgta2 commented 1 month ago

This small change fixes the problem with Python 3.13. Ikos can now be run and does not throw the following error "error: could not find ikos python module error: see TROUBLESHOOTING.md"

ivanperez-keera commented 1 month ago

Hi @tarikgta2.

Thanks for your contribution!

If you haven't already, can you please sign one of the two CLAs (whichever applies to your situation): https://github.com/NASA-SW-VnV/ikos/tree/master/doc/contribute and send it to ikos@lists.nasa.gov, CC-ing ivan.perezdominguez@nasa.gov.

tarikgta2 commented 1 month ago

Hi @tarikgta2.

Thanks for your contribution!

If you haven't already, can you please sign one of the two CLAs (whichever applies to your situation): https://github.com/NASA-SW-VnV/ikos/tree/master/doc/contribute and send it to ikos@lists.nasa.gov, CC-ing ivan.perezdominguez@nasa.gov.

Hi @ivanperez-keera , I have signed the .pdf and sent it via Email! BR tarikgta2

ivanperez-keera commented 1 month ago

Thanks! It may take a few days to approve and merge, but all looks good as far as I can see.

Vivraan commented 1 week ago

Bumping!