Skip to content

why3
why3
Commit 33c8e6b5 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files
Options

Mention a few more changes.

parent f82e91b3
Pipeline #19438 passed with stage
    in 3 minutes and 52 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 5 additions and 1 deletion
    CHANGES.md
    View file @ 33c8e6b5
    ......@@ -26,9 +26,13 @@ Language
    * support for type coercions in logic using `meta coercion`
    * deprecated `theory`; use `module` instead
    Standard library
    * machine integers in `mach.int.*` are now range types :x:
    * added a minimal memory model for the C language in `mach.c`
    Extraction
    * improved extraction to OCaml
    * added partial extraction to C
    * added partial extraction to C using the memory model of `mach.c`
    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