From a2f5cc26baca0db087a677196f186ac2f75aa484 Mon Sep 17 00:00:00 2001 From: Frédéric Besson Date: Thu, 14 May 2020 15:58:23 +0200 Subject: [zify] Add support for Int63.int Update doc/sphinx/addendum/micromega.rst Co-authored-by: Jason Gross Update theories/micromega/ZifyInt63.v Co-authored-by: Jason Gross --- doc/changelog/04-tactics/12648-zify-int63.rst | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 doc/changelog/04-tactics/12648-zify-int63.rst (limited to 'doc/changelog') diff --git a/doc/changelog/04-tactics/12648-zify-int63.rst b/doc/changelog/04-tactics/12648-zify-int63.rst new file mode 100644 index 0000000000..ec7a1273e4 --- /dev/null +++ b/doc/changelog/04-tactics/12648-zify-int63.rst @@ -0,0 +1,3 @@ +- **Added:** + The :tacn:`zify` tactic provides support for primitive integers (module :g:`ZifyInt63`). + (`#12648 `_, by Frédéric Besson). -- cgit v1.2.3