Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions .github/workflows/python-checks.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@ on:
- '**.yaml'
- '**.yml'
- '**.ini'
- 'third_party/**'
branches: [ main ]
pull_request:
paths:
Expand All @@ -26,7 +27,9 @@ on:
- '**.yaml'
- '**.yml'
- '**.ini'
- 'third_party/**'
branches: [ main ]
workflow_dispatch:

jobs:
ci:
Expand Down
2 changes: 1 addition & 1 deletion third_party/mockturtle
Submodule mockturtle updated 75 files
+2 −2 .github/workflows/coverage.yml
+73 −15 .github/workflows/linux.yml
+6 −24 .github/workflows/macos.yml
+5 −5 .github/workflows/windows.yml
+21 −15 CMakeLists.txt
+1 −1 docs/algorithms/resubstitution.rst
+3 −0 docs/changelog.rst
+6 −2 experiments/aig_resubstitution.cpp
+77 −0 experiments/xag_resubstitution.cpp
+174 −0 include/mockturtle/algorithms/aig_resub.hpp
+1 −1 include/mockturtle/algorithms/circuit_validator.hpp
+1 −1 include/mockturtle/algorithms/emap.hpp
+1 −1 include/mockturtle/algorithms/experimental/cost_generic_resub.hpp
+1 −1 include/mockturtle/algorithms/experimental/cost_resyn.hpp
+1 −1 include/mockturtle/algorithms/experimental/sim_resub.hpp
+1 −1 include/mockturtle/algorithms/experimental/window_resub.hpp
+1 −1 include/mockturtle/algorithms/mig_resub.hpp
+1 −1 include/mockturtle/algorithms/node_resynthesis/xag_minmc2.hpp
+1 −1 include/mockturtle/algorithms/node_resynthesis/xag_npn.hpp
+1 −1 include/mockturtle/algorithms/resyn_engines/aig_enumerative.hpp
+1 −1 include/mockturtle/algorithms/resyn_engines/mig_enumerative.hpp
+1 −1 include/mockturtle/algorithms/resyn_engines/mig_resyn.hpp
+1 −1 include/mockturtle/algorithms/resyn_engines/mux_resyn.hpp
+16 −1 include/mockturtle/algorithms/resyn_engines/xag_resyn.hpp
+1 −1 include/mockturtle/algorithms/window_rewriting.hpp
+216 −0 include/mockturtle/algorithms/xag_resub.hpp
+3 −0 include/mockturtle/io/blif_reader.hpp
+1 −1 include/mockturtle/mockturtle.hpp
+1 −0 include/mockturtle/networks/events.hpp
+64 −7 include/mockturtle/utils/index_list/index_list.hpp
+179 −0 include/mockturtle/utils/index_list/list_simulator.hpp
+4 −1 include/mockturtle/utils/tech_library.hpp
+1 −1 include/mockturtle/views/choice_view.hpp
+28 −32 lib/abcesop/eabc/exor.h
+1 −1 lib/kitty/kitty/affine.hpp
+1 −1 lib/kitty/kitty/algorithm.hpp
+24 −14 lib/kitty/kitty/bit_operations.hpp
+1 −1 lib/kitty/kitty/cnf.hpp
+12 −2 lib/kitty/kitty/constructors.hpp
+1 −1 lib/kitty/kitty/cube.hpp
+2 −2 lib/kitty/kitty/decomposition.hpp
+1 −1 lib/kitty/kitty/detail/constants.hpp
+1 −1 lib/kitty/kitty/detail/linear_constants.hpp
+2 −1 lib/kitty/kitty/detail/mscfix.hpp
+816 −816 lib/kitty/kitty/detail/shift.hpp
+1 −1 lib/kitty/kitty/detail/utils.hpp
+1 −1 lib/kitty/kitty/dynamic_truth_table.hpp
+1 −1 lib/kitty/kitty/enumeration.hpp
+1 −1 lib/kitty/kitty/esop.hpp
+1 −1 lib/kitty/kitty/hash.hpp
+1 −1 lib/kitty/kitty/implicant.hpp
+1 −1 lib/kitty/kitty/isop.hpp
+1 −1 lib/kitty/kitty/karnaugh_map.hpp
+1 −1 lib/kitty/kitty/kitty.hpp
+1 −1 lib/kitty/kitty/npn.hpp
+227 −166 lib/kitty/kitty/operations.hpp
+1 −1 lib/kitty/kitty/operators.hpp
+1 −1 lib/kitty/kitty/partial_truth_table.hpp
+1 −1 lib/kitty/kitty/permutation.hpp
+94 −5 lib/kitty/kitty/print.hpp
+1 −1 lib/kitty/kitty/properties.hpp
+1 −1 lib/kitty/kitty/quaternary_truth_table.hpp
+2 −2 lib/kitty/kitty/spectral.hpp
+1 −1 lib/kitty/kitty/spp.hpp
+1 −1 lib/kitty/kitty/static_truth_table.hpp
+2 −2 lib/kitty/kitty/ternary_truth_table.hpp
+1 −1 lib/kitty/kitty/traits.hpp
+1 −1 test/algorithms/circuit_validator.cpp
+1 −1 test/algorithms/equivalence_classes.cpp
+1 −1 test/algorithms/minmc_xags.cpp
+115 −0 test/algorithms/resubstitution.cpp
+1 −1 test/algorithms/resyn_engines/xag_resyn.cpp
+2 −2 test/utils/index_list/index_list.cpp
+115 −0 test/utils/index_list/list_simulator.cpp
+1 −1 test/utils/network_utils.cpp
2 changes: 1 addition & 1 deletion third_party/pybind11
Submodule pybind11 updated 79 files
+2 −0 .clang-tidy
+9 −1 .github/workflows/ci.yml
+30 −0 .github/workflows/emscripten.yaml
+1 −1 .github/workflows/format.yml
+6 −3 .github/workflows/pip.yml
+7 −7 .pre-commit-config.yaml
+3 −0 CMakeLists.txt
+1 −1 docs/advanced/cast/eigen.rst
+3 −3 docs/advanced/cast/stl.rst
+3 −3 docs/advanced/smart_ptrs.rst
+7 −0 docs/basics.rst
+164 −0 docs/changelog.rst
+3 −3 docs/compiling.rst
+44 −0 docs/faq.rst
+0 −4 docs/limitations.rst
+3 −3 docs/requirements.txt
+9 −2 include/pybind11/cast.h
+16 −3 include/pybind11/detail/class.h
+22 −3 include/pybind11/detail/common.h
+77 −0 include/pybind11/detail/cpp_conduit.h
+71 −0 include/pybind11/detail/exception_translation.h
+4 −2 include/pybind11/detail/init.h
+30 −13 include/pybind11/detail/internals.h
+44 −63 include/pybind11/detail/type_caster_base.h
+77 −0 include/pybind11/detail/value_and_holder.h
+2 −1 include/pybind11/eigen/matrix.h
+2 −4 include/pybind11/eigen/tensor.h
+45 −34 include/pybind11/functional.h
+10 −1 include/pybind11/gil_safe_call_once.h
+6 −2 include/pybind11/numpy.h
+7 −55 include/pybind11/pybind11.h
+2 −0 include/pybind11/pytypes.h
+16 −7 include/pybind11/stl/filesystem.h
+1 −1 include/pybind11/stl_bind.h
+5 −2 include/pybind11/typing.h
+26 −3 pybind11/__main__.py
+1 −1 pybind11/_version.py
+16 −1 tests/CMakeLists.txt
+3 −3 tests/conftest.py
+1 −1 tests/constructor_stats.h
+103 −0 tests/exo_planet_c_api.cpp
+19 −0 tests/exo_planet_pybind11.cpp
+3 −0 tests/extra_python_package/test_files.py
+13 −0 tests/home_planet_very_lonely_traveler.cpp
+8 −8 tests/local_bindings.h
+21 −0 tests/pyproject.toml
+6 −1 tests/test_async.py
+12 −0 tests/test_buffers.cpp
+7 −0 tests/test_buffers.py
+2 −0 tests/test_builtin_casters.py
+1 −1 tests/test_callbacks.cpp
+3 −0 tests/test_callbacks.py
+22 −0 tests/test_cpp_conduit.cpp
+162 −0 tests/test_cpp_conduit.py
+47 −0 tests/test_cpp_conduit_traveler_bindings.h
+25 −0 tests/test_cpp_conduit_traveler_types.h
+1 −1 tests/test_custom_type_setup.py
+2 −2 tests/test_eigen_matrix.cpp
+11 −5 tests/test_eigen_tensor.inl
+1 −1 tests/test_exceptions.py
+9 −4 tests/test_gil_scoped.py
+4 −0 tests/test_iostream.py
+6 −6 tests/test_modules.cpp
+1 −1 tests/test_numpy_array.py
+2 −0 tests/test_numpy_dtypes.cpp
+2 −2 tests/test_opaque_types.cpp
+67 −4 tests/test_pytypes.cpp
+46 −4 tests/test_pytypes.py
+2 −2 tests/test_sequences_and_iterators.cpp
+9 −6 tests/test_smart_ptr.cpp
+1 −1 tests/test_stl.cpp
+2 −1 tests/test_tagbased_polymorphic.cpp
+5 −0 tests/test_thread.py
+46 −0 tests/test_type_caster_std_function_specializations.cpp
+15 −0 tests/test_type_caster_std_function_specializations.py
+1 −1 tests/test_virtual_functions.cpp
+3 −0 tests/test_virtual_functions.py
+29 −3 tools/pybind11Common.cmake
+1 −1 tools/pybind11Config.cmake.in