From 6493658442212517fd20ddf3d394bd734b169475 Mon Sep 17 00:00:00 2001 From: Schrodinger ZHU Yifan Date: Sat, 25 Apr 2026 15:33:15 -0400 Subject: [PATCH 1/2] Add still-nanoda checker --- checkers/still-nanoda.yaml | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 checkers/still-nanoda.yaml diff --git a/checkers/still-nanoda.yaml b/checkers/still-nanoda.yaml new file mode 100644 index 0000000..bfeae99 --- /dev/null +++ b/checkers/still-nanoda.yaml @@ -0,0 +1,19 @@ +description: | + **Still-nanoda** - A fork of nanoda/sonanoda with experiemental optimization efforts. +url: https://github.com/SchrodingerZhu/still-nanoda +ref: cache-study-port +rev: 289d48daa4085613db016e203f62baca8c81fa0f +build: | + cargo build --release + cat > config.json <<__END__ + { + "use_stdin": true, + "nat_extension": true, + "string_extension": true, + "unpermitted_axiom_hard_error": false, + "unsafe_permit_all_axioms": true, + "num_threads": 4 + } + __END__ +run: | + target/release/nanoda_bin config.json < "$IN" || exit 1 From 4cb2e20a95858d37b6834572c51b32bbb2666c41 Mon Sep 17 00:00:00 2001 From: Schrodinger ZHU Yifan Date: Sun, 26 Apr 2026 09:51:29 -0400 Subject: [PATCH 2/2] Update revision hash in still-nanoda.yaml --- checkers/still-nanoda.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/checkers/still-nanoda.yaml b/checkers/still-nanoda.yaml index bfeae99..f997f85 100644 --- a/checkers/still-nanoda.yaml +++ b/checkers/still-nanoda.yaml @@ -2,7 +2,7 @@ description: | **Still-nanoda** - A fork of nanoda/sonanoda with experiemental optimization efforts. url: https://github.com/SchrodingerZhu/still-nanoda ref: cache-study-port -rev: 289d48daa4085613db016e203f62baca8c81fa0f +rev: 06a07b74436f8a111df836312ccac3a41b93c7b6 build: | cargo build --release cat > config.json <<__END__