Snaipe
|
416b034fe1
|
Made the interface C++11-compatible
|
2015-09-07 01:15:31 +02:00 |
|
Snaipe
|
c03a149507
|
Added common usage assume macro functions for theories
|
2015-09-06 21:59:50 +02:00 |
|
Snaipe
|
45fc694639
|
Marked with dllexport/import API functions
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
11eb4a9f10
|
Added __VA_ARGS__ macro expansions in theories.h for MSVC compatibility
|
2015-09-05 10:38:24 -07:00 |
|
Snaipe
|
1757752dd1
|
Added reporting & logging on theory failure
|
2015-09-03 17:29:46 +02:00 |
|
Snaipe
|
c9501805b6
|
Added support for theories
|
2015-09-03 06:38:44 +02:00 |
|