4 ms·

Reminds me of Frama-C https://frama-c.com/ https://frama-c.com/ https://news.ycombinator.com/item?id=29739456 https://news.ycombinator.com/item?id=29739456

• suprjami 5y ago
  Cyclone did a similar thing too, iiuc http://cyclone.thelanguage.org/ http://cyclone.thelanguage.org/
  • pjmlp 5y ago
    Note that Cyclone was born at AT&T Labs, so they knew what they let lose into the world, and thus Cyclone was born, as per their own reasoning why Cyclone.
  • mingodad 5y ago
    Here https://github.com/mingodad/cyclone https://github.com/mingodad/cyclone is my attempt to update the latest available cyclone code and fix it to build on more recents operating systems. The first step is build as 32 bits as clean as possible then attempt to update to be able to also build for 64 bits. Actually it's already working on Ubuntu 18.04 see the build here https://github.com/mingodad/cyclone/actions https://github.com/mingodad/cyclone/actions . One of the main reasons to do it is to preserve for historical purposes . There is also this other repositories that seems to try something similar: https://github.com/moon-chilled/cyclonic https://github.com/moon-chilled/cyclonic https://github.com/catb0t/cyclone https://github.com/catb0t/cyclone https://github.com/pippijn/cyclone https://github.com/pippijn/cyclone https://github.com/iphydf/cyclone https://github.com/iphydf/cyclone