Skip to content

Actions: fmlab-iis/AutoQ

Actions

C/C++ CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
docs(query): add file header for stats, count, print, language utilities C/C++ CI #639: Commit 682a8c6 pushed by alan23273850
19m 4s main
main
19m 4s
docs(general): add file header for product, union, Swap operations C/C++ CI #638: Commit 042cf2a pushed by alan23273850
18m 1s main
main
18m 1s
style: use quoted include for project header in inclusion_common.hh C/C++ CI #637: Commit 7b6c704 pushed by alan23273850
17m 42s main
main
17m 42s
docs(explicit_lts_sim): add description and section comments C/C++ CI #636: Commit 81d2235 pushed by alan23273850
19m 15s main
main
19m 15s
docs(reduce): add file header and section comments C/C++ CI #635: Commit d778b90 pushed by alan23273850
18m 22s main
main
18m 22s
refactor: rename gate helpers to snake_case C/C++ CI #634: Commit b7156ac pushed by alan23273850
17m 12s main
main
17m 12s
refactor(inclusion_symbolic): extract symbolic_leaf_pairs_smt_is_sat … C/C++ CI #633: Commit 54a20c2 pushed by alan23273850
18m 37s main
main
18m 37s