Skip to content

Actions: TDacik/Astral

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
119 workflow runs
119 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Base logic] fix bug in exists Run tests #44: Commit 03c445b pushed by TDacik
March 5, 2025 10:35 14m 44s dev
dev
March 5, 2025 10:35 14m 44s
[Translation] Fix: add field introduction only for pointer fields Run tests #43: Commit 3d68c5c pushed by TDacik
March 3, 2025 16:47 15m 44s dev
dev
March 3, 2025 16:47 15m 44s
[Translation] Add field introduction to heap encoding axioms Run tests #42: Commit 54594e6 pushed by TDacik
March 3, 2025 16:43 15m 33s dev
dev
March 3, 2025 16:43 15m 33s
[Translation] Fix translation of non-pointer fields Run tests #41: Commit e8e3f9b pushed by TDacik
March 3, 2025 13:49 16m 36s dev
dev
March 3, 2025 13:49 16m 36s
[Inductive predicates] Unfold rhs using SL-graph of lhs Run tests #40: Commit aa6bacc pushed by TDacik
March 3, 2025 12:22 16m 6s dev
dev
March 3, 2025 12:22 16m 6s
[Fix] Update main Run tests #39: Commit 9f2171c pushed by TDacik
February 27, 2025 15:22 16m 35s dev
dev
February 27, 2025 15:22 16m 35s
[Performance] Fix performance issue caused by unused debug output Run tests #38: Commit f2c7831 pushed by TDacik
February 27, 2025 14:41 15m 2s dev
dev
February 27, 2025 14:41 15m 2s
[API] towards uniform handling of internal errors Run tests #37: Commit e62bf3e pushed by TDacik
February 26, 2025 15:18 19m 33s dev
dev
February 26, 2025 15:18 19m 33s
[Heap encoding] Raise internal error instead of failure Run tests #36: Commit 1ad3459 pushed by TDacik
February 25, 2025 18:16 16m 9s dev
dev
February 25, 2025 18:16 16m 9s
[Parser] Fix typing for nil Run tests #35: Commit c53d62d pushed by TDacik
February 20, 2025 18:23 16m 11s dev
dev
February 20, 2025 18:23 16m 11s
[Parser] Add pointer type checks, update tests Run tests #34: Commit 0613561 pushed by TDacik
February 20, 2025 17:56 15m 36s dev
dev
February 20, 2025 17:56 15m 36s
[Tests] Add unfolding tests Run tests #33: Commit 6bca7a6 pushed by TDacik
February 19, 2025 16:18 18m 20s dev
dev
February 19, 2025 16:18 18m 20s
[Predicate unfolding] Move unfolding functions outside SID so they ca… Run tests #32: Commit ab4bf22 pushed by TDacik
February 19, 2025 15:14 16m 4s dev
dev
February 19, 2025 15:14 16m 4s
[Tests] Cram tests for some simple error inputs Run tests #31: Commit dc823e3 pushed by TDacik
February 19, 2025 13:57 16m 35s dev
dev
February 19, 2025 13:57 16m 35s
[Small models] WIP: small model search Run tests #30: Commit 5282e6b pushed by TDacik
February 19, 2025 13:18 16m 31s dev
dev
February 19, 2025 13:18 16m 31s
Fix Run tests #29: Commit 3ef1dac pushed by TDacik
February 19, 2025 08:57 15m 51s dev
dev
February 19, 2025 08:57 15m 51s
[Preprocessing] Fix ite-introduction for existential symbolic heaps Run tests #28: Commit 23d2c9d pushed by TDacik
February 18, 2025 17:33 14m 48s dev
dev
February 18, 2025 17:33 14m 48s
[Benchmarks] Ignore user-defined inductive defs for now Run tests #27: Commit ce7ac3e pushed by TDacik
February 18, 2025 17:13 14m 52s dev
dev
February 18, 2025 17:13 14m 52s
[Solver] WIP: simplify context and internal error handling Run tests #26: Commit 7b19876 pushed by TDacik
February 18, 2025 09:27 14m 32s dev
dev
February 18, 2025 09:27 14m 32s
[Debug] Fix Run tests #25: Commit 4611e77 pushed by TDacik
February 17, 2025 17:14 16m 0s dev
dev
February 17, 2025 17:14 16m 0s
[Logic] Rewrite identifier implementation + more tests Run tests #24: Commit bf26350 pushed by TDacik
February 17, 2025 16:53 18m 8s dev
dev
February 17, 2025 16:53 18m 8s
[Parser] Better error handling. Run tests #23: Commit 36ebe46 pushed by TDacik
February 12, 2025 17:47 16m 1s dev
dev
February 12, 2025 17:47 16m 1s
[Translation] Fix incorrect translation of heap-term sort. Simplify l… Run tests #22: Commit 1d2de00 pushed by TDacik
February 12, 2025 14:51 16m 32s dev
dev
February 12, 2025 14:51 16m 32s
[Preprocessing] Turn of simplification before parsing in case of SL w… Run tests #21: Commit 4e10e2f pushed by TDacik
February 12, 2025 12:23 16m 26s dev
dev
February 12, 2025 12:23 16m 26s
[Preprocessing] Generalise negation normalisation + tests Run tests #20: Commit 1fb0446 pushed by TDacik
February 10, 2025 12:34 15m 58s dev
dev
February 10, 2025 12:34 15m 58s