From b3eb68c63107733e395b88f2dda447817918d1fe Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <vkuncak@gmail.com>
Date: Tue, 22 Mar 2011 22:52:01 +0000
Subject: [PATCH] wishes

---
 WISHLIST | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/WISHLIST b/WISHLIST
index c4e6deb64..e559aff38 100644
--- a/WISHLIST
+++ b/WISHLIST
@@ -1,5 +1,7 @@
 Do Add here what you would love FunCheck to be able to do
 ------------------------------------------------------
+VK: support maps Map[A,B] for ground types A,B (no polymorphism)
+VK: add bitvectors, including multiplication of int32 variables
 
 PS: support multiple top-level objects
 PS: support tuples (including natively in Z3)
-- 
GitLab