Snaipe
|
70d693766c
|
doc: Integrated doxygen on invariants to sphinx page on theories
|
2016-04-10 16:27:30 +02:00 |
|
Snaipe
|
91c85cb2bc
|
Integrated theories doxygen into sphinx docs
|
2016-04-10 15:17:06 +02:00 |
|
ailu
|
faa44899a6
|
added doxygen for cr_assume_* macros
|
2016-02-23 18:25:46 +01:00 |
|
ailu
|
4bea3d5ce2
|
Add doxygen documentation in API headers
|
2016-02-20 13:09:20 +01:00 |
|
Snaipe
|
2461574214
|
We're in 2016.
|
2016-01-06 17:35:35 +01:00 |
|
Snaipe
|
e7234512ed
|
Added doxygen for theories.h
|
2015-12-08 01:44:42 +01:00 |
|
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 |
|