The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

caverify 0.1.3

• Fixed an installation failure on R-devel with clang 22, seen on the CRAN flavour r-devel-linux-x86_64-fedora-clang. The R headers remap match to Rf_match unless R_NO_REMAP is defined, and clang 22’s omp.h uses match as a clause of #pragma omp declare variant, so an omp.h included after the R headers no longer parsed. omp.h is now included first and the C code compiles with R_NO_REMAP and the Rf_ prefixed API. No user-visible change.

caverify 0.1.2

• Automatic thread selection: by default the checker now uses half the machine’s logical cores (single-threaded for small jobs, capped to 2 during CRAN checks). No setup needed; options(caverify.threads = n) or the threads argument still override.

caverify 0.1.1

• Long verifications are now interruptible (Escape / Ctrl-C) without aborting the R session: combinations are processed in batches with an interrupt check between batches, and all working memory is R-managed so interruption cannot leak.
• threads now defaults to getOption("caverify.threads", 1L).
• DESCRIPTION metadata cleanup (URL, BugReports).

caverify 0.1.0

• First version: registered .Call interface, NA as wildcard (“flexible value”), optional OpenMP threading, 0- or 1-based symbol detection, tests including randomized cross-validation against a pure R oracle.

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.