Merge remote-tracking branch 'upstream/master'

Merge upstream

1 files changed, 13 insertions, 0 deletions

diff --git a/src/nissy.h b/src/nissy.h
index 336130c..0545556 100644
--- a/src/nissy.h
+++ b/src/nissy.h
@@ -86,6 +86,19 @@ int64_t nissy_gendata(
         void *generated_data
 );
 
+/* Temporarily added to test h48 intermediate tables */
+int64_t nissy_derivedata(
+        const char *options,
+        const void *fulltable,
+        void *generated_data
+);
+
+int64_t nissy_checkdata(
+        const char *solver,
+        const char *options,
+        const void *data
+);
+
 /* Print information on a data table via the provided callback writer */
 int64_t nissy_datainfo(
         const void *table,