Leonardo de Moura
|
caced62f40
|
New API for adding 'tracked assertions'. Added wrappers for creating existential and universal quantifiers in the C++ API fronted. Added new examples for the C++ API
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-11-10 15:54:31 -08:00 |
|
Leonardo de Moura
|
a5ceff98ea
|
cleaned exampled
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-11-08 07:11:22 -08:00 |
|
Leonardo de Moura
|
1cf8d61def
|
new example
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-11-08 07:00:27 -08:00 |
|
Leonardo de Moura
|
e08c569d8d
|
new qe example
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-11-02 12:04:02 -07:00 |
|
Leonardo de Moura
|
f040db94f8
|
python example
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-28 12:19:45 -07:00 |
|
Leonardo de Moura
|
7f0fcefbe2
|
C examples
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-28 11:56:27 -07:00 |
|
Leonardo de Moura
|
91cc6bb768
|
renamed test_capi
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-28 10:51:50 -07:00 |
|
Leonardo de Moura
|
4278b2dd51
|
dotnet example
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-28 10:50:36 -07:00 |
|
Leonardo de Moura
|
93fbfd5f94
|
dotnet example
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-28 10:48:11 -07:00 |
|
Leonardo de Moura
|
be97785253
|
c++ example
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-28 10:06:02 -07:00 |
|
Leonardo de Moura
|
3cddd6977b
|
Added make install/uninstall
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-27 20:22:51 -07:00 |
|
Leonardo de Moura
|
b1a5436c3f
|
moved .net example
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-23 22:32:46 -07:00 |
|
Leonardo de Moura
|
e2f4943b4e
|
moved dll and examples
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-23 16:33:20 -07:00 |
|