Issues

• Conflicting licence files: LICENSE (MIT) and COPYING (GPLv3)

  fmlab-iis/AutoQ#60 · Filter by author ondrik opened on Oct 18, 2026

• Code cleanup: dead code and duplicated logic

  fmlab-iis/AutoQ#57 · Filter by author ondrik opened on Oct 8, 2026

• autoq aborts with SIGABRT on malformed input because main only catches AutoQError

  fmlab-iis/AutoQ#56 · Filter by author ondrik opened on Oct 8, 2026

• Automata<Index>::operator<= defined twice; SymbolTag::tag(int) wrong for bits >= 31; per-TU copies of parser helpers

  fmlab-iis/AutoQ#55 · Filter by author ondrik opened on Oct 8, 2026

• Inclusion silently drops same-color .lsta transitions into one state

  fmlab-iis/AutoQ#54 · Filter by author ondrik opened on Oct 8, 2026

• operator&& (intersection) overflows the color-pair shift; A && A accepts states not in A

  fmlab-iis/AutoQ#53 · Filter by author ondrik opened on Oct 8, 2026

• Concrete::omega_multiplication(r) with r < 0 multiplies by w^|r| instead of w^r

  fmlab-iis/AutoQ#52 · Filter by author ondrik opened on Oct 8, 2026

• light_reduce_up() is not language-preserving (used by reduce() when hasLoop)

  fmlab-iis/AutoQ#51 · Filter by author ondrik opened on Oct 8, 2026

• SmartSet::erase does not update last_ when removing the tail element

  fmlab-iis/AutoQ#50 · Filter by author ondrik opened on Oct 8, 2026

• GroverWhile/RUS unit tests ignore the loop-invariant result of execute()

  fmlab-iis/AutoQ#49 · Filter by author ondrik opened on Oct 8, 2026

• Concrete and symbolic .aut inputs fail with misleading "The type of Complex is not supported!"

  fmlab-iis/AutoQ#48 · Filter by author ondrik opened on Oct 8, 2026

• Full-line comment inside a for loop body is rejected as "unsupported gate"

  fmlab-iis/AutoQ#47 · Filter by author ondrik opened on Oct 8, 2026

• autoq eq rejects OpenQASM 3 circuits declaring qubits as qubit[N] name;

  fmlab-iis/AutoQ#46 · Filter by author ondrik opened on Oct 8, 2026

• Dockerfile does not install libantlr4-runtime-dev; make release fails to link

  fmlab-iis/AutoQ#45 · Filter by author ondrik opened on Oct 8, 2026

• CLI test passes on a [failed] verdict, has no autoq dependency, and is not run in CI

  fmlab-iis/AutoQ#44 · Filter by author ondrik opened on Oct 8, 2026

• Build fails without CMAKE_BUILD_TYPE or with RelWithDebInfo/MinSizeRel

  fmlab-iis/AutoQ#43 · Filter by author ondrik opened on Oct 8, 2026

• Gate line with trailing comment // rx(...) q[n]; is executed as Rx/Rz instead of the gate

  fmlab-iis/AutoQ#42 · Filter by author ondrik opened on Oct 8, 2026

• Injected ExecutionStats lost in gates and operator<=; --loopsum gate count includes fix-point rounds

  fmlab-iis/AutoQ#41 · Filter by author ondrik opened on Oct 8, 2026

• Inclusion check crashes when the right-hand automaton has no root states

  fmlab-iis/AutoQ#40 · Filter by author ondrik opened on Oct 8, 2026

• autoq eq segfaults on a circuit containing a while loop

  fmlab-iis/AutoQ#39 · Filter by author ondrik opened on Oct 8, 2026

• Unknown or empty if/while guard variable aborts with uncaught std::out_of_range

  fmlab-iis/AutoQ#38 · Filter by author ondrik opened on Oct 8, 2026

• Unsupported for loop header aborts with uncaught std::invalid_argument (stoi)

  fmlab-iis/AutoQ#37 · Filter by author ondrik opened on Oct 8, 2026

• .lsta leaf without a color, or with a non-numeric color, aborts with uncaught boost::bad_lexical_cast

  fmlab-iis/AutoQ#36 · Filter by author ondrik opened on Oct 8, 2026

• Extended Dirac: x≠c with a binary constant shorter than |x| aborts with uncaught std::out_of_range

  fmlab-iis/AutoQ#35 · Filter by author ondrik opened on Oct 8, 2026

• A shorter ket in .hsl input aborts autoq with std::out_of_range instead of an AutoQ error

  fmlab-iis/AutoQ#34 · Filter by author ondrik opened on Oct 8, 2026