Skip to content

Actions: fmlab-iis/AutoQ

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
204 workflow runs
204 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add reading support for CAV23's HSL C/C++ CI #562: Commit bf152d4 pushed by alan23273850
18m 52s AE
AE
18m 52s
add benchmarks for AE C/C++ CI #561: Commit aeccd31 pushed by alan23273850
20m 12s AE
AE
20m 12s
replace <<= with the original <= (symbolic is faked with <<=) C/C++ CI #560: Commit 7e22e35 pushed by alan23273850
18m 8s AE
AE
18m 8s
replace <<= with the original <= C/C++ CI #559: Commit 8f26d1f pushed by alan23273850
19m 28s AE
AE
19m 28s
add file2aut time in the LaTeX output C/C++ CI #558: Commit 730ab0a pushed by alan23273850
20m 42s main
main
20m 42s
finalize POPL25 execution file C/C++ CI #557: Commit 4633c94 pushed by alan23273850
1m 44s POPL25ae-support
POPL25ae-support
1m 44s
add file2aut time in the experiment C/C++ CI #556: Commit c458d90 pushed by alan23273850
1m 51s POPL25ae-support
POPL25ae-support
1m 51s
run LSTA only and ignore H2, HXH and MCToffoli C/C++ CI #555: Commit 9934ba9 pushed by alan23273850
1m 49s POPL25ae-support
POPL25ae-support
1m 49s
add PRINT_LANG command C/C++ CI #554: Commit f6d88bc pushed by alan23273850
18m 40s main
main
18m 40s
resume acceptance of the input format of *.lsta, fixing the original … C/C++ CI #553: Commit 1a06574 pushed by alan23273850
17m 36s main
main
17m 36s
update C/C++ CI #552: Commit 8cf8b8d pushed by alan23273850
18m 1s play_inclusion
play_inclusion
18m 1s
only two LSTAs without circuits C/C++ CI #551: Commit 3457588 pushed by alan23273850
19m 15s play_inclusion
play_inclusion
19m 15s
Merge branch 'main' of github.com:fmlab-iis/AutoQ C/C++ CI #550: Commit 283cb69 pushed by alan23273850
19m 19s main
main
19m 19s
new C/C++ CI #549: Commit e4a0cf4 pushed by alan23273850
18m 44s main_test
main_test
18m 44s
try C/C++ CI #548: Commit 1a83500 pushed by alan23273850
17m 52s main_test
main_test
17m 52s
new C/C++ CI #547: Commit 739bf72 pushed by alan23273850
19m 53s main_test
main_test
19m 53s
again C/C++ CI #546: Commit e82ec04 pushed by alan23273850
8m 36s main_test
main_test
8m 36s
test new c-cpp.yml C/C++ CI #545: Commit 25d2b2a pushed by alan23273850
5m 39s main_test
main_test
5m 39s
Trigger workflow C/C++ CI #544: Commit 09dd288 pushed by alan23273850
6m 58s main_test
main_test
6m 58s
Trigger workflow C/C++ CI #543: Commit 8bb68c7 pushed by alan23273850
5m 55s main_test
main_test
5m 55s
Merge branch 'main_test' of github.com:fmlab-iis/AutoQ into main_test C/C++ CI #542: Commit 334a7aa pushed by alan23273850
6m 41s main_test
main_test
6m 41s
(make release -> make) in README.md C/C++ CI #541: Commit a44e6ae pushed by alan23273850
5m 13s main
main
5m 13s
install libantlr4-runtime via command line C/C++ CI #540: Commit 43ad4d0 pushed by alan23273850
6m 0s main
main
6m 0s
ttt C/C++ CI #539: Commit c1e9012 pushed by alan23273850
5m 27s main_test
main_test
5m 27s
ttt C/C++ CI #538: Commit 2f1a50f pushed by alan23273850
5m 3s main_test
main_test
5m 3s