diff --git a/.err b/.err deleted file mode 100644 index d427261e..00000000 --- a/.err +++ /dev/null @@ -1,2344 +0,0 @@ - error: subprocess-exited-with-error - - × Building wheel for pystaq (pyproject.toml) did not run successfully. - │ exit code: 1 - ╰─> [2334 lines of output] - running bdist_wheel - running build - running build_ext - building 'pystaq' extension - x86_64-linux-gnu-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/usr/include/python3.8 -c pystaq/staq_wrapper.cpp -o build/temp.linux-x86_64-cpython-38/pystaq/staq_wrapper.o -fvisibility=hidden -g0 -std=c++17 -Ilibs -Iinclude -Iqasmtools/include -DQASM_SYNTH -DEXPR_GMP -DBUILD_GRID_SYNTH - In file included from libs/tweedledum/gates/gate_base.hpp:8, - from libs/caterpillar/synthesis/../stg_gate.hpp:7, - from libs/caterpillar/synthesis/lhrs.hpp:8, - from include/synthesis/logic_synthesis.hpp:37, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/tweedledum/gates/../utils/angle.hpp:34: warning: ignoring #pragma region Constructors [-Wunknown-pragmas] - 34 | #pragma region Constructors - | - libs/tweedledum/gates/../utils/angle.hpp:43: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 43 | #pragma endregion - | - libs/tweedledum/gates/../utils/angle.hpp:45: warning: ignoring #pragma region Properties [-Wunknown-pragmas] - 45 | #pragma region Properties - | - libs/tweedledum/gates/../utils/angle.hpp:59: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 59 | #pragma endregion - | - libs/tweedledum/gates/../utils/angle.hpp:61: warning: ignoring #pragma region Overloads [-Wunknown-pragmas] - 61 | #pragma region Overloads - | - libs/tweedledum/gates/../utils/angle.hpp:140: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 140 | #pragma endregion - | - In file included from libs/caterpillar/synthesis/../stg_gate.hpp:7, - from libs/caterpillar/synthesis/lhrs.hpp:8, - from include/synthesis/logic_synthesis.hpp:37, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/tweedledum/gates/gate_base.hpp:20: warning: ignoring #pragma region Constructors [-Wunknown-pragmas] - 20 | #pragma region Constructors - | - libs/tweedledum/gates/gate_base.hpp:41: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 41 | #pragma endregion - | - libs/tweedledum/gates/gate_base.hpp:43: warning: ignoring #pragma region Operation [-Wunknown-pragmas] - 43 | #pragma region Operation properties - | - libs/tweedledum/gates/gate_base.hpp:123: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 123 | #pragma endregion - | - libs/tweedledum/gates/gate_base.hpp:125: warning: ignoring #pragma region Angle [-Wunknown-pragmas] - 125 | #pragma region Angle information - | - libs/tweedledum/gates/gate_base.hpp:134: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 134 | #pragma endregion - | - libs/tweedledum/gates/gate_base.hpp:136: warning: ignoring #pragma region Overloads [-Wunknown-pragmas] - 136 | #pragma region Overloads - | - libs/tweedledum/gates/gate_base.hpp:143: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 143 | #pragma endregion - | - In file included from libs/tweedledum/networks/detail/storage.hpp:8, - from libs/tweedledum/networks/netlist.hpp:10, - from libs/caterpillar/synthesis/../stg_gate.hpp:8, - from libs/caterpillar/synthesis/lhrs.hpp:8, - from include/synthesis/logic_synthesis.hpp:37, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/tweedledum/networks/detail/../io_id.hpp:20: warning: ignoring #pragma region Types [-Wunknown-pragmas] - 20 | #pragma region Types and constructors - | - libs/tweedledum/networks/detail/../io_id.hpp:27: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 27 | #pragma endregion - | - libs/tweedledum/networks/detail/../io_id.hpp:29: warning: ignoring #pragma region Properties [-Wunknown-pragmas] - 29 | #pragma region Properties - | - libs/tweedledum/networks/detail/../io_id.hpp:40: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 40 | #pragma endregion - | - libs/tweedledum/networks/detail/../io_id.hpp:42: warning: ignoring #pragma region Modifiers [-Wunknown-pragmas] - 42 | #pragma region Modifiers - | - libs/tweedledum/networks/detail/../io_id.hpp:44: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 44 | #pragma endregion - | - libs/tweedledum/networks/detail/../io_id.hpp:46: warning: ignoring #pragma region Overloads [-Wunknown-pragmas] - 46 | #pragma region Overloads - | - libs/tweedledum/networks/detail/../io_id.hpp:60: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 60 | #pragma endregion - | - In file included from libs/caterpillar/synthesis/../stg_gate.hpp:8, - from libs/caterpillar/synthesis/lhrs.hpp:8, - from include/synthesis/logic_synthesis.hpp:37, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/tweedledum/networks/netlist.hpp:28: warning: ignoring #pragma region Types [-Wunknown-pragmas] - 28 | #pragma region Types and constructors - | - libs/tweedledum/networks/netlist.hpp:41: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 41 | #pragma endregion - | - libs/tweedledum/networks/netlist.hpp:43: warning: ignoring #pragma region I [-Wunknown-pragmas] - 43 | #pragma region I / O and ancillae qubits - | - libs/tweedledum/networks/netlist.hpp:83: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 83 | #pragma endregion - | - libs/tweedledum/networks/netlist.hpp:85: warning: ignoring #pragma region Properties [-Wunknown-pragmas] - 85 | #pragma region Properties - | - libs/tweedledum/networks/netlist.hpp:89: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 89 | #pragma endregion - | - libs/tweedledum/networks/netlist.hpp:91: warning: ignoring #pragma region Structural [-Wunknown-pragmas] - 91 | #pragma region Structural properties - | - libs/tweedledum/networks/netlist.hpp:107: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 107 | #pragma endregion - | - libs/tweedledum/networks/netlist.hpp:109: warning: ignoring #pragma region Nodes [-Wunknown-pragmas] - 109 | #pragma region Nodes - | - libs/tweedledum/networks/netlist.hpp:129: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 129 | #pragma endregion - | - libs/tweedledum/networks/netlist.hpp:131: warning: ignoring #pragma region Add [-Wunknown-pragmas] - 131 | #pragma region Add gates(ids) - | - libs/tweedledum/networks/netlist.hpp:165: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 165 | #pragma endregion - | - libs/tweedledum/networks/netlist.hpp:167: warning: ignoring #pragma region Add [-Wunknown-pragmas] - 167 | #pragma region Add gates(labels) - | - libs/tweedledum/networks/netlist.hpp:193: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 193 | #pragma endregion - | - libs/tweedledum/networks/netlist.hpp:195: warning: ignoring #pragma region Const [-Wunknown-pragmas] - 195 | #pragma region Const iterators - | - libs/tweedledum/networks/netlist.hpp:347: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 347 | #pragma endregion - | - libs/tweedledum/networks/netlist.hpp:349: warning: ignoring #pragma region Rewiring [-Wunknown-pragmas] - 349 | #pragma region Rewiring - | - libs/tweedledum/networks/netlist.hpp:362: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 362 | #pragma endregion - | - libs/tweedledum/networks/netlist.hpp:364: warning: ignoring #pragma region Visited [-Wunknown-pragmas] - 364 | #pragma region Visited flags - | - libs/tweedledum/networks/netlist.hpp:377: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 377 | #pragma endregion - | - In file included from libs/caterpillar/synthesis/strategies/mapping_strategy.hpp:14, - from libs/caterpillar/synthesis/lhrs.hpp:9, - from include/synthesis/logic_synthesis.hpp:37, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/mockturtle/traits.hpp:63: warning: ignoring #pragma region is_topologically_sorted [-Wunknown-pragmas] - 63 | #pragma region is_topologically_sorted - | - libs/mockturtle/traits.hpp:76: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 76 | #pragma endregion - | - libs/mockturtle/traits.hpp:78: warning: ignoring #pragma region has_get_constant [-Wunknown-pragmas] - 78 | #pragma region has_get_constant - | - libs/mockturtle/traits.hpp:89: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 89 | #pragma endregion - | - libs/mockturtle/traits.hpp:91: warning: ignoring #pragma region has_create_pi [-Wunknown-pragmas] - 91 | #pragma region has_create_pi - | - libs/mockturtle/traits.hpp:102: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 102 | #pragma endregion - | - libs/mockturtle/traits.hpp:104: warning: ignoring #pragma region has_create_po [-Wunknown-pragmas] - 104 | #pragma region has_create_po - | - libs/mockturtle/traits.hpp:115: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 115 | #pragma endregion - | - libs/mockturtle/traits.hpp:117: warning: ignoring #pragma region has_create_ro [-Wunknown-pragmas] - 117 | #pragma region has_create_ro - | - libs/mockturtle/traits.hpp:128: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 128 | #pragma endregion - | - libs/mockturtle/traits.hpp:130: warning: ignoring #pragma region has_create_ri [-Wunknown-pragmas] - 130 | #pragma region has_create_ri - | - libs/mockturtle/traits.hpp:142: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 142 | #pragma endregion - | - libs/mockturtle/traits.hpp:144: warning: ignoring #pragma region has_is_combinational [-Wunknown-pragmas] - 144 | #pragma region has_is_combinational - | - libs/mockturtle/traits.hpp:155: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 155 | #pragma endregion - | - libs/mockturtle/traits.hpp:157: warning: ignoring #pragma region has_is_constant [-Wunknown-pragmas] - 157 | #pragma region has_is_constant - | - libs/mockturtle/traits.hpp:168: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 168 | #pragma endregion - | - libs/mockturtle/traits.hpp:170: warning: ignoring #pragma region has_is_ci [-Wunknown-pragmas] - 170 | #pragma region has_is_ci - | - libs/mockturtle/traits.hpp:180: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 180 | #pragma endregion - | - libs/mockturtle/traits.hpp:182: warning: ignoring #pragma region has_is_pi [-Wunknown-pragmas] - 182 | #pragma region has_is_pi - | - libs/mockturtle/traits.hpp:192: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 192 | #pragma endregion - | - libs/mockturtle/traits.hpp:194: warning: ignoring #pragma region has_is_ro [-Wunknown-pragmas] - 194 | #pragma region has_is_ro - | - libs/mockturtle/traits.hpp:204: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 204 | #pragma endregion - | - libs/mockturtle/traits.hpp:206: warning: ignoring #pragma region has_constant_value [-Wunknown-pragmas] - 206 | #pragma region has_constant_value - | - libs/mockturtle/traits.hpp:217: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 217 | #pragma endregion - | - libs/mockturtle/traits.hpp:219: warning: ignoring #pragma region has_create_buf [-Wunknown-pragmas] - 219 | #pragma region has_create_buf - | - libs/mockturtle/traits.hpp:230: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 230 | #pragma endregion - | - libs/mockturtle/traits.hpp:232: warning: ignoring #pragma region has_create_not [-Wunknown-pragmas] - 232 | #pragma region has_create_not - | - libs/mockturtle/traits.hpp:243: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 243 | #pragma endregion - | - libs/mockturtle/traits.hpp:245: warning: ignoring #pragma region has_create_and [-Wunknown-pragmas] - 245 | #pragma region has_create_and - | - libs/mockturtle/traits.hpp:257: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 257 | #pragma endregion - | - libs/mockturtle/traits.hpp:259: warning: ignoring #pragma region has_create_nand [-Wunknown-pragmas] - 259 | #pragma region has_create_nand - | - libs/mockturtle/traits.hpp:271: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 271 | #pragma endregion - | - libs/mockturtle/traits.hpp:273: warning: ignoring #pragma region has_create_or [-Wunknown-pragmas] - 273 | #pragma region has_create_or - | - libs/mockturtle/traits.hpp:285: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 285 | #pragma endregion - | - libs/mockturtle/traits.hpp:287: warning: ignoring #pragma region has_create_nor [-Wunknown-pragmas] - 287 | #pragma region has_create_nor - | - libs/mockturtle/traits.hpp:299: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 299 | #pragma endregion - | - libs/mockturtle/traits.hpp:301: warning: ignoring #pragma region has_create_lt [-Wunknown-pragmas] - 301 | #pragma region has_create_lt - | - libs/mockturtle/traits.hpp:313: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 313 | #pragma endregion - | - libs/mockturtle/traits.hpp:315: warning: ignoring #pragma region has_create_le [-Wunknown-pragmas] - 315 | #pragma region has_create_le - | - libs/mockturtle/traits.hpp:327: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 327 | #pragma endregion - | - libs/mockturtle/traits.hpp:329: warning: ignoring #pragma region has_create_gt [-Wunknown-pragmas] - 329 | #pragma region has_create_gt - | - libs/mockturtle/traits.hpp:341: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 341 | #pragma endregion - | - libs/mockturtle/traits.hpp:343: warning: ignoring #pragma region has_create_ge [-Wunknown-pragmas] - 343 | #pragma region has_create_ge - | - libs/mockturtle/traits.hpp:355: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 355 | #pragma endregion - | - libs/mockturtle/traits.hpp:357: warning: ignoring #pragma region has_create_xor [-Wunknown-pragmas] - 357 | #pragma region has_create_xor - | - libs/mockturtle/traits.hpp:369: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 369 | #pragma endregion - | - libs/mockturtle/traits.hpp:371: warning: ignoring #pragma region has_create_xnor [-Wunknown-pragmas] - 371 | #pragma region has_create_xnor - | - libs/mockturtle/traits.hpp:383: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 383 | #pragma endregion - | - libs/mockturtle/traits.hpp:385: warning: ignoring #pragma region has_create_maj [-Wunknown-pragmas] - 385 | #pragma region has_create_maj - | - libs/mockturtle/traits.hpp:397: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 397 | #pragma endregion - | - libs/mockturtle/traits.hpp:399: warning: ignoring #pragma region has_create_ite [-Wunknown-pragmas] - 399 | #pragma region has_create_ite - | - libs/mockturtle/traits.hpp:411: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 411 | #pragma endregion - | - libs/mockturtle/traits.hpp:413: warning: ignoring #pragma region has_create_xor3 [-Wunknown-pragmas] - 413 | #pragma region has_create_xor3 - | - libs/mockturtle/traits.hpp:425: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 425 | #pragma endregion - | - libs/mockturtle/traits.hpp:427: warning: ignoring #pragma region has_create_nary_and [-Wunknown-pragmas] - 427 | #pragma region has_create_nary_and - | - libs/mockturtle/traits.hpp:438: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 438 | #pragma endregion - | - libs/mockturtle/traits.hpp:440: warning: ignoring #pragma region has_create_nary_or [-Wunknown-pragmas] - 440 | #pragma region has_create_nary_or - | - libs/mockturtle/traits.hpp:451: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 451 | #pragma endregion - | - libs/mockturtle/traits.hpp:453: warning: ignoring #pragma region has_create_nary_xor [-Wunknown-pragmas] - 453 | #pragma region has_create_nary_xor - | - libs/mockturtle/traits.hpp:464: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 464 | #pragma endregion - | - libs/mockturtle/traits.hpp:466: warning: ignoring #pragma region has_create_node [-Wunknown-pragmas] - 466 | #pragma region has_create_node - | - libs/mockturtle/traits.hpp:479: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 479 | #pragma endregion - | - libs/mockturtle/traits.hpp:481: warning: ignoring #pragma region has_clone_node [-Wunknown-pragmas] - 481 | #pragma region has_clone_node - | - libs/mockturtle/traits.hpp:493: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 493 | #pragma endregion - | - libs/mockturtle/traits.hpp:495: warning: ignoring #pragma region has_substitute_node [-Wunknown-pragmas] - 495 | #pragma region has_substitute_node - | - libs/mockturtle/traits.hpp:507: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 507 | #pragma endregion - | - libs/mockturtle/traits.hpp:509: warning: ignoring #pragma region has_replace_in_node [-Wunknown-pragmas] - 509 | #pragma region has_replace_in_node - | - libs/mockturtle/traits.hpp:521: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 521 | #pragma endregion - | - libs/mockturtle/traits.hpp:523: warning: ignoring #pragma region has_replace_in_outputs [-Wunknown-pragmas] - 523 | #pragma region has_replace_in_outputs - | - libs/mockturtle/traits.hpp:536: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 536 | #pragma endregion - | - libs/mockturtle/traits.hpp:538: warning: ignoring #pragma region has_take_out_node [-Wunknown-pragmas] - 538 | #pragma region has_take_out_node - | - libs/mockturtle/traits.hpp:550: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 550 | #pragma endregion - | - libs/mockturtle/traits.hpp:552: warning: ignoring #pragma region is_dead [-Wunknown-pragmas] - 552 | #pragma region is_dead - | - libs/mockturtle/traits.hpp:562: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 562 | #pragma endregion - | - libs/mockturtle/traits.hpp:564: warning: ignoring #pragma region has_substitute_node_of_parents [-Wunknown-pragmas] - 564 | #pragma region has_substitute_node_of_parents - | - libs/mockturtle/traits.hpp:577: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 577 | #pragma endregion - | - libs/mockturtle/traits.hpp:579: warning: ignoring #pragma region has_size [-Wunknown-pragmas] - 579 | #pragma region has_size - | - libs/mockturtle/traits.hpp:589: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 589 | #pragma endregion - | - libs/mockturtle/traits.hpp:591: warning: ignoring #pragma region has_num_cis [-Wunknown-pragmas] - 591 | #pragma region has_num_cis - | - libs/mockturtle/traits.hpp:601: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 601 | #pragma endregion - | - libs/mockturtle/traits.hpp:603: warning: ignoring #pragma region has_num_cos [-Wunknown-pragmas] - 603 | #pragma region has_num_cos - | - libs/mockturtle/traits.hpp:613: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 613 | #pragma endregion - | - libs/mockturtle/traits.hpp:615: warning: ignoring #pragma region has_num_pis [-Wunknown-pragmas] - 615 | #pragma region has_num_pis - | - libs/mockturtle/traits.hpp:625: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 625 | #pragma endregion - | - libs/mockturtle/traits.hpp:627: warning: ignoring #pragma region has_num_pos [-Wunknown-pragmas] - 627 | #pragma region has_num_pos - | - libs/mockturtle/traits.hpp:637: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 637 | #pragma endregion - | - libs/mockturtle/traits.hpp:639: warning: ignoring #pragma region has_num_gates [-Wunknown-pragmas] - 639 | #pragma region has_num_gates - | - libs/mockturtle/traits.hpp:650: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 650 | #pragma endregion - | - libs/mockturtle/traits.hpp:652: warning: ignoring #pragma region has_num_registers [-Wunknown-pragmas] - 652 | #pragma region has_num_registers - | - libs/mockturtle/traits.hpp:663: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 663 | #pragma endregion - | - libs/mockturtle/traits.hpp:665: warning: ignoring #pragma region has_fanin_size [-Wunknown-pragmas] - 665 | #pragma region has_fanin_size - | - libs/mockturtle/traits.hpp:676: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 676 | #pragma endregion - | - libs/mockturtle/traits.hpp:678: warning: ignoring #pragma region has_fanout_size [-Wunknown-pragmas] - 678 | #pragma region has_fanout_size - | - libs/mockturtle/traits.hpp:689: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 689 | #pragma endregion - | - libs/mockturtle/traits.hpp:691: warning: ignoring #pragma region has_incr_fanout_size [-Wunknown-pragmas] - 691 | #pragma region has_incr_fanout_size - | - libs/mockturtle/traits.hpp:702: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 702 | #pragma endregion - | - libs/mockturtle/traits.hpp:704: warning: ignoring #pragma region has_decr_fanout_size [-Wunknown-pragmas] - 704 | #pragma region has_decr_fanout_size - | - libs/mockturtle/traits.hpp:715: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 715 | #pragma endregion - | - libs/mockturtle/traits.hpp:717: warning: ignoring #pragma region has_depth [-Wunknown-pragmas] - 717 | #pragma region has_depth - | - libs/mockturtle/traits.hpp:727: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 727 | #pragma endregion - | - libs/mockturtle/traits.hpp:729: warning: ignoring #pragma region has_level [-Wunknown-pragmas] - 729 | #pragma region has_level - | - libs/mockturtle/traits.hpp:739: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 739 | #pragma endregion - | - libs/mockturtle/traits.hpp:741: warning: ignoring #pragma region has_update_levels [-Wunknown-pragmas] - 741 | #pragma region has_update_levels - | - libs/mockturtle/traits.hpp:752: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 752 | #pragma endregion - | - libs/mockturtle/traits.hpp:754: warning: ignoring #pragma region has_update_mffcs [-Wunknown-pragmas] - 754 | #pragma region has_update_mffcs - | - libs/mockturtle/traits.hpp:765: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 765 | #pragma endregion - | - libs/mockturtle/traits.hpp:767: warning: ignoring #pragma region has_update_topo [-Wunknown-pragmas] - 767 | #pragma region has_update_topo - | - libs/mockturtle/traits.hpp:778: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 778 | #pragma endregion - | - libs/mockturtle/traits.hpp:780: warning: ignoring #pragma region has_update_fanout [-Wunknown-pragmas] - 780 | #pragma region has_update_fanout - | - libs/mockturtle/traits.hpp:791: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 791 | #pragma endregion - | - libs/mockturtle/traits.hpp:793: warning: ignoring #pragma region has_is_and [-Wunknown-pragmas] - 793 | #pragma region has_is_and - | - libs/mockturtle/traits.hpp:803: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 803 | #pragma endregion - | - libs/mockturtle/traits.hpp:805: warning: ignoring #pragma region has_is_or [-Wunknown-pragmas] - 805 | #pragma region has_is_or - | - libs/mockturtle/traits.hpp:815: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 815 | #pragma endregion - | - libs/mockturtle/traits.hpp:817: warning: ignoring #pragma region has_is_xor [-Wunknown-pragmas] - 817 | #pragma region has_is_xor - | - libs/mockturtle/traits.hpp:827: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 827 | #pragma endregion - | - libs/mockturtle/traits.hpp:829: warning: ignoring #pragma region has_is_maj [-Wunknown-pragmas] - 829 | #pragma region has_is_maj - | - libs/mockturtle/traits.hpp:839: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 839 | #pragma endregion - | - libs/mockturtle/traits.hpp:841: warning: ignoring #pragma region has_is_ite [-Wunknown-pragmas] - 841 | #pragma region has_is_ite - | - libs/mockturtle/traits.hpp:851: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 851 | #pragma endregion - | - libs/mockturtle/traits.hpp:853: warning: ignoring #pragma region has_is_xor3 [-Wunknown-pragmas] - 853 | #pragma region has_is_xor3 - | - libs/mockturtle/traits.hpp:863: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 863 | #pragma endregion - | - libs/mockturtle/traits.hpp:865: warning: ignoring #pragma region has_is_function [-Wunknown-pragmas] - 865 | #pragma region has_is_function - | - libs/mockturtle/traits.hpp:876: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 876 | #pragma endregion - | - libs/mockturtle/traits.hpp:878: warning: ignoring #pragma region has_node_function [-Wunknown-pragmas] - 878 | #pragma region has_node_function - | - libs/mockturtle/traits.hpp:889: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 889 | #pragma endregion - | - libs/mockturtle/traits.hpp:891: warning: ignoring #pragma region has_get_node [-Wunknown-pragmas] - 891 | #pragma region has_get_node - | - libs/mockturtle/traits.hpp:902: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 902 | #pragma endregion - | - libs/mockturtle/traits.hpp:904: warning: ignoring #pragma region has_make_signal [-Wunknown-pragmas] - 904 | #pragma region has_make_signal - | - libs/mockturtle/traits.hpp:915: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 915 | #pragma endregion - | - libs/mockturtle/traits.hpp:917: warning: ignoring #pragma region has_is_complemented [-Wunknown-pragmas] - 917 | #pragma region has_is_complemented - | - libs/mockturtle/traits.hpp:928: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 928 | #pragma endregion - | - libs/mockturtle/traits.hpp:930: warning: ignoring #pragma region has_node_to_index [-Wunknown-pragmas] - 930 | #pragma region has_node_to_index - | - libs/mockturtle/traits.hpp:941: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 941 | #pragma endregion - | - libs/mockturtle/traits.hpp:943: warning: ignoring #pragma region has_index_to_node [-Wunknown-pragmas] - 943 | #pragma region has_index_to_node - | - libs/mockturtle/traits.hpp:954: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 954 | #pragma endregion - | - libs/mockturtle/traits.hpp:956: warning: ignoring #pragma region has_ci_at [-Wunknown-pragmas] - 956 | #pragma region has_ci_at - | - libs/mockturtle/traits.hpp:967: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 967 | #pragma endregion - | - libs/mockturtle/traits.hpp:969: warning: ignoring #pragma region has_co_at [-Wunknown-pragmas] - 969 | #pragma region has_co_at - | - libs/mockturtle/traits.hpp:980: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 980 | #pragma endregion - | - libs/mockturtle/traits.hpp:982: warning: ignoring #pragma region has_pi_at [-Wunknown-pragmas] - 982 | #pragma region has_pi_at - | - libs/mockturtle/traits.hpp:993: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 993 | #pragma endregion - | - libs/mockturtle/traits.hpp:995: warning: ignoring #pragma region has_po_at [-Wunknown-pragmas] - 995 | #pragma region has_po_at - | - libs/mockturtle/traits.hpp:1006: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1006 | #pragma endregion - | - libs/mockturtle/traits.hpp:1008: warning: ignoring #pragma region has_ro_at [-Wunknown-pragmas] - 1008 | #pragma region has_ro_at - | - libs/mockturtle/traits.hpp:1019: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1019 | #pragma endregion - | - libs/mockturtle/traits.hpp:1021: warning: ignoring #pragma region has_ri_at [-Wunknown-pragmas] - 1021 | #pragma region has_ri_at - | - libs/mockturtle/traits.hpp:1032: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1032 | #pragma endregion - | - libs/mockturtle/traits.hpp:1034: warning: ignoring #pragma region ci_index [-Wunknown-pragmas] - 1034 | #pragma region ci_index - | - libs/mockturtle/traits.hpp:1044: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1044 | #pragma endregion - | - libs/mockturtle/traits.hpp:1046: warning: ignoring #pragma region co_index [-Wunknown-pragmas] - 1046 | #pragma region co_index - | - libs/mockturtle/traits.hpp:1056: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1056 | #pragma endregion - | - libs/mockturtle/traits.hpp:1058: warning: ignoring #pragma region pi_index [-Wunknown-pragmas] - 1058 | #pragma region pi_index - | - libs/mockturtle/traits.hpp:1068: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1068 | #pragma endregion - | - libs/mockturtle/traits.hpp:1070: warning: ignoring #pragma region po_index [-Wunknown-pragmas] - 1070 | #pragma region po_index - | - libs/mockturtle/traits.hpp:1080: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1080 | #pragma endregion - | - libs/mockturtle/traits.hpp:1082: warning: ignoring #pragma region ro_index [-Wunknown-pragmas] - 1082 | #pragma region ro_index - | - libs/mockturtle/traits.hpp:1092: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1092 | #pragma endregion - | - libs/mockturtle/traits.hpp:1094: warning: ignoring #pragma region ri_index [-Wunknown-pragmas] - 1094 | #pragma region ri_index - | - libs/mockturtle/traits.hpp:1104: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1104 | #pragma endregion - | - libs/mockturtle/traits.hpp:1106: warning: ignoring #pragma region has_ro_to_ri [-Wunknown-pragmas] - 1106 | #pragma region has_ro_to_ri - | - libs/mockturtle/traits.hpp:1117: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1117 | #pragma endregion - | - libs/mockturtle/traits.hpp:1119: warning: ignoring #pragma region has_ri_to_ro [-Wunknown-pragmas] - 1119 | #pragma region has_ri_to_ro - | - libs/mockturtle/traits.hpp:1129: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1129 | #pragma endregion - | - libs/mockturtle/traits.hpp:1131: warning: ignoring #pragma region has_foreach_node [-Wunknown-pragmas] - 1131 | #pragma region has_foreach_node - | - libs/mockturtle/traits.hpp:1143: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1143 | #pragma endregion - | - libs/mockturtle/traits.hpp:1145: warning: ignoring #pragma region has_foreach_ci [-Wunknown-pragmas] - 1145 | #pragma region has_foreach_ci - | - libs/mockturtle/traits.hpp:1156: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1156 | #pragma endregion - | - libs/mockturtle/traits.hpp:1158: warning: ignoring #pragma region has_foreach_co [-Wunknown-pragmas] - 1158 | #pragma region has_foreach_co - | - libs/mockturtle/traits.hpp:1169: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1169 | #pragma endregion - | - libs/mockturtle/traits.hpp:1171: warning: ignoring #pragma region has_foreach_pi [-Wunknown-pragmas] - 1171 | #pragma region has_foreach_pi - | - libs/mockturtle/traits.hpp:1182: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1182 | #pragma endregion - | - libs/mockturtle/traits.hpp:1184: warning: ignoring #pragma region has_foreach_po [-Wunknown-pragmas] - 1184 | #pragma region has_foreach_po - | - libs/mockturtle/traits.hpp:1195: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1195 | #pragma endregion - | - libs/mockturtle/traits.hpp:1197: warning: ignoring #pragma region has_foreach_ro [-Wunknown-pragmas] - 1197 | #pragma region has_foreach_ro - | - libs/mockturtle/traits.hpp:1208: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1208 | #pragma endregion - | - libs/mockturtle/traits.hpp:1210: warning: ignoring #pragma region has_foreach_ri [-Wunknown-pragmas] - 1210 | #pragma region has_foreach_ri - | - libs/mockturtle/traits.hpp:1221: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1221 | #pragma endregion - | - libs/mockturtle/traits.hpp:1223: warning: ignoring #pragma region has_foreach_gate [-Wunknown-pragmas] - 1223 | #pragma region has_foreach_gate - | - libs/mockturtle/traits.hpp:1235: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1235 | #pragma endregion - | - libs/mockturtle/traits.hpp:1237: warning: ignoring #pragma region has_foreach_register [-Wunknown-pragmas] - 1237 | #pragma region has_foreach_register - | - libs/mockturtle/traits.hpp:1250: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1250 | #pragma endregion - | - libs/mockturtle/traits.hpp:1252: warning: ignoring #pragma region has_foreach_fanin [-Wunknown-pragmas] - 1252 | #pragma region has_foreach_fanin - | - libs/mockturtle/traits.hpp:1265: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1265 | #pragma endregion - | - libs/mockturtle/traits.hpp:1267: warning: ignoring #pragma region has_foreach_fanout [-Wunknown-pragmas] - 1267 | #pragma region has_foreach_fanout - | - libs/mockturtle/traits.hpp:1280: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1280 | #pragma endregion - | - libs/mockturtle/traits.hpp:1282: warning: ignoring #pragma region has_compute [-Wunknown-pragmas] - 1282 | #pragma region has_compute - | - libs/mockturtle/traits.hpp:1294: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1294 | #pragma endregion - | - libs/mockturtle/traits.hpp:1296: warning: ignoring #pragma region has_has_mapping [-Wunknown-pragmas] - 1296 | #pragma region has_has_mapping - | - libs/mockturtle/traits.hpp:1307: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1307 | #pragma endregion - | - libs/mockturtle/traits.hpp:1309: warning: ignoring #pragma region has_is_cell_root [-Wunknown-pragmas] - 1309 | #pragma region has_is_cell_root - | - libs/mockturtle/traits.hpp:1320: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1320 | #pragma endregion - | - libs/mockturtle/traits.hpp:1322: warning: ignoring #pragma region has_clear_mapping [-Wunknown-pragmas] - 1322 | #pragma region has_clear_mapping - | - libs/mockturtle/traits.hpp:1333: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1333 | #pragma endregion - | - libs/mockturtle/traits.hpp:1335: warning: ignoring #pragma region has_num_cells [-Wunknown-pragmas] - 1335 | #pragma region has_num_cells - | - libs/mockturtle/traits.hpp:1346: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1346 | #pragma endregion - | - libs/mockturtle/traits.hpp:1348: warning: ignoring #pragma region has_add_to_mapping [-Wunknown-pragmas] - 1348 | #pragma region has_add_to_mapping - | - libs/mockturtle/traits.hpp:1360: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1360 | #pragma endregion - | - libs/mockturtle/traits.hpp:1362: warning: ignoring #pragma region has_remove_from_mapping [-Wunknown-pragmas] - 1362 | #pragma region has_remove_from_mapping - | - libs/mockturtle/traits.hpp:1374: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1374 | #pragma endregion - | - libs/mockturtle/traits.hpp:1376: warning: ignoring #pragma region has_cell_function [-Wunknown-pragmas] - 1376 | #pragma region has_cell_function - | - libs/mockturtle/traits.hpp:1387: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1387 | #pragma endregion - | - libs/mockturtle/traits.hpp:1389: warning: ignoring #pragma region has_set_cell_function [-Wunknown-pragmas] - 1389 | #pragma region has_set_cell_function - | - libs/mockturtle/traits.hpp:1402: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1402 | #pragma endregion - | - libs/mockturtle/traits.hpp:1404: warning: ignoring #pragma region has_foreach_cell_fanin [-Wunknown-pragmas] - 1404 | #pragma region has_foreach_cell_fanin - | - libs/mockturtle/traits.hpp:1418: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1418 | #pragma endregion - | - libs/mockturtle/traits.hpp:1420: warning: ignoring #pragma region has_clear_values [-Wunknown-pragmas] - 1420 | #pragma region has_clear_values - | - libs/mockturtle/traits.hpp:1431: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1431 | #pragma endregion - | - libs/mockturtle/traits.hpp:1433: warning: ignoring #pragma region has_value [-Wunknown-pragmas] - 1433 | #pragma region has_value - | - libs/mockturtle/traits.hpp:1443: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1443 | #pragma endregion - | - libs/mockturtle/traits.hpp:1445: warning: ignoring #pragma region set_value [-Wunknown-pragmas] - 1445 | #pragma region set_value - | - libs/mockturtle/traits.hpp:1456: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1456 | #pragma endregion - | - libs/mockturtle/traits.hpp:1458: warning: ignoring #pragma region incr_value [-Wunknown-pragmas] - 1458 | #pragma region incr_value - | - libs/mockturtle/traits.hpp:1469: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1469 | #pragma endregion - | - libs/mockturtle/traits.hpp:1471: warning: ignoring #pragma region decr_value [-Wunknown-pragmas] - 1471 | #pragma region decr_value - | - libs/mockturtle/traits.hpp:1482: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1482 | #pragma endregion - | - libs/mockturtle/traits.hpp:1484: warning: ignoring #pragma region has_clear_visited [-Wunknown-pragmas] - 1484 | #pragma region has_clear_visited - | - libs/mockturtle/traits.hpp:1495: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1495 | #pragma endregion - | - libs/mockturtle/traits.hpp:1497: warning: ignoring #pragma region has_visited [-Wunknown-pragmas] - 1497 | #pragma region has_visited - | - libs/mockturtle/traits.hpp:1507: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1507 | #pragma endregion - | - libs/mockturtle/traits.hpp:1509: warning: ignoring #pragma region set_visited [-Wunknown-pragmas] - 1509 | #pragma region set_visited - | - libs/mockturtle/traits.hpp:1521: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1521 | #pragma endregion - | - libs/mockturtle/traits.hpp:1523: warning: ignoring #pragma region trav_id [-Wunknown-pragmas] - 1523 | #pragma region trav_id - | - libs/mockturtle/traits.hpp:1533: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1533 | #pragma endregion - | - libs/mockturtle/traits.hpp:1535: warning: ignoring #pragma region incr_trav_id [-Wunknown-pragmas] - 1535 | #pragma region incr_trav_id - | - libs/mockturtle/traits.hpp:1546: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 1546 | #pragma endregion - | - In file included from libs/tweedledum/algorithms/synthesis/stg.hpp:10, - from libs/caterpillar/synthesis/lhrs.hpp:19, - from include/synthesis/logic_synthesis.hpp:37, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/tweedledum/algorithms/synthesis/../../utils/parity_terms.hpp:23: warning: ignoring #pragma region Types [-Wunknown-pragmas] - 23 | #pragma region Types and constructors - | - libs/tweedledum/algorithms/synthesis/../../utils/parity_terms.hpp:25: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 25 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/parity_terms.hpp:27: warning: ignoring #pragma region Properties [-Wunknown-pragmas] - 27 | #pragma region Properties - | - libs/tweedledum/algorithms/synthesis/../../utils/parity_terms.hpp:29: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 29 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/parity_terms.hpp:31: warning: ignoring #pragma region Iterators [-Wunknown-pragmas] - 31 | #pragma region Iterators - | - libs/tweedledum/algorithms/synthesis/../../utils/parity_terms.hpp:35: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 35 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/parity_terms.hpp:37: warning: ignoring #pragma region Modifiers [-Wunknown-pragmas] - 37 | #pragma region Modifiers - | - libs/tweedledum/algorithms/synthesis/../../utils/parity_terms.hpp:62: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 62 | #pragma endregion - | - In file included from libs/tweedledum/algorithms/synthesis/../../utils/detail/bit_matrix.hpp:8, - from libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:8, - from libs/tweedledum/algorithms/synthesis/gray_synth.hpp:10, - from libs/tweedledum/algorithms/synthesis/stg.hpp:11, - from libs/caterpillar/synthesis/lhrs.hpp:19, - from include/synthesis/logic_synthesis.hpp:37, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/tweedledum/algorithms/synthesis/../../utils/detail/../dynamic_bitset.hpp:168: warning: ignoring #pragma region Constructors [-Wunknown-pragmas] - 168 | #pragma region Constructors - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/../dynamic_bitset.hpp:191: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 191 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/../dynamic_bitset.hpp:193: warning: ignoring #pragma region Comparison [-Wunknown-pragmas] - 193 | #pragma region Comparison - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/../dynamic_bitset.hpp:201: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 201 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/../dynamic_bitset.hpp:203: warning: ignoring #pragma region Dynamic [-Wunknown-pragmas] - 203 | #pragma region Dynamic bitset operations - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/../dynamic_bitset.hpp:231: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 231 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/../dynamic_bitset.hpp:233: warning: ignoring #pragma region Bit [-Wunknown-pragmas] - 233 | #pragma region Bit operations - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/../dynamic_bitset.hpp:280: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 280 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/../dynamic_bitset.hpp:282: warning: ignoring #pragma region Element [-Wunknown-pragmas] - 282 | #pragma region Element access - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/../dynamic_bitset.hpp:337: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 337 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/../dynamic_bitset.hpp:339: warning: ignoring #pragma region Iterators [-Wunknown-pragmas] - 339 | #pragma region Iterators - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/../dynamic_bitset.hpp:345: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 345 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/../dynamic_bitset.hpp:347: warning: ignoring #pragma region Capacity [-Wunknown-pragmas] - 347 | #pragma region Capacity - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/../dynamic_bitset.hpp:353: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 353 | #pragma endregion - | - In file included from libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:8, - from libs/tweedledum/algorithms/synthesis/gray_synth.hpp:10, - from libs/tweedledum/algorithms/synthesis/stg.hpp:11, - from libs/caterpillar/synthesis/lhrs.hpp:19, - from include/synthesis/logic_synthesis.hpp:37, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/tweedledum/algorithms/synthesis/../../utils/detail/bit_matrix.hpp:31: warning: ignoring #pragma region Constructors [-Wunknown-pragmas] - 31 | #pragma region Constructors - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/bit_matrix.hpp:44: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 44 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/bit_matrix.hpp:46: warning: ignoring #pragma region Element [-Wunknown-pragmas] - 46 | #pragma region Element access - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/bit_matrix.hpp:56: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 56 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/bit_matrix.hpp:58: warning: ignoring #pragma region Capacity [-Wunknown-pragmas] - 58 | #pragma region Capacity - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/bit_matrix.hpp:66: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 66 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/bit_matrix.hpp:68: warning: ignoring #pragma region Properties [-Wunknown-pragmas] - 68 | #pragma region Properties - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/bit_matrix.hpp:87: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 87 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/bit_matrix.hpp:89: warning: ignoring #pragma region Modifiers [-Wunknown-pragmas] - 89 | #pragma region Modifiers - | - libs/tweedledum/algorithms/synthesis/../../utils/detail/bit_matrix.hpp:114: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 114 | #pragma endregion - | - In file included from libs/tweedledum/algorithms/synthesis/gray_synth.hpp:10, - from libs/tweedledum/algorithms/synthesis/stg.hpp:11, - from libs/caterpillar/synthesis/lhrs.hpp:19, - from include/synthesis/logic_synthesis.hpp:37, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:32: warning: ignoring #pragma region Constructors [-Wunknown-pragmas] - 32 | #pragma region Constructors - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:41: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 41 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:43: warning: ignoring #pragma region Element [-Wunknown-pragmas] - 43 | #pragma region Element access - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:76: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 76 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:78: warning: ignoring #pragma region Iterators [-Wunknown-pragmas] - 78 | #pragma region Iterators - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:111: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 111 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:113: warning: ignoring #pragma region Capacity [-Wunknown-pragmas] - 113 | #pragma region Capacity - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:123: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 123 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:125: warning: ignoring #pragma region Properties [-Wunknown-pragmas] - 125 | #pragma region Properties - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:129: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 129 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:131: warning: ignoring #pragma region Modifiers [-Wunknown-pragmas] - 131 | #pragma region Modifiers - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:143: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 143 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:145: warning: ignoring #pragma region Debug [-Wunknown-pragmas] - 145 | #pragma region Debug - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_cm.hpp:166: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 166 | #pragma endregion - | - In file included from libs/tweedledum/algorithms/synthesis/gray_synth.hpp:11, - from libs/tweedledum/algorithms/synthesis/stg.hpp:11, - from libs/caterpillar/synthesis/lhrs.hpp:19, - from include/synthesis/logic_synthesis.hpp:37, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_rm.hpp:33: warning: ignoring #pragma region Constructors [-Wunknown-pragmas] - 33 | #pragma region Constructors - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_rm.hpp:42: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 42 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_rm.hpp:44: warning: ignoring #pragma region Element [-Wunknown-pragmas] - 44 | #pragma region Element access - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_rm.hpp:66: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 66 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_rm.hpp:68: warning: ignoring #pragma region Iterators [-Wunknown-pragmas] - 68 | #pragma region Iterators - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_rm.hpp:87: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 87 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_rm.hpp:89: warning: ignoring #pragma region Capacity [-Wunknown-pragmas] - 89 | #pragma region Capacity - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_rm.hpp:99: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 99 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_rm.hpp:101: warning: ignoring #pragma region Properties [-Wunknown-pragmas] - 101 | #pragma region Properties - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_rm.hpp:105: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 105 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_rm.hpp:107: warning: ignoring #pragma region Modifiers [-Wunknown-pragmas] - 107 | #pragma region Modifiers - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_rm.hpp:128: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 128 | #pragma endregion - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_rm.hpp:130: warning: ignoring #pragma region Debug [-Wunknown-pragmas] - 130 | #pragma region Debug - | - libs/tweedledum/algorithms/synthesis/../../utils/bit_matrix_rm.hpp:140: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 140 | #pragma endregion - | - In file included from libs/mockturtle/algorithms/cut_rewriting.hpp:43, - from libs/mockturtle/mockturtle.hpp:42, - from include/synthesis/logic_synthesis.hpp:41, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/mockturtle/algorithms/../networks/klut.hpp:77: warning: ignoring #pragma region Types [-Wunknown-pragmas] - 77 | #pragma region Types and constructors - | - libs/mockturtle/algorithms/../networks/klut.hpp:156: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 156 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:158: warning: ignoring #pragma region Primary [-Wunknown-pragmas] - 158 | #pragma region Primary I / O and constants - | - libs/mockturtle/algorithms/../networks/klut.hpp:190: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 190 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:192: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 192 | #pragma region Create unary functions - | - libs/mockturtle/algorithms/../networks/klut.hpp:196: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 196 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:198: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 198 | #pragma region Create binary functions - | - libs/mockturtle/algorithms/../networks/klut.hpp:208: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 208 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:210: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 210 | #pragma region Create ternary functions - | - libs/mockturtle/algorithms/../networks/klut.hpp:222: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 222 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:224: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 224 | #pragma region Create nary functions - | - libs/mockturtle/algorithms/../networks/klut.hpp:242: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 242 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:244: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 244 | #pragma region Create arbitrary functions - | - libs/mockturtle/algorithms/../networks/klut.hpp:286: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 286 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:288: warning: ignoring #pragma region Restructuring [-Wunknown-pragmas] - 288 | #pragma region Restructuring - | - libs/mockturtle/algorithms/../networks/klut.hpp:324: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 324 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:326: warning: ignoring #pragma region Structural [-Wunknown-pragmas] - 326 | #pragma region Structural properties - | - libs/mockturtle/algorithms/../networks/klut.hpp:351: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 351 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:353: warning: ignoring #pragma region Functional [-Wunknown-pragmas] - 353 | #pragma region Functional properties - | - libs/mockturtle/algorithms/../networks/klut.hpp:357: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 357 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:359: warning: ignoring #pragma region Nodes [-Wunknown-pragmas] - 359 | #pragma region Nodes and signals - | - libs/mockturtle/algorithms/../networks/klut.hpp:374: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 374 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:376: warning: ignoring #pragma region Node [-Wunknown-pragmas] - 376 | #pragma region Node and signal iterators - | - libs/mockturtle/algorithms/../networks/klut.hpp:418: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 418 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:420: warning: ignoring #pragma region Simulate [-Wunknown-pragmas] - 420 | #pragma region Simulate values - | - In file included from libs/mockturtle/algorithms/cut_rewriting.hpp:43, - from libs/mockturtle/mockturtle.hpp:42, - from include/synthesis/logic_synthesis.hpp:41, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/mockturtle/algorithms/../networks/klut.hpp:459: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 459 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:461: warning: ignoring #pragma region Custom [-Wunknown-pragmas] - 461 | #pragma region Custom node values - | - libs/mockturtle/algorithms/../networks/klut.hpp:482: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 482 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:484: warning: ignoring #pragma region Visited [-Wunknown-pragmas] - 484 | #pragma region Visited flags - | - libs/mockturtle/algorithms/../networks/klut.hpp:499: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 499 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/klut.hpp:501: warning: ignoring #pragma region General [-Wunknown-pragmas] - 501 | #pragma region General methods - | - libs/mockturtle/algorithms/../networks/klut.hpp:503: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 503 | #pragma endregion - | - In file included from libs/mockturtle/algorithms/cut_rewriting.hpp:44, - from libs/mockturtle/mockturtle.hpp:42, - from include/synthesis/logic_synthesis.hpp:41, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/mockturtle/algorithms/../networks/mig.hpp:75: warning: ignoring #pragma region Types [-Wunknown-pragmas] - 75 | #pragma region Types and constructors - | - libs/mockturtle/algorithms/../networks/mig.hpp:134: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 134 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/mig.hpp:136: warning: ignoring #pragma region Primary [-Wunknown-pragmas] - 136 | #pragma region Primary I / O and constants - | - libs/mockturtle/algorithms/../networks/mig.hpp:213: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 213 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/mig.hpp:215: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 215 | #pragma region Create unary functions - | - libs/mockturtle/algorithms/../networks/mig.hpp:219: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 219 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/mig.hpp:221: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 221 | #pragma region Create binary / ternary functions - | - libs/mockturtle/algorithms/../networks/mig.hpp:341: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 341 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/mig.hpp:343: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 343 | #pragma region Create nary functions - | - libs/mockturtle/algorithms/../networks/mig.hpp:361: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 361 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/mig.hpp:363: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 363 | #pragma region Create arbitrary functions - | - libs/mockturtle/algorithms/../networks/mig.hpp:371: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 371 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/mig.hpp:373: warning: ignoring #pragma region Restructuring [-Wunknown-pragmas] - 373 | #pragma region Restructuring - | - libs/mockturtle/algorithms/../networks/mig.hpp:549: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 549 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/mig.hpp:551: warning: ignoring #pragma region Structural [-Wunknown-pragmas] - 551 | #pragma region Structural properties - | - libs/mockturtle/algorithms/../networks/mig.hpp:615: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 615 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/mig.hpp:617: warning: ignoring #pragma region Functional [-Wunknown-pragmas] - 617 | #pragma region Functional properties - | - libs/mockturtle/algorithms/../networks/mig.hpp:624: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 624 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/mig.hpp:626: warning: ignoring #pragma region Nodes [-Wunknown-pragmas] - 626 | #pragma region Nodes and signals - | - libs/mockturtle/algorithms/../networks/mig.hpp:732: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 732 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/mig.hpp:734: warning: ignoring #pragma region Node [-Wunknown-pragmas] - 734 | #pragma region Node and signal iterators - | - libs/mockturtle/algorithms/../networks/mig.hpp:873: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 873 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/mig.hpp:875: warning: ignoring #pragma region Value [-Wunknown-pragmas] - 875 | #pragma region Value simulation - | - libs/mockturtle/algorithms/../networks/mig.hpp:915: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 915 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/mig.hpp:917: warning: ignoring #pragma region Custom [-Wunknown-pragmas] - 917 | #pragma region Custom node values - | - libs/mockturtle/algorithms/../networks/mig.hpp:936: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 936 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/mig.hpp:938: warning: ignoring #pragma region Visited [-Wunknown-pragmas] - 938 | #pragma region Visited flags - | - libs/mockturtle/algorithms/../networks/mig.hpp:953: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 953 | #pragma endregion - | - libs/mockturtle/algorithms/../networks/mig.hpp:955: warning: ignoring #pragma region General [-Wunknown-pragmas] - 955 | #pragma region General methods - | - libs/mockturtle/algorithms/../networks/mig.hpp:957: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 957 | #pragma endregion - | - In file included from libs/mockturtle/io/aiger_reader.hpp:35, - from libs/mockturtle/mockturtle.hpp:53, - from include/synthesis/logic_synthesis.hpp:41, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/mockturtle/io/../networks/aig.hpp:88: warning: ignoring #pragma region Types [-Wunknown-pragmas] - 88 | #pragma region Types and constructors - | - libs/mockturtle/io/../networks/aig.hpp:147: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 147 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:149: warning: ignoring #pragma region Primary [-Wunknown-pragmas] - 149 | #pragma region Primary I / O and constants - | - libs/mockturtle/io/../networks/aig.hpp:235: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 235 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:237: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 237 | #pragma region Create unary functions - | - libs/mockturtle/io/../networks/aig.hpp:241: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 241 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:243: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 243 | #pragma region Create binary functions - | - libs/mockturtle/io/../networks/aig.hpp:319: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 319 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:321: warning: ignoring #pragma region Createy [-Wunknown-pragmas] - 321 | #pragma region Createy ternary functions - | - libs/mockturtle/io/../networks/aig.hpp:346: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 346 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:348: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 348 | #pragma region Create nary functions - | - libs/mockturtle/io/../networks/aig.hpp:366: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 366 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:368: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 368 | #pragma region Create arbitrary functions - | - libs/mockturtle/io/../networks/aig.hpp:376: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 376 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:378: warning: ignoring #pragma region Restructuring [-Wunknown-pragmas] - 378 | #pragma region Restructuring - | - libs/mockturtle/io/../networks/aig.hpp:506: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 506 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:508: warning: ignoring #pragma region Structural [-Wunknown-pragmas] - 508 | #pragma region Structural properties - | - libs/mockturtle/io/../networks/aig.hpp:580: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 580 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:582: warning: ignoring #pragma region Functional [-Wunknown-pragmas] - 582 | #pragma region Functional properties - | - libs/mockturtle/io/../networks/aig.hpp:589: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 589 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:591: warning: ignoring #pragma region Nodes [-Wunknown-pragmas] - 591 | #pragma region Nodes and signals - | - libs/mockturtle/io/../networks/aig.hpp:697: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 697 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:699: warning: ignoring #pragma region Node [-Wunknown-pragmas] - 699 | #pragma region Node and signal iterators - | - libs/mockturtle/io/../networks/aig.hpp:834: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 834 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:836: warning: ignoring #pragma region Value [-Wunknown-pragmas] - 836 | #pragma region Value simulation - | - libs/mockturtle/io/../networks/aig.hpp:868: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 868 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:870: warning: ignoring #pragma region Custom [-Wunknown-pragmas] - 870 | #pragma region Custom node values - | - libs/mockturtle/io/../networks/aig.hpp:889: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 889 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:891: warning: ignoring #pragma region Visited [-Wunknown-pragmas] - 891 | #pragma region Visited flags - | - libs/mockturtle/io/../networks/aig.hpp:906: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 906 | #pragma endregion - | - libs/mockturtle/io/../networks/aig.hpp:908: warning: ignoring #pragma region General [-Wunknown-pragmas] - 908 | #pragma region General methods - | - libs/mockturtle/io/../networks/aig.hpp:910: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 910 | #pragma endregion - | - In file included from libs/mockturtle/mockturtle.hpp:61, - from include/synthesis/logic_synthesis.hpp:41, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/mockturtle/networks/xag.hpp:87: warning: ignoring #pragma region Types [-Wunknown-pragmas] - 87 | #pragma region Types and constructors - | - libs/mockturtle/networks/xag.hpp:146: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 146 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:148: warning: ignoring #pragma region Primary [-Wunknown-pragmas] - 148 | #pragma region Primary I / O and constants - | - libs/mockturtle/networks/xag.hpp:234: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 234 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:236: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 236 | #pragma region Create unary functions - | - libs/mockturtle/networks/xag.hpp:240: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 240 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:242: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 242 | #pragma region Create binary functions - | - libs/mockturtle/networks/xag.hpp:330: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 330 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:332: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 332 | #pragma region Create ternary functions - | - libs/mockturtle/networks/xag.hpp:360: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 360 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:362: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 362 | #pragma region Create nary functions - | - libs/mockturtle/networks/xag.hpp:380: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 380 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:382: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 382 | #pragma region Create arbitrary functions - | - libs/mockturtle/networks/xag.hpp:394: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 394 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:396: warning: ignoring #pragma region Restructuring [-Wunknown-pragmas] - 396 | #pragma region Restructuring - | - libs/mockturtle/networks/xag.hpp:537: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 537 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:539: warning: ignoring #pragma region Structural [-Wunknown-pragmas] - 539 | #pragma region Structural properties - | - libs/mockturtle/networks/xag.hpp:616: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 616 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:618: warning: ignoring #pragma region Functional [-Wunknown-pragmas] - 618 | #pragma region Functional properties - | - libs/mockturtle/networks/xag.hpp:630: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 630 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:632: warning: ignoring #pragma region Nodes [-Wunknown-pragmas] - 632 | #pragma region Nodes and signals - | - libs/mockturtle/networks/xag.hpp:738: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 738 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:740: warning: ignoring #pragma region Node [-Wunknown-pragmas] - 740 | #pragma region Node and signal iterators - | - libs/mockturtle/networks/xag.hpp:875: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 875 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:877: warning: ignoring #pragma region Value [-Wunknown-pragmas] - 877 | #pragma region Value simulation - | - libs/mockturtle/networks/xag.hpp:917: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 917 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:919: warning: ignoring #pragma region Custom [-Wunknown-pragmas] - 919 | #pragma region Custom node values - | - libs/mockturtle/networks/xag.hpp:938: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 938 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:940: warning: ignoring #pragma region Visited [-Wunknown-pragmas] - 940 | #pragma region Visited flags - | - libs/mockturtle/networks/xag.hpp:955: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 955 | #pragma endregion - | - libs/mockturtle/networks/xag.hpp:957: warning: ignoring #pragma region General [-Wunknown-pragmas] - 957 | #pragma region General methods - | - libs/mockturtle/networks/xag.hpp:959: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 959 | #pragma endregion - | - In file included from libs/mockturtle/mockturtle.hpp:62, - from include/synthesis/logic_synthesis.hpp:41, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/mockturtle/networks/xmg.hpp:71: warning: ignoring #pragma region Types [-Wunknown-pragmas] - 71 | #pragma region Types and constructors - | - libs/mockturtle/networks/xmg.hpp:130: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 130 | #pragma endregion - | - libs/mockturtle/networks/xmg.hpp:132: warning: ignoring #pragma region Primary [-Wunknown-pragmas] - 132 | #pragma region Primary I / O and constants - | - libs/mockturtle/networks/xmg.hpp:174: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 174 | #pragma endregion - | - libs/mockturtle/networks/xmg.hpp:176: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 176 | #pragma region Create unary functions - | - libs/mockturtle/networks/xmg.hpp:180: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 180 | #pragma endregion - | - libs/mockturtle/networks/xmg.hpp:182: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 182 | #pragma region Create binary / ternary functions - | - libs/mockturtle/networks/xmg.hpp:357: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 357 | #pragma endregion - | - libs/mockturtle/networks/xmg.hpp:359: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 359 | #pragma region Create nary functions - | - libs/mockturtle/networks/xmg.hpp:379: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 379 | #pragma endregion - | - libs/mockturtle/networks/xmg.hpp:381: warning: ignoring #pragma region Create [-Wunknown-pragmas] - 381 | #pragma region Create arbitrary functions - | - libs/mockturtle/networks/xmg.hpp:392: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 392 | #pragma endregion - | - libs/mockturtle/networks/xmg.hpp:394: warning: ignoring #pragma region Restructuring [-Wunknown-pragmas] - 394 | #pragma region Restructuring - | - libs/mockturtle/networks/xmg.hpp:585: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 585 | #pragma endregion - | - libs/mockturtle/networks/xmg.hpp:587: warning: ignoring #pragma region Structural [-Wunknown-pragmas] - 587 | #pragma region Structural properties - | - libs/mockturtle/networks/xmg.hpp:647: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 647 | #pragma endregion - | - libs/mockturtle/networks/xmg.hpp:649: warning: ignoring #pragma region Functional [-Wunknown-pragmas] - 649 | #pragma region Functional properties - | - libs/mockturtle/networks/xmg.hpp:655: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 655 | #pragma endregion - | - libs/mockturtle/networks/xmg.hpp:657: warning: ignoring #pragma region Nodes [-Wunknown-pragmas] - 657 | #pragma region Nodes and signals - | - libs/mockturtle/networks/xmg.hpp:667: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 667 | #pragma endregion - | - libs/mockturtle/networks/xmg.hpp:669: warning: ignoring #pragma region Node [-Wunknown-pragmas] - 669 | #pragma region Node and signal iterators - | - libs/mockturtle/networks/xmg.hpp:735: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 735 | #pragma endregion - | - libs/mockturtle/networks/xmg.hpp:737: warning: ignoring #pragma region Value [-Wunknown-pragmas] - 737 | #pragma region Value simulation - | - libs/mockturtle/networks/xmg.hpp:786: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 786 | #pragma endregion - | - libs/mockturtle/networks/xmg.hpp:788: warning: ignoring #pragma region Custom [-Wunknown-pragmas] - 788 | #pragma region Custom node values - | - libs/mockturtle/networks/xmg.hpp:807: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 807 | #pragma endregion - | - libs/mockturtle/networks/xmg.hpp:809: warning: ignoring #pragma region Visited [-Wunknown-pragmas] - 809 | #pragma region Visited flags - | - libs/mockturtle/networks/xmg.hpp:824: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 824 | #pragma endregion - | - libs/mockturtle/networks/xmg.hpp:826: warning: ignoring #pragma region General [-Wunknown-pragmas] - 826 | #pragma region General methods - | - libs/mockturtle/networks/xmg.hpp:828: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 828 | #pragma endregion - | - In file included from libs/tweedledum/tweedledum.hpp:17, - from include/synthesis/logic_synthesis.hpp:42, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/tweedledum/gates/mcmt_gate.hpp:43: warning: ignoring #pragma region Constants [-Wunknown-pragmas] - 43 | #pragma region Constants - | - libs/tweedledum/gates/mcmt_gate.hpp:46: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 46 | #pragma endregion - | - libs/tweedledum/gates/mcmt_gate.hpp:48: warning: ignoring #pragma region Constructors [-Wunknown-pragmas] - 48 | #pragma region Constructors - | - libs/tweedledum/gates/mcmt_gate.hpp:95: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 95 | #pragma endregion - | - libs/tweedledum/gates/mcmt_gate.hpp:97: warning: ignoring #pragma region Properties [-Wunknown-pragmas] - 97 | #pragma region Properties - | - libs/tweedledum/gates/mcmt_gate.hpp:156: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 156 | #pragma endregion - | - libs/tweedledum/gates/mcmt_gate.hpp:158: warning: ignoring #pragma region Const [-Wunknown-pragmas] - 158 | #pragma region Const iterators - | - libs/tweedledum/gates/mcmt_gate.hpp:181: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 181 | #pragma endregion - | - In file included from libs/tweedledum/tweedledum.hpp:18, - from include/synthesis/logic_synthesis.hpp:42, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/tweedledum/gates/io3_gate.hpp:34: warning: ignoring #pragma region Constants [-Wunknown-pragmas] - 34 | #pragma region Constants - | - libs/tweedledum/gates/io3_gate.hpp:36: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 36 | #pragma endregion - | - libs/tweedledum/gates/io3_gate.hpp:38: warning: ignoring #pragma region Constructors [-Wunknown-pragmas] - 38 | #pragma region Constructors - | - libs/tweedledum/gates/io3_gate.hpp:122: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 122 | #pragma endregion - | - libs/tweedledum/gates/io3_gate.hpp:124: warning: ignoring #pragma region Properties [-Wunknown-pragmas] - 124 | #pragma region Properties - | - libs/tweedledum/gates/io3_gate.hpp:176: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 176 | #pragma endregion - | - libs/tweedledum/gates/io3_gate.hpp:178: warning: ignoring #pragma region Const [-Wunknown-pragmas] - 178 | #pragma region Const iterators - | - libs/tweedledum/gates/io3_gate.hpp:196: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 196 | #pragma endregion - | - In file included from libs/tweedledum/tweedledum.hpp:25, - from include/synthesis/logic_synthesis.hpp:42, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/tweedledum/networks/gg_network.hpp:39: warning: ignoring #pragma region Types [-Wunknown-pragmas] - 39 | #pragma region Types and constructors - | - libs/tweedledum/networks/gg_network.hpp:52: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 52 | #pragma endregion - | - libs/tweedledum/networks/gg_network.hpp:54: warning: ignoring #pragma region I [-Wunknown-pragmas] - 54 | #pragma region I / O and ancillae qubits - | - libs/tweedledum/networks/gg_network.hpp:97: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 97 | #pragma endregion - | - libs/tweedledum/networks/gg_network.hpp:99: warning: ignoring #pragma region Properties [-Wunknown-pragmas] - 99 | #pragma region Properties - | - libs/tweedledum/networks/gg_network.hpp:103: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 103 | #pragma endregion - | - libs/tweedledum/networks/gg_network.hpp:105: warning: ignoring #pragma region Structural [-Wunknown-pragmas] - 105 | #pragma region Structural properties - | - libs/tweedledum/networks/gg_network.hpp:121: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 121 | #pragma endregion - | - libs/tweedledum/networks/gg_network.hpp:123: warning: ignoring #pragma region Nodes [-Wunknown-pragmas] - 123 | #pragma region Nodes - | - libs/tweedledum/networks/gg_network.hpp:135: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 135 | #pragma endregion - | - libs/tweedledum/networks/gg_network.hpp:137: warning: ignoring #pragma region Add [-Wunknown-pragmas] - 137 | #pragma region Add gates(id) - | - libs/tweedledum/networks/gg_network.hpp:190: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 190 | #pragma endregion - | - libs/tweedledum/networks/gg_network.hpp:192: warning: ignoring #pragma region Add [-Wunknown-pragmas] - 192 | #pragma region Add gates(labels) - | - libs/tweedledum/networks/gg_network.hpp:218: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 218 | #pragma endregion - | - libs/tweedledum/networks/gg_network.hpp:220: warning: ignoring #pragma region Const [-Wunknown-pragmas] - 220 | #pragma region Const iterators - | - libs/tweedledum/networks/gg_network.hpp:372: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 372 | #pragma endregion - | - libs/tweedledum/networks/gg_network.hpp:374: warning: ignoring #pragma region Const [-Wunknown-pragmas] - 374 | #pragma region Const node iterators - | - libs/tweedledum/networks/gg_network.hpp:393: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 393 | #pragma endregion - | - libs/tweedledum/networks/gg_network.hpp:395: warning: ignoring #pragma region Rewiring [-Wunknown-pragmas] - 395 | #pragma region Rewiring - | - libs/tweedledum/networks/gg_network.hpp:408: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 408 | #pragma endregion - | - libs/tweedledum/networks/gg_network.hpp:410: warning: ignoring #pragma region Visited [-Wunknown-pragmas] - 410 | #pragma region Visited flags - | - libs/tweedledum/networks/gg_network.hpp:423: warning: ignoring #pragma endregion [-Wunknown-pragmas] - 423 | #pragma endregion - | - In file included from libs/easy/sat2/maxsat.hpp:37, - from libs/easy/esop/helliwell.hpp:28, - from libs/easy/esop/constructors.hpp:46, - from libs/tweedledum/algorithms/synthesis/stg.hpp:16, - from libs/caterpillar/synthesis/lhrs.hpp:19, - from include/synthesis/logic_synthesis.hpp:37, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/easy/sat2/cardinality.hpp: In function ‘void easy::sat2::detail::create_totalizer_internal(std::vector >&, int&, const std::vector&, uint32_t, const std::vector&, const std::vector&)’: - libs/easy/sat2/cardinality.hpp:62:24: warning: comparison of integer expressions of different signedness: ‘int’ and ‘uint32_t’ {aka ‘unsigned int’} [-Wsign-compare] - 62 | for (auto j = 0; j < kmin; ++j) { - | ~~^~~~~~ - libs/easy/sat2/cardinality.hpp:68:24: warning: comparison of integer expressions of different signedness: ‘int’ and ‘uint32_t’ {aka ‘unsigned int’} [-Wsign-compare] - 68 | for (auto i = 0; i < kmin; ++i) { - | ~~^~~~~~ - libs/easy/sat2/cardinality.hpp:73:24: warning: comparison of integer expressions of different signedness: ‘int’ and ‘uint32_t’ {aka ‘unsigned int’} [-Wsign-compare] - 73 | for (auto i = 1; i <= kmin; ++i) { - | ~~^~~~~~~ - libs/easy/sat2/cardinality.hpp:75:28: warning: comparison of integer expressions of different signedness: ‘int’ and ‘const unsigned int’ [-Wsign-compare] - 75 | for (auto j = 1; j <= min_j; ++j) { - | ~~^~~~~~~~ - libs/easy/sat2/cardinality.hpp: In function ‘void easy::sat2::detail::increase_totalizer_internal(std::vector >&, int&, std::vector&, uint32_t, std::vector&, std::vector&)’: - libs/easy/sat2/cardinality.hpp:105:24: warning: comparison of integer expressions of different signedness: ‘int’ and ‘const uint32_t’ {aka ‘const unsigned int’} [-Wsign-compare] - 105 | for (auto i = 1; i <= max_i; ++i) { - | ~~^~~~~~~~ - libs/easy/sat2/cardinality.hpp:108:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘const unsigned int’ [-Wsign-compare] - 108 | for (auto j = min_j; j <= max_j; ++j) { - | ~~^~~~~~~~ - libs/easy/sat2/cardinality.hpp: In function ‘std::shared_ptr easy::sat2::create_totalizer(std::vector >&, int&, const std::vector&, uint32_t)’: - libs/easy/sat2/cardinality.hpp:123:24: warning: comparison of integer expressions of different signedness: ‘int’ and ‘const long unsigned int’ [-Wsign-compare] - 123 | for (auto i = 0; i < n; ++i) { - | ~~^~~ - libs/easy/sat2/cardinality.hpp:146:28: warning: comparison of integer expressions of different signedness: ‘int’ and ‘uint32_t’ {aka ‘unsigned int’} [-Wsign-compare] - 146 | for (auto i = 0; i < kmin; ++i) { - | ~~^~~~~~ - libs/easy/sat2/cardinality.hpp: In function ‘std::shared_ptr easy::sat2::merge_totalizer(std::vector >&, int&, std::shared_ptr&, std::shared_ptr&, uint32_t)’: - libs/easy/sat2/cardinality.hpp:186:24: warning: comparison of integer expressions of different signedness: ‘int’ and ‘uint32_t’ {aka ‘unsigned int’} [-Wsign-compare] - 186 | for (auto i = 0; i < kmin; ++i) { - | ~~^~~~~~ - In file included from libs/easy/esop/helliwell.hpp:28, - from libs/easy/esop/constructors.hpp:46, - from libs/tweedledum/algorithms/synthesis/stg.hpp:16, - from libs/caterpillar/synthesis/lhrs.hpp:19, - from include/synthesis/logic_synthesis.hpp:37, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/easy/sat2/maxsat.hpp: In member function ‘easy::sat2::maxsat_solver::state easy::sat2::maxsat_solver::solve()’: - libs/easy/sat2/maxsat.hpp:151:28: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 151 | for (auto i = 0; i < _soft_clauses.size(); ++i) { - | ~~^~~~~~~~~~~~~~~~~~~~~~ - libs/easy/sat2/maxsat.hpp:178:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 178 | for (auto i = 0; i < at_most_k->vars.size(); ++i) { - | ~~^~~~~~~~~~~~~~~~~~~~~~~~ - libs/easy/sat2/maxsat.hpp:179:44: warning: comparison of integer expressions of different signedness: ‘int’ and ‘uint32_t’ {aka ‘unsigned int’} [-Wsign-compare] - 179 | assumptions.emplace_back(i < k ? at_most_k->vars[i] - | ~~^~~ - libs/easy/sat2/maxsat.hpp: In member function ‘void easy::sat2::maxsat_solver::add_one_hot_clauses(std::vector)’: - libs/easy/sat2/maxsat.hpp:291:28: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 291 | for (auto i = 1; i < at_most_1->vars.size(); ++i) { - | ~~^~~~~~~~~~~~~~~~~~~~~~~~ - libs/easy/sat2/maxsat.hpp: In member function ‘easy::sat2::maxsat_solver::state easy::sat2::maxsat_solver::solve()’: - libs/easy/sat2/maxsat.hpp:330:28: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 330 | for (auto i = 0; i < _soft_clauses.size(); ++i) { - | ~~^~~~~~~~~~~~~~~~~~~~~~ - libs/easy/sat2/maxsat.hpp:358:36: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 358 | for (auto i = 0; i < _selectors.size(); ++i) { - | ~~^~~~~~~~~~~~~~~~~~~ - libs/easy/sat2/maxsat.hpp:385:36: warning: comparison of integer expressions of different signedness: ‘int’ and ‘uint64_t’ {aka ‘long unsigned int’} [-Wsign-compare] - 385 | for (auto i = 0; i < core.size(); ++i) { - | ~~^~~~~~~~~~~~~ - libs/easy/sat2/maxsat.hpp: In member function ‘easy::sat2::maxsat_solver::state easy::sat2::maxsat_solver::solve()’: - libs/easy/sat2/maxsat.hpp:512:28: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 512 | for (auto i = 0; i < _soft_clauses.size(); ++i) { - | ~~^~~~~~~~~~~~~~~~~~~~~~ - libs/easy/sat2/maxsat.hpp:546:36: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 546 | for (auto i = 0; i < _soft_clauses.size(); ++i) { - | ~~^~~~~~~~~~~~~~~~~~~~~~ - libs/easy/sat2/maxsat.hpp:563:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘uint64_t’ {aka ‘long unsigned int’} [-Wsign-compare] - 563 | for (auto i = 0; i < core.size(); ++i) { - | ~~^~~~~~~~~~~~~ - libs/easy/sat2/maxsat.hpp:579:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘uint64_t’ {aka ‘long unsigned int’} [-Wsign-compare] - 579 | for (auto i = 0; i < core.size(); ++i) { - | ~~^~~~~~~~~~~~~ - libs/easy/sat2/maxsat.hpp:642:27: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 642 | if (b < t->vars.size()) { - | ~~^~~~~~~~~~~~~~~~ - In file included from libs/easy/esop/helliwell.hpp:29, - from libs/easy/esop/constructors.hpp:46, - from libs/tweedledum/algorithms/synthesis/stg.hpp:16, - from libs/caterpillar/synthesis/lhrs.hpp:19, - from include/synthesis/logic_synthesis.hpp:37, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/easy/sat2/cnf_from_xcnf.hpp: In member function ‘void easy::sat2::cnf_from_xcnf::print_matrix(std::ostream&, const std::vector >&) const’: - libs/easy/sat2/cnf_from_xcnf.hpp:132:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘easy::utils::dynamic_bitset<>::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 132 | for (auto i = 0; i < m.num_bits(); ++i) { - | ~~^~~~~~~~~~~~~~ - libs/easy/sat2/cnf_from_xcnf.hpp: In member function ‘void easy::sat2::cnf_from_xcnf::cnf_from_matrix(std::vector >&, const std::vector >&)’: - libs/easy/sat2/cnf_from_xcnf.hpp:171:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘easy::utils::dynamic_bitset<>::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 171 | for (auto i = 0; i < row.num_bits() - 1u; ++i) { - | ~~^~~~~~~~~~~~~~~~~~~~~ - In file included from libs/mockturtle/mockturtle.hpp:62, - from include/synthesis/logic_synthesis.hpp:41, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/mockturtle/networks/xmg.hpp: In member function ‘mockturtle::xmg_network::signal mockturtle::xmg_network::create_maj(mockturtle::xmg_network::signal, mockturtle::xmg_network::signal, mockturtle::xmg_network::signal)’: - libs/mockturtle/networks/xmg.hpp:200:28: warning: suggest parentheses around comparison in operand of ‘==’ [-Wparentheses] - 200 | } else if (a.index == b.index == c.index) { - | ~~~~~~~~^~~~~~~~~~ - In file included from include/synthesis/cnot_dihedral.hpp:42, - from include/optimization/cnot_resynthesis.hpp:42, - from pystaq/staq_wrapper.cpp:42: - include/synthesis/linear_reversible.hpp: In function ‘std::__cxx11::list > staq::synthesis::gauss_jordan(staq::synthesis::linear_op)’: - include/synthesis/linear_reversible.hpp:91:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::size_t’ {aka ‘long unsigned int’} [-Wsign-compare] - 91 | if (pivot != i) { - | ~~~~~~^~~~ - include/synthesis/linear_reversible.hpp: In function ‘std::__cxx11::list > staq::synthesis::gaussian_elim(staq::synthesis::linear_op)’: - include/synthesis/linear_reversible.hpp:133:19: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::size_t’ {aka ‘long unsigned int’} [-Wsign-compare] - 133 | if (pivot != i) { - | ~~~~~~^~~~ - include/synthesis/linear_reversible.hpp: In function ‘std::__cxx11::list > staq::synthesis::steiner_gauss(staq::synthesis::linear_op, staq::mapping::Device&)’: - include/synthesis/linear_reversible.hpp:229:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::size_t’ {aka ‘long unsigned int’} [-Wsign-compare] - 229 | if (tgt != ctrl && mat[tgt][i] == false) { - | ~~~~^~~~~~~ - In file included from include/optimization/cnot_resynthesis.hpp:42, - from pystaq/staq_wrapper.cpp:42: - include/synthesis/cnot_dihedral.hpp: In function ‘std::__cxx11::list, std::pair >, int> > > staq::synthesis::gray_synth(std::__cxx11::list, std::unique_ptr > > >&, staq::synthesis::linear_op)’: - include/synthesis/cnot_dihedral.hpp:184:26: warning: comparison of integer expressions of different signedness: ‘std::size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare] - 184 | if (ctrl != tgt && vec[ctrl]) { - | ~~~~~^~~~~~ - include/synthesis/cnot_dihedral.hpp: In function ‘std::__cxx11::list, std::pair >, int> > > staq::synthesis::gray_steiner(std::__cxx11::list, std::unique_ptr > > >&, staq::synthesis::linear_op, staq::mapping::Device&)’: - include/synthesis/cnot_dihedral.hpp:258:26: warning: comparison of integer expressions of different signedness: ‘std::size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare] - 258 | if (ctrl != tgt && vec[ctrl]) - | ~~~~~^~~~~~ - In file included from pystaq/staq_wrapper.cpp:47: - include/mapping/layout/basic.hpp: In member function ‘virtual void staq::mapping::BasicLayout::visit(qasmtools::ast::RegisterDecl&)’: - include/mapping/layout/basic.hpp:128:34: warning: comparison of integer expressions of different signedness: ‘std::size_t’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare] - 128 | if (n_ + decl.size() <= device_.qubits_) { - | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~ - In file included from pystaq/staq_wrapper.cpp:56: - include/output/cirq.hpp: In member function ‘virtual void staq::output::CirqOutputter::visit(qasmtools::ast::GateDecl&)’: - include/output/cirq.hpp:218:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 218 | for (auto i = 0; i < decl.c_params().size(); i++) { - | ~~^~~~~~~~~~~~~~~~~~~~~~~~ - include/output/cirq.hpp:232:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 232 | for (auto i = 0; i < decl.c_params().size(); i++) { - | ~~^~~~~~~~~~~~~~~~~~~~~~~~ - include/output/cirq.hpp:243:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 243 | for (auto i = 0; i < decl.c_params().size(); i++) { - | ~~^~~~~~~~~~~~~~~~~~~~~~~~ - include/output/cirq.hpp:262:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 262 | for (auto i = 0; i < decl.q_params().size(); i++) { - | ~~^~~~~~~~~~~~~~~~~~~~~~~~ - In file included from pystaq/staq_wrapper.cpp:57: - include/output/lattice_surgery.hpp: In member function ‘void staq::output::PauliOpCircuit::add_pauli_block(staq::output::PauliOpCircuit::Op)’: - include/output/lattice_surgery.hpp:97:29: warning: comparison of integer expressions of different signedness: ‘std::vector::size_type’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare] - 97 | if (op.first.size() != qubit_num_) { - | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~ - include/output/lattice_surgery.hpp: In static member function ‘static bool staq::output::PauliOpCircuit::are_commuting(const Op&, const Op&)’: - include/output/lattice_surgery.hpp:170:27: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 170 | for (int i = 0; i < block1.first.size(); i++) { - | ~~^~~~~~~~~~~~~~~~~~~~~ - include/output/lattice_surgery.hpp: In static member function ‘static std::__cxx11::list, std::__cxx11::basic_string > > staq::output::PauliOpCircuit::get_y_free_equivalent(const Op&)’: - include/output/lattice_surgery.hpp:211:27: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 211 | for (int i = 0; i < block.first.size(); i++) { - | ~~^~~~~~~~~~~~~~~~~~~~ - include/output/lattice_surgery.hpp: In member function ‘void staq::output::PauliOpCircuitCompiler::add_layer(const std::vector&, const std::vector&, const string&)’: - include/output/lattice_surgery.hpp:669:27: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 669 | for (int i = 0; i < vas.size(); i++) { - | ~~^~~~~~~~~~~~ - In file included from pystaq/staq_wrapper.cpp:58: - include/output/projectq.hpp: In member function ‘virtual void staq::output::ProjectQOutputter::visit(qasmtools::ast::GateDecl&)’: - include/output/projectq.hpp:226:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 226 | for (auto i = 0; i < decl.c_params().size(); i++) { - | ~~^~~~~~~~~~~~~~~~~~~~~~~~ - include/output/projectq.hpp:242:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 242 | for (auto i = 0; i < decl.c_params().size(); i++) { - | ~~^~~~~~~~~~~~~~~~~~~~~~~~ - include/output/projectq.hpp:253:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 253 | for (auto i = 0; i < decl.c_params().size(); i++) { - | ~~^~~~~~~~~~~~~~~~~~~~~~~~ - include/output/projectq.hpp:279:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 279 | for (auto i = 0; i < decl.q_params().size(); i++) { - | ~~^~~~~~~~~~~~~~~~~~~~~~~~ - In file included from pystaq/staq_wrapper.cpp:59: - include/output/qsharp.hpp: In member function ‘virtual void staq::output::QSharpOutputter::visit(qasmtools::ast::GateDecl&)’: - include/output/qsharp.hpp:259:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 259 | i < (decl.c_params().size() + decl.q_params().size()); i++) { - | ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - include/output/qsharp.hpp:263:23: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 263 | if (i < decl.c_params().size()) - | ~~^~~~~~~~~~~~~~~~~~~~~~~~ - In file included from pystaq/staq_wrapper.cpp:60: - include/output/quil.hpp: In member function ‘virtual void staq::output::QuilOutputter::visit(qasmtools::ast::GateDecl&)’: - include/output/quil.hpp:259:36: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 259 | for (auto i = 0; i < decl.c_params().size(); i++) { - | ~~^~~~~~~~~~~~~~~~~~~~~~~~ - include/output/quil.hpp:267:32: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector >::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] - 267 | for (auto i = 0; i < decl.q_params().size(); i++) { - | ~~^~~~~~~~~~~~~~~~~~~~~~~~ - pystaq/staq_wrapper.cpp: In member function ‘void Program::qasm_synth(Program&, long int, int, const string&, const string&, bool, bool, bool)’: - pystaq/staq_wrapper.cpp:152:32: error: ‘QASMSynthOptions’ is not a member of ‘staq::transformations’ - 152 | staq::transformations::QASMSynthOptions options{ - | ^~~~~~~~~~~~~~~~ - pystaq/staq_wrapper.cpp:155:13: error: ‘options’ was not declared in this scope; did you mean ‘pybind11::options’? - 155 | options.read = true; - | ^~~~~~~ - | pybind11::options - In file included from libs/pybind11/detail/class.h:13, - from libs/pybind11/pybind11.h:13, - from pystaq/staq_wrapper.cpp:31: - libs/pybind11/detail/../options.h:16:7: note: ‘pybind11::options’ declared here - 16 | class options { - | ^~~~~~~ - pystaq/staq_wrapper.cpp:158:13: error: ‘options’ was not declared in this scope; did you mean ‘pybind11::options’? - 158 | options.write = true; - | ^~~~~~~ - | pybind11::options - In file included from libs/pybind11/detail/class.h:13, - from libs/pybind11/pybind11.h:13, - from pystaq/staq_wrapper.cpp:31: - libs/pybind11/detail/../options.h:16:7: note: ‘pybind11::options’ declared here - 16 | class options { - | ^~~~~~~ - pystaq/staq_wrapper.cpp:161:32: error: ‘qasm_synth’ is not a member of ‘staq::transformations’ - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~~~~~~~ - pystaq/staq_wrapper.cpp:161:43: error: no match for ‘operator*’ (operand type is ‘Program’) - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr::value_type, __gmp_binary_expr<__gmp_expr, __gmp_expr, __gmp_binary_multiplies> > operator*(const __gmp_expr&, const __gmp_expr&)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: ‘Program’ is not derived from ‘const __gmp_expr’ - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, long int, __gmp_binary_multiplies> > operator*(const __gmp_expr&, signed char)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: ‘Program’ is not derived from ‘const __gmp_expr’ - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, __gmp_binary_multiplies> > operator*(signed char, const __gmp_expr&)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: candidate expects 2 arguments, 1 provided - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, long unsigned int, __gmp_binary_multiplies> > operator*(const __gmp_expr&, unsigned char)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: ‘Program’ is not derived from ‘const __gmp_expr’ - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, __gmp_binary_multiplies> > operator*(unsigned char, const __gmp_expr&)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: candidate expects 2 arguments, 1 provided - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, long int, __gmp_binary_multiplies> > operator*(const __gmp_expr&, int)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: ‘Program’ is not derived from ‘const __gmp_expr’ - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, __gmp_binary_multiplies> > operator*(int, const __gmp_expr&)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: candidate expects 2 arguments, 1 provided - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, long unsigned int, __gmp_binary_multiplies> > operator*(const __gmp_expr&, unsigned int)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: ‘Program’ is not derived from ‘const __gmp_expr’ - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, __gmp_binary_multiplies> > operator*(unsigned int, const __gmp_expr&)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: candidate expects 2 arguments, 1 provided - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, long int, __gmp_binary_multiplies> > operator*(const __gmp_expr&, short int)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: ‘Program’ is not derived from ‘const __gmp_expr’ - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, __gmp_binary_multiplies> > operator*(short int, const __gmp_expr&)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: candidate expects 2 arguments, 1 provided - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, long unsigned int, __gmp_binary_multiplies> > operator*(const __gmp_expr&, short unsigned int)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: ‘Program’ is not derived from ‘const __gmp_expr’ - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, __gmp_binary_multiplies> > operator*(short unsigned int, const __gmp_expr&)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: candidate expects 2 arguments, 1 provided - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, long int, __gmp_binary_multiplies> > operator*(const __gmp_expr&, long int)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: ‘Program’ is not derived from ‘const __gmp_expr’ - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, __gmp_binary_multiplies> > operator*(long int, const __gmp_expr&)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: candidate expects 2 arguments, 1 provided - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, long unsigned int, __gmp_binary_multiplies> > operator*(const __gmp_expr&, long unsigned int)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: ‘Program’ is not derived from ‘const __gmp_expr’ - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, __gmp_binary_multiplies> > operator*(long unsigned int, const __gmp_expr&)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: candidate expects 2 arguments, 1 provided - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, double, __gmp_binary_multiplies> > operator*(const __gmp_expr&, float)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: ‘Program’ is not derived from ‘const __gmp_expr’ - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, __gmp_binary_multiplies> > operator*(float, const __gmp_expr&)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: candidate expects 2 arguments, 1 provided - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, double, __gmp_binary_multiplies> > operator*(const __gmp_expr&, double)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: ‘Program’ is not derived from ‘const __gmp_expr’ - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - In file included from include/grid_synth/gmp_functions.hpp:34, - from qasmtools/include/qasmtools/parser/../ast/expr.hpp:42, - from qasmtools/include/qasmtools/parser/../ast/stmt.hpp:39, - from qasmtools/include/qasmtools/parser/../ast/decl.hpp:37, - from qasmtools/include/qasmtools/parser/../ast/ast.hpp:35, - from qasmtools/include/qasmtools/parser/parser.hpp:39, - from pystaq/staq_wrapper.cpp:34: - /usr/include/gmpxx.h:3320:1: note: candidate: ‘template __gmp_expr, __gmp_binary_multiplies> > operator*(double, const __gmp_expr&)’ - 3320 | __GMP_DEFINE_BINARY_FUNCTION(operator*, __gmp_binary_multiplies) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ - /usr/include/gmpxx.h:3320:1: note: template argument deduction/substitution failed: - pystaq/staq_wrapper.cpp:161:44: note: candidate expects 2 arguments, 1 provided - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~ - pystaq/staq_wrapper.cpp:161:50: error: ‘options’ was not declared in this scope; did you mean ‘pybind11::options’? - 161 | staq::transformations::qasm_synth(*prog, options); - | ^~~~~~~ - | pybind11::options - In file included from libs/pybind11/detail/class.h:13, - from libs/pybind11/pybind11.h:13, - from pystaq/staq_wrapper.cpp:31: - libs/pybind11/detail/../options.h:16:7: note: ‘pybind11::options’ declared here - 16 | class options { - | ^~~~~~~ - pystaq/staq_wrapper.cpp: In function ‘void pybind11_init_pystaq(pybind11::module_&)’: - pystaq/staq_wrapper.cpp:331:54: error: ‘MAX_ATTEMPTS_POLLARD_RHO’ is not a member of ‘staq::grid_synth’ - 331 | py::arg("pollard-rho") = staq::grid_synth::MAX_ATTEMPTS_POLLARD_RHO, - | ^~~~~~~~~~~~~~~~~~~~~~~~ - In file included from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - include/synthesis/logic_synthesis.hpp: In instantiation of ‘std::__cxx11::list > > staq::synthesis::synthesize_net(qasmtools::parser::Position, T&, const std::vector >&, std::string) [with T = mockturtle::mig_network; std::string = std::__cxx11::basic_string]’: - include/transformations/oracle_synthesizer.hpp:60:79: required from here - include/synthesis/logic_synthesis.hpp:151:29: warning: moving a local object in a return statement prevents copy elision [-Wpessimizing-move] - 151 | return std::move(ret); - | ^ - include/synthesis/logic_synthesis.hpp:151:29: note: remove ‘std::move’ call - include/synthesis/logic_synthesis.hpp:319:25: warning: moving a local object in a return statement prevents copy elision [-Wpessimizing-move] - 319 | return std::move(ret); - | ^ - include/synthesis/logic_synthesis.hpp:319:25: note: remove ‘std::move’ call - In file included from libs/easy/sat2/sat_solver.hpp:45, - from libs/easy/sat2/maxsat.hpp:35, - from libs/easy/esop/helliwell.hpp:28, - from libs/easy/esop/constructors.hpp:46, - from libs/tweedledum/algorithms/synthesis/stg.hpp:16, - from libs/caterpillar/synthesis/lhrs.hpp:19, - from include/synthesis/logic_synthesis.hpp:37, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/glucose/glucose.hpp: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::vec]’: - libs/glucose/glucose.hpp:283:5: required from ‘void Glucose::vec::growTo(int) [with T = Glucose::vec]’ - libs/glucose/glucose.hpp:2573:9: required from ‘void Glucose::OccLists::copyTo(Glucose::OccLists&) const [with Idx = Glucose::Lit; Vec = Glucose::vec; Deleted = Glucose::Solver::WatcherDeleted]’ - libs/glucose/glucose.hpp:4177:29: required from here - libs/glucose/glucose.hpp:264:33: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Glucose::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] - 264 | (((data = (T*) ::realloc(data, (cap += add) * sizeof(T))) == NULL) && - | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - libs/glucose/glucose.hpp:138:7: note: ‘class Glucose::vec’ declared here - 138 | class vec { - | ^~~ - libs/glucose/glucose.hpp: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]’: - libs/glucose/glucose.hpp:190:13: required from ‘void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]’ - libs/glucose/glucose.hpp:803:9: required from ‘void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]’ - libs/glucose/glucose.hpp:867:9: required from ‘void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]’ - libs/glucose/glucose.hpp:3031:56: required from here - libs/glucose/glucose.hpp:264:33: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘struct Glucose::Map, long unsigned int>::Pair’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] - 264 | (((data = (T*) ::realloc(data, (cap += add) * sizeof(T))) == NULL) && - | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - libs/glucose/glucose.hpp:781:12: note: ‘struct Glucose::Map, long unsigned int>::Pair’ declared here - 781 | struct Pair { - | ^~~~ - In file included from libs/mockturtle/algorithms/../networks/storage.hpp:41, - from libs/mockturtle/algorithms/../networks/klut.hpp:41, - from libs/mockturtle/algorithms/cut_rewriting.hpp:43, - from libs/mockturtle/mockturtle.hpp:42, - from include/synthesis/logic_synthesis.hpp:41, - from include/transformations/oracle_synthesizer.hpp:36, - from pystaq/staq_wrapper.cpp:40: - libs/sparsepp/spp.h: In instantiation of ‘void spp::sparsetable::resize(spp::sparsetable::size_type) [with T = std::pair; Alloc = spp::libc_allocator >; spp::sparsetable::size_type = long unsigned int]’: - libs/sparsepp/spp.h:2748:13: required from ‘void spp::sparse_hashtable::_move_from(spp::sparse_hashtable::MoveDontCopyT, spp::sparse_hashtable&, spp::sparse_hashtable::size_type) [with Value = std::pair; Key = mockturtle::klut_storage_node; HashFcn = mockturtle::node_hash; ExtractKey = spp::sparse_hash_map, std::equal_to, spp::libc_allocator > >::SelectKey; SetKey = spp::sparse_hash_map, std::equal_to, spp::libc_allocator > >::SetKey; EqualKey = std::equal_to; Alloc = spp::libc_allocator >; spp::sparse_hashtable::size_type = long unsigned int]’ - libs/sparsepp/spp.h:2869:9: required from ‘spp::sparse_hashtable::sparse_hashtable(spp::sparse_hashtable::MoveDontCopyT, spp::sparse_hashtable&, spp::sparse_hashtable::size_type) [with Value = std::pair; Key = mockturtle::klut_storage_node; HashFcn = mockturtle::node_hash; ExtractKey = spp::sparse_hash_map, std::equal_to, spp::libc_allocator > >::SelectKey; SetKey = spp::sparse_hash_map, std::equal_to, spp::libc_allocator > >::SetKey; EqualKey = std::equal_to; Alloc = spp::libc_allocator >; spp::sparse_hashtable::size_type = long unsigned int]’ - libs/sparsepp/spp.h:2691:26: required from ‘bool spp::sparse_hashtable::_resize_delta(spp::sparse_hashtable::size_type) [with Value = std::pair; Key = mockturtle::klut_storage_node; HashFcn = mockturtle::node_hash; ExtractKey = spp::sparse_hash_map, std::equal_to, spp::libc_allocator > >::SelectKey; SetKey = spp::sparse_hash_map, std::equal_to, spp::libc_allocator > >::SetKey; EqualKey = std::equal_to; Alloc = spp::libc_allocator >; spp::sparse_hashtable::size_type = long unsigned int]’ - libs/sparsepp/spp.h:3162:21: required from ‘spp::sparse_hashtable::value_type& spp::sparse_hashtable::find_or_insert(const key_type&) [with DefaultValue = spp::sparse_hash_map, std::equal_to, spp::libc_allocator > >::DefaultValue; Value = std::pair; Key = mockturtle::klut_storage_node; HashFcn = mockturtle::node_hash; ExtractKey = spp::sparse_hash_map, std::equal_to, spp::libc_allocator > >::SelectKey; SetKey = spp::sparse_hash_map, std::equal_to, spp::libc_allocator > >::SetKey; EqualKey = std::equal_to; Alloc = spp::libc_allocator >; spp::sparse_hashtable::value_type = std::pair; spp::sparse_hashtable::key_type = mockturtle::klut_storage_node]’ - libs/sparsepp/spp.h:3615:63: required from ‘spp::sparse_hash_map::mapped_type& spp::sparse_hash_map::operator[](const key_type&) [with Key = mockturtle::klut_storage_node; T = long unsigned int; HashFcn = mockturtle::node_hash; EqualKey = std::equal_to; Alloc = spp::libc_allocator >; spp::sparse_hash_map::mapped_type = long unsigned int; spp::sparse_hash_map::key_type = mockturtle::klut_storage_node]’ - libs/mockturtle/algorithms/../networks/klut.hpp:258:28: required from here - libs/sparsepp/spp.h:2060:23: warning: ‘void* memcpy(void*, const void*, size_t)’ writing to an object of type ‘spp::sparsetable, spp::libc_allocator > >::group_type’ {aka ‘class spp::sparsegroup, spp::libc_allocator > >’} with no trivial copy-assignment; use copy-initialization instead [-Wclass-memaccess] - 2060 | memcpy(first, _first_group, - | ~~~~~~^~~~~~~~~~~~~~~~~~~~~ - 2061 | sizeof(*first) * (std::min)(sz, old_sz)); - | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - libs/sparsepp/spp.h:1013:7: note: ‘spp::sparsetable, spp::libc_allocator > >::group_type’ {aka ‘class spp::sparsegroup, spp::libc_allocator > >’} declared here - 1013 | class sparsegroup { - | ^~~~~~~~~~~ - libs/sparsepp/spp.h: In instantiation of ‘void spp::sparsetable::resize(spp::sparsetable::size_type) [with T = std::pair, long unsigned int>; Alloc = spp::libc_allocator, long unsigned int> >; spp::sparsetable::size_type = long unsigned int]’: - libs/sparsepp/spp.h:2748:13: required from ‘void spp::sparse_hashtable::_move_from(spp::sparse_hashtable::MoveDontCopyT, spp::sparse_hashtable&, spp::sparse_hashtable::size_type) [with Value = std::pair, long unsigned int>; Key = mockturtle::regular_node<3, 2, 1>; HashFcn = mockturtle::node_hash >; ExtractKey = spp::sparse_hash_map, long unsigned int, mockturtle::node_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SelectKey; SetKey = spp::sparse_hash_map, long unsigned int, mockturtle::node_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SetKey; EqualKey = std::equal_to >; Alloc = spp::libc_allocator, long unsigned int> >; spp::sparse_hashtable::size_type = long unsigned int]’ - libs/sparsepp/spp.h:2869:9: required from ‘spp::sparse_hashtable::sparse_hashtable(spp::sparse_hashtable::MoveDontCopyT, spp::sparse_hashtable&, spp::sparse_hashtable::size_type) [with Value = std::pair, long unsigned int>; Key = mockturtle::regular_node<3, 2, 1>; HashFcn = mockturtle::node_hash >; ExtractKey = spp::sparse_hash_map, long unsigned int, mockturtle::node_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SelectKey; SetKey = spp::sparse_hash_map, long unsigned int, mockturtle::node_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SetKey; EqualKey = std::equal_to >; Alloc = spp::libc_allocator, long unsigned int> >; spp::sparse_hashtable::size_type = long unsigned int]’ - libs/sparsepp/spp.h:2691:26: required from ‘bool spp::sparse_hashtable::_resize_delta(spp::sparse_hashtable::size_type) [with Value = std::pair, long unsigned int>; Key = mockturtle::regular_node<3, 2, 1>; HashFcn = mockturtle::node_hash >; ExtractKey = spp::sparse_hash_map, long unsigned int, mockturtle::node_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SelectKey; SetKey = spp::sparse_hash_map, long unsigned int, mockturtle::node_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SetKey; EqualKey = std::equal_to >; Alloc = spp::libc_allocator, long unsigned int> >; spp::sparse_hashtable::size_type = long unsigned int]’ - libs/sparsepp/spp.h:3162:21: required from ‘spp::sparse_hashtable::value_type& spp::sparse_hashtable::find_or_insert(const key_type&) [with DefaultValue = spp::sparse_hash_map, long unsigned int, mockturtle::node_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::DefaultValue; Value = std::pair, long unsigned int>; Key = mockturtle::regular_node<3, 2, 1>; HashFcn = mockturtle::node_hash >; ExtractKey = spp::sparse_hash_map, long unsigned int, mockturtle::node_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SelectKey; SetKey = spp::sparse_hash_map, long unsigned int, mockturtle::node_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SetKey; EqualKey = std::equal_to >; Alloc = spp::libc_allocator, long unsigned int> >; spp::sparse_hashtable::value_type = std::pair, long unsigned int>; spp::sparse_hashtable::key_type = mockturtle::regular_node<3, 2, 1>]’ - libs/sparsepp/spp.h:3615:63: required from ‘spp::sparse_hash_map::mapped_type& spp::sparse_hash_map::operator[](const key_type&) [with Key = mockturtle::regular_node<3, 2, 1>; T = long unsigned int; HashFcn = mockturtle::node_hash >; EqualKey = std::equal_to >; Alloc = spp::libc_allocator, long unsigned int> >; spp::sparse_hash_map::mapped_type = long unsigned int; spp::sparse_hash_map::key_type = mockturtle::regular_node<3, 2, 1>]’ - libs/mockturtle/algorithms/../networks/mig.hpp:276:28: required from here - libs/sparsepp/spp.h:2060:23: warning: ‘void* memcpy(void*, const void*, size_t)’ writing to an object of type ‘spp::sparsetable, long unsigned int>, spp::libc_allocator, long unsigned int> > >::group_type’ {aka ‘class spp::sparsegroup, long unsigned int>, spp::libc_allocator, long unsigned int> > >’} with no trivial copy-assignment; use copy-initialization instead [-Wclass-memaccess] - 2060 | memcpy(first, _first_group, - | ~~~~~~^~~~~~~~~~~~~~~~~~~~~ - 2061 | sizeof(*first) * (std::min)(sz, old_sz)); - | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - libs/sparsepp/spp.h:1013:7: note: ‘spp::sparsetable, long unsigned int>, spp::libc_allocator, long unsigned int> > >::group_type’ {aka ‘class spp::sparsegroup, long unsigned int>, spp::libc_allocator, long unsigned int> > >’} declared here - 1013 | class sparsegroup { - | ^~~~~~~~~~~ - libs/sparsepp/spp.h: In instantiation of ‘void spp::sparsetable::resize(spp::sparsetable::size_type) [with T = std::pair, long unsigned int>; Alloc = spp::libc_allocator, long unsigned int> >; spp::sparsetable::size_type = long unsigned int]’: - libs/sparsepp/spp.h:2748:13: required from ‘void spp::sparse_hashtable::_move_from(spp::sparse_hashtable::MoveDontCopyT, spp::sparse_hashtable&, spp::sparse_hashtable::size_type) [with Value = std::pair, long unsigned int>; Key = mockturtle::regular_node<2, 2, 1>; HashFcn = mockturtle::aig_hash >; ExtractKey = spp::sparse_hash_map, long unsigned int, mockturtle::aig_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SelectKey; SetKey = spp::sparse_hash_map, long unsigned int, mockturtle::aig_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SetKey; EqualKey = std::equal_to >; Alloc = spp::libc_allocator, long unsigned int> >; spp::sparse_hashtable::size_type = long unsigned int]’ - libs/sparsepp/spp.h:2869:9: required from ‘spp::sparse_hashtable::sparse_hashtable(spp::sparse_hashtable::MoveDontCopyT, spp::sparse_hashtable&, spp::sparse_hashtable::size_type) [with Value = std::pair, long unsigned int>; Key = mockturtle::regular_node<2, 2, 1>; HashFcn = mockturtle::aig_hash >; ExtractKey = spp::sparse_hash_map, long unsigned int, mockturtle::aig_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SelectKey; SetKey = spp::sparse_hash_map, long unsigned int, mockturtle::aig_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SetKey; EqualKey = std::equal_to >; Alloc = spp::libc_allocator, long unsigned int> >; spp::sparse_hashtable::size_type = long unsigned int]’ - libs/sparsepp/spp.h:2691:26: required from ‘bool spp::sparse_hashtable::_resize_delta(spp::sparse_hashtable::size_type) [with Value = std::pair, long unsigned int>; Key = mockturtle::regular_node<2, 2, 1>; HashFcn = mockturtle::aig_hash >; ExtractKey = spp::sparse_hash_map, long unsigned int, mockturtle::aig_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SelectKey; SetKey = spp::sparse_hash_map, long unsigned int, mockturtle::aig_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SetKey; EqualKey = std::equal_to >; Alloc = spp::libc_allocator, long unsigned int> >; spp::sparse_hashtable::size_type = long unsigned int]’ - libs/sparsepp/spp.h:3162:21: required from ‘spp::sparse_hashtable::value_type& spp::sparse_hashtable::find_or_insert(const key_type&) [with DefaultValue = spp::sparse_hash_map, long unsigned int, mockturtle::aig_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::DefaultValue; Value = std::pair, long unsigned int>; Key = mockturtle::regular_node<2, 2, 1>; HashFcn = mockturtle::aig_hash >; ExtractKey = spp::sparse_hash_map, long unsigned int, mockturtle::aig_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SelectKey; SetKey = spp::sparse_hash_map, long unsigned int, mockturtle::aig_hash >, std::equal_to >, spp::libc_allocator, long unsigned int> > >::SetKey; EqualKey = std::equal_to >; Alloc = spp::libc_allocator, long unsigned int> >; spp::sparse_hashtable::value_type = std::pair, long unsigned int>; spp::sparse_hashtable::key_type = mockturtle::regular_node<2, 2, 1>]’ - libs/sparsepp/spp.h:3615:63: required from ‘spp::sparse_hash_map::mapped_type& spp::sparse_hash_map::operator[](const key_type&) [with Key = mockturtle::regular_node<2, 2, 1>; T = long unsigned int; HashFcn = mockturtle::aig_hash >; EqualKey = std::equal_to >; Alloc = spp::libc_allocator, long unsigned int> >; spp::sparse_hash_map::mapped_type = long unsigned int; spp::sparse_hash_map::key_type = mockturtle::regular_node<2, 2, 1>]’ - libs/mockturtle/io/../networks/aig.hpp:276:28: required from here - libs/sparsepp/spp.h:2060:23: warning: ‘void* memcpy(void*, const void*, size_t)’ writing to an object of type ‘spp::sparsetable, long unsigned int>, spp::libc_allocator, long unsigned int> > >::group_type’ {aka ‘class spp::sparsegroup, long unsigned int>, spp::libc_allocator, long unsigned int> > >’} with no trivial copy-assignment; use copy-initialization instead [-Wclass-memaccess] - 2060 | memcpy(first, _first_group, - | ~~~~~~^~~~~~~~~~~~~~~~~~~~~ - 2061 | sizeof(*first) * (std::min)(sz, old_sz)); - | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - libs/sparsepp/spp.h:1013:7: note: ‘spp::sparsetable, long unsigned int>, spp::libc_allocator, long unsigned int> > >::group_type’ {aka ‘class spp::sparsegroup, long unsigned int>, spp::libc_allocator, long unsigned int> > >’} declared here - 1013 | class sparsegroup { - | ^~~~~~~~~~~ - In file included from pystaq/staq_wrapper.cpp:42: - include/optimization/cnot_resynthesis.hpp: At global scope: - include/optimization/cnot_resynthesis.hpp:378:13: warning: ‘void staq::optimization::optimize_CNOT(qasmtools::ast::ASTNode&, const staq::optimization::CNOTOptimizer::config&)’ defined but not used [-Wunused-function] - 378 | static void optimize_CNOT(ast::ASTNode& node, - | ^~~~~~~~~~~~~ - In file included from include/optimization/cnot_resynthesis.hpp:42, - from pystaq/staq_wrapper.cpp:42: - include/synthesis/cnot_dihedral.hpp:97:13: warning: ‘void staq::synthesis::adjust_vectors_and_indices(int, int, std::__cxx11::list&)’ defined but not used [-Wunused-function] - 97 | static void adjust_vectors_and_indices(int ctrl, int tgt, - | ^~~~~~~~~~~~~~~~~~~~~~~~~~ - include/synthesis/cnot_dihedral.hpp:63:13: warning: ‘void staq::synthesis::print_partition(const staq::synthesis::partition&)’ defined but not used [-Wunused-function] - 63 | static void print_partition(const partition& part) { - | ^~~~~~~~~~~~~~~ - In file included from include/synthesis/cnot_dihedral.hpp:42, - from include/optimization/cnot_resynthesis.hpp:42, - from pystaq/staq_wrapper.cpp:42: - include/synthesis/linear_reversible.hpp:114:39: warning: ‘std::__cxx11::list > staq::synthesis::gaussian_elim(staq::synthesis::linear_op)’ defined but not used [-Wunused-function] - 114 | static std::list> gaussian_elim(linear_op mat) { - | ^~~~~~~~~~~~~ - include/synthesis/linear_reversible.hpp:57:13: warning: ‘void staq::synthesis::print_linop(staq::synthesis::linear_op&)’ defined but not used [-Wunused-function] - 57 | static void print_linop(const linear_op& mat) { - | ^~~~~~~~~~~ - In file included from pystaq/staq_wrapper.cpp:39: - include/transformations/inline.hpp:273:13: warning: ‘void staq::transformations::inline_ast(qasmtools::ast::ASTNode&)’ defined but not used [-Wunused-function] - 273 | static void inline_ast(ast::ASTNode& node) { - | ^~~~~~~~~~ - In file included from pystaq/staq_wrapper.cpp:36: - include/transformations/barrier_merge.hpp:117:13: warning: ‘void staq::transformations::merge_barriers(qasmtools::ast::ASTNode&)’ defined but not used [-Wunused-function] - 117 | static void merge_barriers(ast::ASTNode& node) { - | ^~~~~~~~~~~~~~ - error: command '/usr/bin/x86_64-linux-gnu-gcc' failed with exit code 1 - [end of output] - - note: This error originates from a subprocess, and is likely not a problem with pip. - ERROR: Failed building wheel for pystaq -ERROR: Could not build wheels for pystaq, which is required to install pyproject.toml-based projects diff --git a/.err2 b/.err2 deleted file mode 100644 index e69de29b..00000000 diff --git a/.out2 b/.out2 deleted file mode 100644 index 8cb73716..00000000 --- a/.out2 +++ /dev/null @@ -1,21 +0,0 @@ -Defaulting to user installation because normal site-packages is not writeable -Processing /home/kevin-ubuntu/softwareQ/staq - Installing build dependencies: started - Installing build dependencies: finished with status 'done' - Getting requirements to build wheel: started - Getting requirements to build wheel: finished with status 'done' - Preparing metadata (pyproject.toml): started - Preparing metadata (pyproject.toml): finished with status 'done' -Building wheels for collected packages: pystaq - Building wheel for pystaq (pyproject.toml): started - Building wheel for pystaq (pyproject.toml): still running... - Building wheel for pystaq (pyproject.toml): finished with status 'done' - Created wheel for pystaq: filename=pystaq-3.2.3-cp38-cp38-linux_x86_64.whl size=868993 sha256=b32002092a8791706d3c6ec0b1a425036dc7c4cd00e17899ea1af84647ab6da8 - Stored in directory: /tmp/pip-ephem-wheel-cache-9vx1dj23/wheels/6e/23/7e/41bdbfef51ff12b2953bc5725ee762a7b5c2638875febd4457 -Successfully built pystaq -Installing collected packages: pystaq - Attempting uninstall: pystaq - Found existing installation: pystaq 3.2.3 - Uninstalling pystaq-3.2.3: - Successfully uninstalled pystaq-3.2.3 -Successfully installed pystaq-3.2.3