Snaipe
|
bbc5edfb34
|
Refactored the implementation of theory macros in internal/
|
2015-11-17 17:49:27 +01:00 |
|
Snaipe
|
9b993abb93
|
Refactored tests and assertions implementation to internal/
|
2015-11-17 17:33:44 +01:00 |
|
Snaipe
|
3eea22fcda
|
Reverted removal of cr_theory_abort()
|
2015-11-17 16:14:30 +01:00 |
|
Snaipe
|
7a6bddd63c
|
Removed unimplemented theory functions
|
2015-11-17 16:12:16 +01:00 |
|
Snaipe
|
c3fdc08b02
|
[Issue #64] Prefixed all unprefixed macros with CR_
|
2015-10-02 15:02:50 +02:00 |
|
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 |
|