Peter Goodman 5a84f665b6 Minor tweak.

2017-12-13 01:31:29 -05:00

bin

Fixes one or two subtle issues. But the more interesting fix is that I implemented puts in terms of DeepState_Log. Calls to printf that had no format arguments are transformed by the compiler into calls to puts, but that wasn't being wrapped by DeepState, so it was appearing as though those log messages never actually happened.

2017-12-12 14:01:41 -05:00

examples

Fixed OneOf example.

2017-12-12 22:22:31 -05:00

src

Minor tweak.

2017-12-13 01:31:29 -05:00

CMakeLists.txt

Allow for a user only install if CMAKE_INSTALL_PREFIX is set

2017-11-01 22:59:04 -04:00

LICENSE

Initial commit.

2017-10-27 16:34:58 -04:00

S

Description

No description provided

Apache-2.0

956 KiB

Languages

Python 46%

C 41.3%

C++ 8.2%

CMake 2.2%

Dockerfile 1.4%

Other 0.9%