This website requires JavaScript.
Explore
Homepage
Help
Sign In
DeforaNetworks
/
deepstate
Watch
3
Star
0
Fork
0
You've already forked deepstate
Code
Releases
Activity
deepstate
/
examples
History
Peter Goodman
bdf9f97913
Fixed OneOf example.
2017-12-12 22:22:31 -05:00
..
CMakeLists.txt
OneOf example (failing)
2017-12-11 14:30:37 -08:00
Euler.cpp
Removed usage of old name, added in a Euler power of like primes example. When the pairwise ASSERT_NEs are absent, you get interesting results that show examples of integer overflows.
2017-12-10 20:08:08 -05:00
Fixture.cpp
Added support for c++ test fixtures.
2017-12-08 23:58:59 -05:00
IntegerArithmetic.cpp
Renaming from McTest to DeepState.
2017-11-01 13:38:32 -04:00
IntegerOverflow.cpp
Renaming from McTest to DeepState.
2017-11-01 13:38:32 -04:00
Lists.cpp
Renaming from McTest to DeepState.
2017-11-01 13:38:32 -04:00
OneOf.cpp
Fixed OneOf example.
2017-12-12 22:22:31 -05:00
Primes.cpp
Added prime polynomial example, new Pumping function to address scalability challenges with primality testing, and some improvements to the streaming interface, where if you don't stream in values, then the python side doesn't end up printing out some 'empty' stream infos.
2017-12-09 16:43:43 -05:00
Squares.c
Add an example that modifies an existing C program for symbolic testing
2017-11-02 00:33:35 -04:00
StreamingAndFormatting.cpp
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