Skip to content

Actions: dewert99/plat-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
203 workflow runs
203 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Start using second-stack2 to avoid unnecessary allocations Rust #203: Pull request #60 synchronize by dewert99
August 10, 2024 23:48 39m 20s second-stack2
second-stack2
August 10, 2024 23:48 39m 20s
Start using second-stack2 to avoid unnecessary allocations Rust #202: Pull request #60 opened by dewert99
August 10, 2024 23:01 40m 27s second-stack2
second-stack2
August 10, 2024 23:01 40m 27s
Update benchmark rust version Rust #201: Pull request #59 synchronize by dewert99
July 25, 2024 20:49 40m 26s rust1.79.0
rust1.79.0
July 25, 2024 20:49 40m 26s
Update benchmark rust version Rust #200: Pull request #59 opened by dewert99
July 15, 2024 21:46 39m 59s rust1.79.0
rust1.79.0
July 15, 2024 21:46 39m 59s
Use second-stack-vec to avoid unnecessary allocations Rust #199: Pull request #58 opened by dewert99
July 15, 2024 20:55 39m 46s second-stack
second-stack
July 15, 2024 20:55 39m 46s
Properly implemented (exit) and fixed issue with incremental Rust #198: Commit 0e04676 pushed by dewert99
June 14, 2024 04:20 36m 9s main
main
June 14, 2024 04:20 36m 9s
Properly implemented (exit) and fixed issue with incremental Rust #197: Pull request #57 opened by dewert99
June 14, 2024 00:37 35m 55s exit
exit
June 14, 2024 00:37 35m 55s
Improve explanation generation in cases where congruence causes repea… Rust #196: Commit 3a2f2af pushed by dewert99
May 30, 2024 17:09 35m 58s main
main
May 30, 2024 17:09 35m 58s
Improve explanation generation Rust #195: Pull request #56 opened by dewert99
May 30, 2024 00:15 35m 5s dedup-explaination-work
dedup-explaination-work
May 30, 2024 00:15 35m 5s
Update platsat Rust #194: Commit 84dc8d5 pushed by dewert99
May 28, 2024 17:08 35m 33s main
main
May 28, 2024 17:08 35m 33s
Update platsat Rust #193: Pull request #55 opened by dewert99
May 28, 2024 16:28 35m 38s platsat-lemma
platsat-lemma
May 28, 2024 16:28 35m 38s
Mark explanations as costly when they contain congruence (similar to … Rust #192: Commit 199b0ee pushed by dewert99
May 27, 2024 23:25 34m 21s main
main
May 27, 2024 23:25 34m 21s
Mark explanations as costly when they contain congruence Rust #191: Pull request #54 opened by dewert99
May 27, 2024 17:56 35m 28s costly-explain
costly-explain
May 27, 2024 17:56 35m 28s
Rename to plat-smt Rust #190: Commit bf02db0 pushed by dewert99
May 26, 2024 01:00 36m 38s main
main
May 26, 2024 01:00 36m 38s
Rename to plat-smt Rust #189: Pull request #53 synchronize by dewert99
May 26, 2024 00:20 36m 26s plat-smt
plat-smt
May 26, 2024 00:20 36m 26s
Rename to plat-smt Rust #188: Pull request #53 synchronize by dewert99
May 26, 2024 00:19 1m 50s plat-smt
plat-smt
May 26, 2024 00:19 1m 50s
Rename to plat-smt Rust #187: Pull request #53 synchronize by dewert99
May 26, 2024 00:16 1m 34s plat-smt
plat-smt
May 26, 2024 00:16 1m 34s
Rename to plat-smt Rust #186: Pull request #53 opened by dewert99
May 26, 2024 00:12 1m 30s plat-smt
plat-smt
May 26, 2024 00:12 1m 30s
Fix bug when combining (reset), (push), and (get-unsat-core) Rust #185: Commit dffb0ba pushed by dewert99
May 23, 2024 20:21 37m 4s main
main
May 23, 2024 20:21 37m 4s
Fix gen_sym warning Rust #184: Pull request #52 synchronize by dewert99
May 23, 2024 19:41 35m 51s fix-gensym-warning
fix-gensym-warning
May 23, 2024 19:41 35m 51s
Fix gen_sym warning Rust #183: Pull request #52 synchronize by dewert99
May 23, 2024 17:51 1m 9s fix-gensym-warning
fix-gensym-warning
May 23, 2024 17:51 1m 9s
Fix gen_sym warning Rust #182: Pull request #52 synchronize by dewert99
May 23, 2024 17:24 1m 0s fix-gensym-warning
fix-gensym-warning
May 23, 2024 17:24 1m 0s
Fix gen_sym warning Rust #181: Pull request #52 opened by dewert99
May 15, 2024 23:01 56s fix-gensym-warning
fix-gensym-warning
May 15, 2024 23:01 56s
Parse terms AST before adding to solver Rust #180: Pull request #50 synchronize by dewert99
May 9, 2024 23:26 35m 19s ast
ast
May 9, 2024 23:26 35m 19s
Optimize ite to not rely on symbols for deduplicating Rust #179: Commit 70c5097 pushed by dewert99
May 9, 2024 22:16 1m 2s main
main
May 9, 2024 22:16 1m 2s