Skip to content

Actions: pindakaashq/pindakaas

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
152 workflow runs
152 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Signal restarts in notify_backtrack IPASIR-UP callbacks Rust #242: Commit 8e4b76d pushed by Dekker1
September 3, 2024 02:17 1m 57s develop
develop
September 3, 2024 02:17 1m 57s
Signal restarts in notify_backtrack IPASIR-UP callbacks Rust #241: Pull request #70 opened by Dekker1
September 3, 2024 02:02 2m 8s Dekker1:feat/ipasir_up_restart
Dekker1:feat/ipasir_up_restart
September 3, 2024 02:02 2m 8s
Disable assertions in C solvers when compiling in release mode Rust #240: Commit dba2151 pushed by Dekker1
August 26, 2024 07:27 2m 15s develop
develop
August 26, 2024 07:27 2m 15s
Disable assertions in C solvers when compiling in release mode Rust #239: Pull request #69 opened by Dekker1
August 26, 2024 07:22 1m 42s Dekker1:fix/ndebug
Dekker1:fix/ndebug
August 26, 2024 07:22 1m 42s
Fix the in-place negation of Xor in the TseitinEncoder Rust #238: Commit 4bd4b2e pushed by Dekker1
August 19, 2024 03:25 1m 52s develop
develop
August 19, 2024 03:25 1m 52s
Fix the in-place negation of Xor in the TseitinEncoder Rust #237: Pull request #68 opened by Dekker1
August 19, 2024 03:16 1m 45s Dekker1:fix/xor_negation
Dekker1:fix/xor_negation
August 19, 2024 03:16 1m 45s
Fix the binding of empty Or formulas in the TseitinEncoder Rust #236: Commit 4b5cc9d pushed by Dekker1
August 19, 2024 01:27 2m 15s develop
develop
August 19, 2024 01:27 2m 15s
Fix the binding of empty Or formulas in the TseitinEncoder Rust #235: Pull request #67 opened by Dekker1
August 19, 2024 01:16 1m 54s Dekker1:fix/bind_empty_or
Dekker1:fix/bind_empty_or
August 19, 2024 01:16 1m 54s
Fix the binding of Not formulas in the TseitinEncoder bind helper Rust #234: Commit 54412b6 pushed by Dekker1
August 15, 2024 03:04 2m 16s develop
develop
August 15, 2024 03:04 2m 16s
Fix the binding of Not formulas in the TseitinEncoder bind helper Rust #233: Pull request #66 opened by Dekker1
August 15, 2024 02:58 2m 16s Dekker1:fix/bind_not
Dekker1:fix/bind_not
August 15, 2024 02:58 2m 16s
Change the IPASIR UP implementation to directly use C callback functions Rust #232: Commit 0e6cfbb pushed by Dekker1
August 14, 2024 12:23 2m 47s develop
develop
August 14, 2024 12:23 2m 47s
Change the IPASIR UP implementation to directly use C callback functions Rust #231: Pull request #65 synchronize by Dekker1
August 14, 2024 12:19 2m 4s Dekker1:feat/ipasir_up_c_callbacks
Dekker1:feat/ipasir_up_c_callbacks
August 14, 2024 12:19 2m 4s
Change the IPASIR UP implementation to directly use C callback functions Rust #230: Pull request #65 synchronize by Dekker1
August 14, 2024 12:18 1m 53s Dekker1:feat/ipasir_up_c_callbacks
Dekker1:feat/ipasir_up_c_callbacks
August 14, 2024 12:18 1m 53s
Change the IPASIR UP implementation to directly use C callback functions Rust #229: Pull request #65 opened by Dekker1
August 14, 2024 12:04 1m 48s Dekker1:feat/ipasir_up_c_callbacks
Dekker1:feat/ipasir_up_c_callbacks
August 14, 2024 12:04 1m 48s
Allow propagators to access solving actions in decide callback Rust #228: Commit 180c3dc pushed by Dekker1
August 5, 2024 11:59 2m 47s develop
develop
August 5, 2024 11:59 2m 47s
Allow propagators to access solving actions in decide callback Rust #227: Pull request #64 opened by Dekker1
August 5, 2024 11:56 2m 24s Dekker1:feat/ipasir_up_decide
Dekker1:feat/ipasir_up_decide
August 5, 2024 11:56 2m 24s
Silence clippy: unused Incomplete error type Rust #226: Commit dbded2b pushed by Dekker1
July 28, 2024 23:39 1m 55s develop
develop
July 28, 2024 23:39 1m 55s
Update Kissat to version 4.0.0 Rust #225: Pull request #63 synchronize by Dekker1
July 28, 2024 23:37 1m 59s Dekker1:feat/kissat-4.0
Dekker1:feat/kissat-4.0
July 28, 2024 23:37 1m 59s
Update Kissat to version 4.0.0 Rust #224: Pull request #63 opened by Dekker1
July 28, 2024 23:07 1m 48s Dekker1:feat/kissat-4.0
Dekker1:feat/kissat-4.0
July 28, 2024 23:07 1m 48s
Add additional Cadical patches for IPASIR-UP usage Rust #223: Commit b1ea046 pushed by Dekker1
July 23, 2024 23:14 3m 54s develop
develop
July 23, 2024 23:14 3m 54s
Add additional Cadical patches for IPASIR-UP usage Rust #222: Pull request #62 opened by Dekker1
July 23, 2024 23:10 3m 9s Dekker1:fix/ipasir-patch
Dekker1:fix/ipasir-patch
July 23, 2024 23:10 3m 9s
Add FFIPointer helper type to manage Rust types exposed to C Rust #221: Commit c30c0a6 pushed by Dekker1
June 27, 2024 03:01 2m 44s develop
develop
June 27, 2024 03:01 2m 44s
Fix IPASIR-UP FFI exposed SolvingActions object Rust #220: Pull request #61 opened by Dekker1
June 27, 2024 01:57 3m 50s Dekker1:fix/solvingactions
Dekker1:fix/solvingactions
June 27, 2024 01:57 3m 50s
Update intel-sat repository and disable compilation warnings Rust #219: Commit 4949be4 pushed by Dekker1
June 25, 2024 03:09 2m 41s develop
develop
June 25, 2024 03:09 2m 41s
Update CaDiCaL to work on Windows Rust #218: Pull request #60 synchronize by Dekker1
June 25, 2024 03:06 1m 59s Dekker1:feat/cadical-windows
Dekker1:feat/cadical-windows
June 25, 2024 03:06 1m 59s