nissy-core

The "engine" of nissy, including the H48 optimal solver.
git clone https://git.tronto.net/nissy-core
Download | Log | Files | Refs | README | LICENSE

commit 5bb2b50a3f92c727ddf468df16bbc60a173d3115
parent 8e931537ff13137f49de58b84898a13ed3cdeeef
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Fri,  9 May 2025 18:36:24 +0200

Other minor fixes

Diffstat:
Msrc/solvers/tables.h | 4++--
Mtools/nissy_extra.h | 2+-
2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/solvers/tables.h b/src/solvers/tables.h @@ -39,7 +39,7 @@ readtableinfo( if (buf_size < INFOSIZE) { LOG("Error reading table: buffer size is too small " - "(given size %" PRIu64 " is smaller than INFOSIZE = %" + "(given size %zu is smaller than INFOSIZE = %" PRId64 ")\n", buf_size, INFOSIZE); return NISSY_ERROR_BUFFER_SIZE; } @@ -97,7 +97,7 @@ writetableinfo( if (data_size < info->fullsize) { LOG("Error writing table: buffer size is too small " - "(given %" PRId64 " but table requires %" PRId64 ")\n", + "(given %zu but table requires %" PRId64 ")\n", data_size, info->fullsize); return NISSY_ERROR_BUFFER_SIZE; } diff --git a/tools/nissy_extra.h b/tools/nissy_extra.h @@ -10,5 +10,5 @@ for testing purposes only. #include "../src/solvers/tables.h" size_t gendata_h48_derive(uint8_t, const unsigned char *, unsigned char *); -int parse_h48_solver(const char *, uint8_t [static 1], uint8_t [static 1]); +long long parse_h48_solver(const char *, uint8_t [static 1], uint8_t [static 1]); long long int nissy_datainfo(uint64_t, const unsigned char *);