Skip to content

Actions: fmlab-iis/AutoQ

Actions

C/C++ CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
c-cpp.yml
284 workflow runs
284 workflow runs

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 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
refactor: move std::hash for Concrete/Symbolic to symbol/hash.hh C/C++ CI #643: Commit ea01d63 pushed by alan23273850
18m 36s main
main
18m 36s
refactor(gate): extract gate_copy_result_base_and_check_overflow helper C/C++ CI #642: Commit 16834d0 pushed by alan23273850
16m 49s main
main
16m 49s
refactor(inclusion): unify transA/transB building with build_inclusio… C/C++ CI #641: Commit 8bed9a8 pushed by alan23273850
18m 14s main
main
18m 14s
docs(execute): add file header for QASM execution and loop/gate handling C/C++ CI #640: Commit cbce498 pushed by alan23273850
17m 10s main
main
17m 10s