Skip to content

Actions: sneeuwballen/zipperposition

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Consistently embed whole product polynomial as one term. build #556: Commit 1ac8a1b pushed by 0function
June 20, 2024 17:07 5m 9s work-in-progress-indexed-sums
work-in-progress-indexed-sums
June 20, 2024 17:07 5m 9s
Add form for basic “ 1” shifts, distinct from substitutions ⊇ multish… build #555: Commit d018ae5 pushed by 0function
June 5, 2024 16:18 7m 2s work-in-progress-indexed-sums
work-in-progress-indexed-sums
June 5, 2024 16:18 7m 2s
Add variable dependencies to term while propagating to substitution t… build #554: Commit 2443423 pushed by 0function
March 20, 2024 19:17 1m 45s work-in-progress-indexed-sums
work-in-progress-indexed-sums
March 20, 2024 19:17 1m 45s
Made swapping of triangular summations test case pass. build #553: Commit 158e26b pushed by 0function
March 6, 2024 17:28 7m 11s work-in-progress-indexed-sums
work-in-progress-indexed-sums
March 6, 2024 17:28 7m 11s
bug fix build #552: Commit 050072e pushed by c-cube
February 8, 2024 16:01 3m 59s master
master
February 8, 2024 16:01 3m 59s
detail in CI build #551: Commit a22e976 pushed by c-cube
February 8, 2024 15:23 7m 20s master
master
February 8, 2024 15:23 7m 20s
Small bug fix to prevent assert error when calling E at 0.0 on problem with an empty clause build #550: Pull request #100 opened by nartannt
February 8, 2024 12:19 7m 16s nartannt:empty_clause_assert_error
nartannt:empty_clause_assert_error
February 8, 2024 12:19 7m 16s
Still non-termination with binomial coefficients and ordering errors … build #549: Commit 82cfc2e pushed by 0function
January 17, 2024 19:42 7m 4s work-in-progress-indexed-sums
work-in-progress-indexed-sums
January 17, 2024 19:42 7m 4s
Try paper's examples: 2/8 pass. build #548: Commit 08638ec pushed by 0function
December 15, 2023 19:58 6m 43s work-in-progress-indexed-sums
work-in-progress-indexed-sums
December 15, 2023 19:58 6m 43s
faster CI build #547: Commit 2889c1f pushed by c-cube
December 7, 2023 05:27 7m 11s master
master
December 7, 2023 05:27 7m 11s
remove ccshims build #546: Commit 1629df3 pushed by c-cube
December 7, 2023 05:27 8m 45s master
master
December 7, 2023 05:27 8m 45s
Avoid "-" in TSTP variable names build #545: Commit 7ea2a18 pushed by abentkamp
November 14, 2023 20:21 6m 57s master
master
November 14, 2023 20:21 6m 57s
Turn predicate elimination output into debug msgs build #544: Commit 0c92b3c pushed by abentkamp
November 8, 2023 15:46 13m 21s master
master
November 8, 2023 15:46 13m 21s
fix: Comment "logic: " build #543: Pull request #98 opened by PratherConid
November 8, 2023 15:17 10m 57s PratherConid:master
PratherConid:master
November 8, 2023 15:17 10m 57s
clarify types in TPTP output build #542: Commit 2874956 pushed by abentkamp
November 2, 2023 20:55 9m 34s tptp-output
tptp-output
November 2, 2023 20:55 9m 34s
Work with embedding of terms & polynomials. No shift simplification q… build #541: Commit 47155f3 pushed by 0function
October 31, 2023 14:32 10m 47s work-in-progress-indexed-sums
work-in-progress-indexed-sums
October 31, 2023 14:32 10m 47s
adapt zipperposition to deprecated functions/modules (CCArray.create,… build #540: Commit c04d9df pushed by c-cube
October 30, 2023 14:17 10m 13s master
master
October 30, 2023 14:17 10m 13s
Fix mtime oseq build #539: Pull request #97 synchronize by quicquid
October 30, 2023 14:03 8m 39s quicquid:fix-mtime_oseq
quicquid:fix-mtime_oseq
October 30, 2023 14:03 8m 39s
modify CI params build #538: Commit c7017d6 pushed by c-cube
October 30, 2023 13:53 11m 16s master
master
October 30, 2023 13:53 11m 16s
Fix mtime oseq build #537: Pull request #97 opened by quicquid
October 30, 2023 11:40 7m 38s quicquid:fix-mtime_oseq
quicquid:fix-mtime_oseq
October 30, 2023 11:40 7m 38s
portfolio script bug fix build #536: Pull request #96 opened by PratherConid
October 2, 2023 08:51 13m 5s master
master
October 2, 2023 08:51 13m 5s
Merge pull request #96 from PratherConid/master build #535: Commit 5361350 pushed by abentkamp
October 2, 2023 08:46 18m 34s master
master
October 2, 2023 08:46 18m 34s
Fix dynamic debug type tests. build #534: Commit a0d6654 pushed by 0function
August 8, 2023 18:05 5m 36s work-in-progress-indexed-sums
work-in-progress-indexed-sums
August 8, 2023 18:05 5m 36s
Manual merging of ∑ stuff to version 2.1. Hide tests folder temporarily. build #533: Commit 5507a59 pushed by 0function
August 7, 2023 18:20 5m 52s work-in-progress-indexed-sums
work-in-progress-indexed-sums
August 7, 2023 18:20 5m 52s
Use Zipperposition v2.1 as the basis to compile on Cygwin (without te… build #532: Commit 977766e pushed by 0function
August 7, 2023 10:11 10m 19s work-in-progress-indexed-sums
work-in-progress-indexed-sums
August 7, 2023 10:11 10m 19s