Skip to content

Actions: TDacik/Astral

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
220 workflow runs
220 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'dev' of https://github.com/tdacik/astral into dev Run tests #153: Commit aa63047 pushed by TDacik
3m 40s dev
dev
3m 40s
[Inductive definitions] WIP Run tests #152: Commit 625b1e0 pushed by TDacik
6m 50s unfolding_automata
unfolding_automata
6m 50s
[API] Some documentation improvements. Run tests #151: Commit b317857 pushed by TDacik
3m 41s dev
dev
3m 41s
[Frontends] Improve documentation of low-level SL. Run tests #150: Commit 7b7930b pushed by TDacik
3m 46s dev
dev
3m 46s
[Frontends] Experimental front-end for low-level separation logic. Run tests #149: Commit 55dc357 pushed by TDacik
3m 46s dev
dev
3m 46s
[Debug] Fix declaration of sorts in .smt2 output Run tests #148: Commit ad49cfe pushed by TDacik
6m 42s dev
dev
6m 42s
[Debug] Do not define builtin SMT sorts in output Run tests #147: Commit e9a036a pushed by TDacik
5m 50s dev
dev
5m 50s
[Translation] Hotfix: distinguish betwenn location and non-location v… Run tests #146: Commit 5db52fd pushed by TDacik
6m 54s dev
dev
6m 54s
Add external backend for Z3 Run tests #145: Commit 16f6aea pushed by TDacik
7m 8s dev
dev
7m 8s
[SID] Remove debug output Run tests #144: Commit 9fd9ab8 pushed by TDacik
3m 44s dev
dev
3m 44s
[Backend] Distinguish consts and vars Run tests #143: Commit 53461ba pushed by TDacik
3m 48s dev
dev
3m 48s
[Backend] Hotfix: turn off printing in bitwuzla backend Run tests #142: Commit 78d7509 pushed by TDacik
3m 47s dev
dev
3m 47s
[Backend] switch to bitwuzla-cxx Run tests #141: Commit 7498385 pushed by TDacik
3m 53s dev
dev
3m 53s
[Backend] switch from bitwuzla -> bitwuzla-cxx Run tests #140: Commit 62ca0f4 pushed by TDacik
7m 43s dev
dev
7m 43s
[Solver] Do not check progress for predicate that will be inlined Run tests #139: Commit ba9dcff pushed by TDacik
3m 19s unfolding_automata
unfolding_automata
3m 19s
[Bounds] Add missing case Run tests #138: Commit 2832e06 pushed by TDacik
3m 35s unfolding_automata
unfolding_automata
3m 35s
[CLI] Print statistics after being interrupted Run tests #137: Commit 6306cf5 pushed by TDacik
3m 30s unfolding_automata
unfolding_automata
3m 30s
[Solver] Add more strict check of progress property Run tests #136: Commit 3f2e0a2 pushed by TDacik
3m 39s unfolding_automata
unfolding_automata
3m 39s
[CLI] Add a benchmark mode in which Astral does not check expected st… Run tests #135: Commit 1649085 pushed by TDacik
3m 25s unfolding_automata
unfolding_automata
3m 25s
[Solver] Do not translate incosistent formula Run tests #134: Commit 90acbee pushed by TDacik
3m 29s unfolding_automata
unfolding_automata
3m 29s
Merge Run tests #133: Commit 5ddb7bc pushed by TDacik
3m 38s unfolding_automata
unfolding_automata
3m 38s
[Preprocessing] Compute location bounds after unfolding Run tests #132: Commit c613e9c pushed by TDacik
3m 40s unfolding_automata
unfolding_automata
3m 40s
[Bounds] Improve computation for atomic formulae Run tests #131: Commit 4fe88dc pushed by TDacik
3m 30s unfolding_automata
unfolding_automata
3m 30s
[Translation] WIP: rework unfolding Run tests #130: Commit 0e781dd pushed by TDacik
6m 45s unfolding_automata
unfolding_automata
6m 45s
[Freed] Fix typo Run tests #129: Commit 58c159a pushed by TDacik
3m 39s dev
dev
3m 39s