CHANGES: added extraction to CakeML

parent f9cdc202
......@@ -34,6 +34,7 @@ Standard library
Extraction
* improved extraction to OCaml
* added partial extraction to C using the memory model of `mach.c`
* added extraction to CakeML (using 'why3 extract -D cakeml ...')
Transformations
* transformations can now have arguments
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment