Snaipe
|
0de2797dee
|
Renamed assume macros for consistency
|
2015-09-22 12:12:54 +02:00 |
|
Snaipe
|
afad78c433
|
Added generated datapoints theory sample
|
2015-09-07 18:03:05 +02:00 |
|
Snaipe
|
59e91f9404
|
Removed extra semicolon
|
2015-09-07 08:24:52 +02:00 |
|
Snaipe
|
47d1293303
|
Made the theory interface C++11-compatible
|
2015-09-07 08:22:02 +02:00 |
|
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 |
|