Posts tagged c

• A toy translator C to ATS  ‒ July 19, 2019
  Try to translate IDIOMATIC C code into human readable ATS code.
• So long VeriFast, and see again ATS  ‒ November 13, 2018
  Shutdown Chiers iteration, and Come back to Bohai.
• Hands-on VeriFast with STM32 microcontroller  ‒ February 5, 2017
  Verify ChibiOS/RT sample application using VeriFast
• c2ats - An utility to generate ATS interface from C code  ‒ September 17, 2016
  Create scaffold to rewrite large Unix-like kernel using ATS.