From 21c7967f4410c20466c5730859b19a54a7ed542e Mon Sep 17 00:00:00 2001 From: Zander Thannhauser Date: Sun, 10 Aug 2025 13:40:12 -0500 Subject: [PATCH] . --- calculate_simplifications.c | 5 ++++- get_cached_simplifications.c | 2 +- update_simplifications.c | 0 update_simplifications.h | 0 4 files changed, 5 insertions(+), 2 deletions(-) delete mode 100644 update_simplifications.c delete mode 100644 update_simplifications.h diff --git a/calculate_simplifications.c b/calculate_simplifications.c index f6c2683..65868b4 100644 --- a/calculate_simplifications.c +++ b/calculate_simplifications.c @@ -493,7 +493,10 @@ void helper( if (using_me_cost < INT_MAX) { - int assign_cost = cost + 1 + using_me_cost; + // int assign_cost = cost + 1 + using_me_cost; + + // what if an assignment was free? + int assign_cost = cost + 0 + using_me_cost; if (assign_cost < simps->main.data[t].cost) { diff --git a/get_cached_simplifications.c b/get_cached_simplifications.c index 7ac17b7..5e4bb62 100644 --- a/get_cached_simplifications.c +++ b/get_cached_simplifications.c @@ -25,7 +25,7 @@ static struct path { char data[PATH_MAX]; } get_path( { struct path path = {}; - strcat(path.data, ".simplifier-cache-1"); + strcat(path.data, ".simplifier-cache-64GB"); if (flags->use_operators.not) strcat(path.data, "-not"); diff --git a/update_simplifications.c b/update_simplifications.c deleted file mode 100644 index e69de29..0000000 diff --git a/update_simplifications.h b/update_simplifications.h deleted file mode 100644 index e69de29..0000000