Skip to content

Actions: fmlab-iis/AutoQ

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
288 workflow runs
288 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
update AE README platform wording for consistency C/C++ CI #668: Commit e216621 pushed by alan23273850
19m 8s CAV26
CAV26
19m 8s
update AE README wording for reviewer guidance C/C++ CI #667: Commit 82272c9 pushed by alan23273850
20m 36s CAV26
CAV26
20m 36s
TO -> TIMEOUT C/C++ CI #666: Commit 527573b pushed by alan23273850
20m 36s CAV26
CAV26
20m 36s
update gen_table.py C/C++ CI #665: Commit 3cda20d pushed by alan23273850
20m 31s CAV26
CAV26
20m 31s
update README to clarify non-Docker evaluation path and simplify inpu… C/C++ CI #664: Commit deed9be pushed by alan23273850
19m 36s CAV26
CAV26
19m 36s
AE: add installation command for required packages in README C/C++ CI #663: Commit d1ae951 pushed by alan23273850
20m 42s CAV26
CAV26
20m 42s
main -> cav26 C/C++ CI #662: Commit a2d3d71 pushed by alan23273850
20m 17s CAV26
CAV26
20m 17s
finalize artifact C/C++ CI #661: Commit ac0d9e1 pushed by alan23273850
20m 42s CAV26
CAV26
20m 42s
finalize artifact C/C++ CI #660: Commit ac0d9e1 pushed by alan23273850
19m 17s AE
AE
19m 17s
AE: update evaluation benchmarks and produce scripts C/C++ CI #659: Commit f210af6 pushed by alan23273850
21m 9s AE
AE
21m 9s
Infer missing |v|=n declarations in Extended Dirac specs C/C++ CI #658: Commit fecc816 pushed by alan23273850
20m 17s AE
AE
20m 17s
Infer variable length from ineq: L≠CStr => |L|=|CStr|, L≠R with known… C/C++ CI #657: Commit 80cf1ec pushed by alan23273850
20m 23s AE
AE
20m 23s
Infer |V|=|CStr| from eq form (V=CStr), no need for explicit length d… C/C++ CI #656: Commit 3b0f77e pushed by alan23273850
20m 50s AE
AE
20m 50s
refactor(benchmarks): use write_hsl in MOGrover, MOGroverSym, HXH, OE… C/C++ CI #655: Commit db64a99 pushed by alan23273850
19m 23s main
main
19m 23s
refactor(ExtendedDirac): EvaluationVisitorSet varcons helper and grap… C/C++ CI #654: Commit 743a377 pushed by alan23273850
18m 55s main
main
18m 55s
refactor(benchmarks): use write_hsl() and HSL_HEADER from common C/C++ CI #653: Commit 6082a50 pushed by alan23273850
19m 17s main
main
19m 17s
refactor: replace inline static stats with ExecutionStats context C/C++ CI #652: Commit 7942a94 pushed by alan23273850
19m 9s main
main
19m 9s
Refactor reduce and LTS: split by responsibility C/C++ CI #651: Commit cc8ccca pushed by alan23273850
18m 51s main
main
18m 51s
inclusion_symbolic: extract prepare_aut_for_scaled_inclusion (prepare… C/C++ CI #650: Commit cab4856 pushed by alan23273850
19m 23s main
main
19m 23s
Naming and style: unify includes, rename constants and types C/C++ CI #649: Commit 8e6f057 pushed by alan23273850
19m 4s main
main
19m 4s
Refactor: move headers to include/, group gate/inclusion/simulation s… C/C++ CI #648: Commit 64a00c7 pushed by alan23273850
19m 13s main
main
19m 13s
refactor(gate): split gate.cc into multiple .cc + helpers C/C++ CI #647: Commit 202c54d pushed by alan23273850
18m 53s main
main
18m 53s
refactor(inclusion_symbolic): extract symbolic_inclusion_bfs_holds, s… C/C++ CI #646: Commit 2a3c74f pushed by alan23273850
18m 17s main
main
18m 17s
refactor(simulation): extract LTS build to automata_to_lts.hh, slim r… C/C++ CI #645: Commit 206cfdc pushed by alan23273850
18m 1s main
main
18m 1s
doc(aut_description): document static execution stats, suggest future… C/C++ CI #644: Commit 5ec2de3 pushed by alan23273850
17m 21s main
main
17m 21s