stv0g/Criterion
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
1081 commits 26 branches 19 tags 3.7 MiB
Commit graph

1081 commits

This branch
This branch
All branches
Author SHA1 Message Date
Snaipe
8343eef646 Added sleeping in child pump 2016-06-22 18:02:53 +02:00
Snaipe
a4d1f1d63f nanomsg: Added locking for xrep hash table 2016-06-05 21:52:32 +02:00
Snaipe
bacbfb401f appveyor: Disable CredSSP 2016-06-04 19:16:06 +02:00
Snaipe
28658a9b66 Revert "Revert "appveyor: turn on RDP"" 
This reverts commit b775765581.
 2016-06-04 19:06:12 +02:00
Snaipe
9462d1a97f protocol: Added infinite lingering 2016-05-23 15:19:14 +02:00
Snaipe
cdcea14156 Revert "protocol: Added polling for ACK" 
This reverts commit 0c0fade8088ecb9d11f366c5921d0c0f1a0c3815.
 2016-05-23 15:19:14 +02:00
Snaipe
90d2fe4d08 protocol: Added polling for ACK 2016-05-23 15:19:14 +02:00
Snaipe
45ffde4714 protocol: Use TCP by default 2016-05-23 15:19:14 +02:00
Snaipe
97eaadcc3c protocol: Connect to criterion.sock only 2016-05-23 15:19:14 +02:00
Snaipe
40db697600 protocol: Fixed wrong ACK wait loop 2016-05-23 15:19:14 +02:00
Snaipe
9fb27d0c41 Revert "Revert "Revert "appveyor: test nanomsg before building criterion""" 
This reverts commit cd486e00a8ed2fce3f3923cd8ec7bbaa33c09861.
 2016-05-23 15:19:14 +02:00
Snaipe
b775765581 Revert "appveyor: turn on RDP" 
This reverts commit 72eba5045796624aafcac2998af243ba08077e39.
 2016-05-23 15:19:14 +02:00
Snaipe
33d4d3c9f1 protocol: Loop on FSM errors 2016-05-23 15:19:14 +02:00
Snaipe
7c8c38d983 appveyor: Enforce c89 & warnings for nanomsg build 2016-05-23 15:19:14 +02:00
Snaipe
a791ab34b9 Revert "Revert "appveyor: test nanomsg before building criterion"" 
This reverts commit d4b73473c0097dfdb447a795bac8815a183e4b03.
 2016-05-23 15:19:14 +02:00
Snaipe
92f9838c78 Revert "appveyor: test nanomsg before building criterion" 
This reverts commit 0e2c66ca39e1abc2292ad63ab82f4ef966abe871.
 2016-05-23 15:19:14 +02:00
Snaipe
ac7d4e1292 appveyor: turn on RDP 2016-05-23 15:19:14 +02:00
Snaipe
7437d4a887 appveyor: test nanomsg before building criterion 2016-05-23 15:19:14 +02:00
Snaipe
96bf7869de travis: Added whole source archive deployment on github releases (fixes #123) 2016-05-22 14:18:09 +02:00
Franklin Mathieu
7d17ac0bd3 Merge pull request #122 from MrAnno/fix-find-criterion 
Fix FindCriterion.cmake package name
 2016-05-15 12:57:07 +02:00
László Várady
1a65956b66 dev: Fix FindCriterion.cmake package name 2016-05-15 12:40:40 +02:00
Snaipe
4c1a399dab travis: Added coverity configuration 2016-05-06 20:10:01 +02:00
Snaipe
0c389023ec cram: Remove cmake dependency on target criterion_samples 2016-05-05 16:28:36 +02:00
Snaipe
cd57b9f6f4 appveyor: Don't install unnecessary packages 2016-05-05 16:21:39 +02:00
Snaipe
cb3486eb7b core: Fixed #121 Single mode crashes 2016-05-05 15:44:35 +02:00
Franklin Mathieu
341b221458 Merge pull request #119 from am11/fix/gh-118 
Remove `restrict` keyword usages
 2016-04-28 00:44:17 +02:00
Adeel
fc066a710d Remove restrict keyword usages 
This turned out to be a bug in the recent C99 support:
https://connect.microsoft.com/VisualStudio/Feedback/Details/1161593
(ticket probably needs some votes to draw their attention)

Since this is little to no value there for `restrict` anyway, it has
been removed.

Contributes to #118.
 2016-04-24 12:36:20 +03:00
Snaipe
9fe47197b9 cmake: Forcefully pass CFLAGS to nanomsg 2016-04-23 14:34:09 +02:00
Snaipe
e0a058c95e nanomsg: Updated winnt version and set fork sources to be unix-only 2016-04-23 14:21:24 +02:00
Snaipe
fb684a140a cmake: Pass -fPIC to nanomsg cflags 2016-04-23 14:12:16 +02:00
Snaipe
83ad6bca21 nanomsg: Updated fork patch to latest 2016-04-23 14:04:06 +02:00
Snaipe
d699665274 windows: Fixed hangs 2016-04-23 12:09:14 +02:00
Snaipe
5f32927b63 travis: Added --output-on-failure to ctest 2016-04-22 00:16:53 +02:00
Snaipe
887d04363c appveyor: Added timeout & helpful diagnostics 2016-04-19 22:51:50 +02:00
Snaipe
676a31baac test: Fixed cram tests not working without PYTHON_BIN defined 2016-04-19 22:29:49 +02:00
Franklin Mathieu
605fd3efd5 Merge pull request #117 from kaidowei/bleeding 
XML: The output parameter --xml now generates xml-files with the elapsed time.
 2016-04-19 19:45:19 +02:00
commit
f5340f8f27 XML: The output parameter --xml now generates xml-files with the elapsed time. 2016-04-19 19:16:15 +02:00
Franklin Mathieu
1f7ca2f32b Merge pull request #101 from kaidowei/bleeding 
cli: Strip red ANSI color from the failing & crashing summary if there were no errored tests.
 2016-04-13 15:37:40 +02:00
Snaipe
cd814f9899 protocol: Fixed rc check being removed on Release builds 2016-04-13 15:22:01 +02:00
Snaipe
4842cf0d9e protocol: Connect to a PID-bound named socket 2016-04-13 15:03:23 +02:00
Snaipe
0e1eec940a appveyor: Install cram 0.6 2016-04-13 12:20:30 +02:00
Snaipe
38653a6414 Merge branch 'master' into bleeding 
This merges the changes brought by 2.2.1 into bleeding.
 2016-04-13 11:57:37 +02:00
Snaipe
6b4fff1a30 readme: Fixed download links 2016-04-13 11:19:38 +02:00
Snaipe
9a035fab70 Merge branch 'features/sphinx-doxygen' into bleeding 2016-04-10 17:17:23 +02:00
Snaipe
7092a1c5aa doc: Fixed parameterized test dumping criterion namespace 2016-04-10 17:15:30 +02:00
Snaipe
952687c4c9 doc: Integrated doxygen docs for parameterized tests in sphinx 2016-04-10 16:27:35 +02:00
Snaipe
70d693766c doc: Integrated doxygen on invariants to sphinx page on theories 2016-04-10 16:27:30 +02:00
Snaipe
e24d2f3c79 doc: Ignore deprecated assertions 2016-04-10 15:17:06 +02:00
Snaipe
733153cca0 Set REPEAT_BRIEF to NO 2016-04-10 15:17:06 +02:00
Snaipe
91c85cb2bc Integrated theories doxygen into sphinx docs 2016-04-10 15:17:06 +02:00