Commit 753bf59310220ea137d2752166dd7b9bdb71b619

Thomas de Grivel 2023-12-19T11:04:44

Release v0.1.9

diff --git a/README.md b/README.md
index 2619097..24b4fa3 100644
--- a/README.md
+++ b/README.md
@@ -283,23 +283,14 @@ All these list formats are supported in pattern matching.
 Script interpreter. Works the same as ic3 but is not interactive.
 
 
-## TODO
+## New in this release
 
  - libc3
    - c3
-     - [DONE] tag_type
-   - macros
-   - modules
-     - defmodule
-     - def
+     - tag_type
    - gui
      - cairo graphics
-   - facts
-     - negative facts : 4 + 2n = not 3 + 2n
-     - with ignore variables
-   - math
-     - fractions
-     - floating point numbers (decimals)
+     - OpenGL graphics
    - maps
      - A map maps keys to values according to an internal hash table.
      - `%{a: 1, 2 => 3}`
@@ -315,6 +306,29 @@ Script interpreter. Works the same as ic3 but is not interactive.
      - access
      - get
      - put
+     - machine word alignment (from rtbuf)
+     
+
+## TODO
+
+ - libc3
+   - macros
+   - modules
+     - defmodule
+     - def
+   - facts
+     - negative facts : 4 + 2n = not 3 + 2n
+     - with ignore variables
+   - math
+     - fractions
+     - floating point numbers (decimals)
+   - maps
+     - get (get key value)
+     - put (return a new map)
+   - structs
+     - access
+     - get
+     - put
    - enums
    - unions
    - errors (setjmp, longjmp)
diff --git a/release/c3-0.1.9.tar.gz b/release/c3-0.1.9.tar.gz
index e881965..0a74518 100644
Binary files a/release/c3-0.1.9.tar.gz and b/release/c3-0.1.9.tar.gz differ