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 |
|
Snaipe
|
0de2797dee
|
Renamed assume macros for consistency
|
2015-09-22 12:12:54 +02:00 |
|
Snaipe
|
9531e5d970
|
Added clarification on theories vs parameterized tests in documentation
|
2015-09-21 18:19:55 +02:00 |
|
Snaipe
|
c03a149507
|
Added common usage assume macro functions for theories
|
2015-09-06 21:59:50 +02:00 |
|
Snaipe
|
00783d66ea
|
Added documentation for theories
|
2015-09-03 23:51:59 +02:00 |
|