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.