diff --git a/LICENSE b/LICENSE index ab602974d..4b575c201 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,6 @@ MIT License -Copyright (c) 2018 +Copyright (c) 2018-2019 Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal diff --git a/docs/changelog.rst b/docs/changelog.rst index e9d8e26d8..1631762b3 100644 --- a/docs/changelog.rst +++ b/docs/changelog.rst @@ -1,8 +1,8 @@ Change Log ========== -v0.1 (not yet released) ------------------------ +v0.1 (March 31, 2019) +--------------------- * Initial network interface `#1 `_ `#61 `_ `#96 `_ `#99 `_ diff --git a/docs/conf.py b/docs/conf.py index 8895451cd..e27929519 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -47,7 +47,7 @@ # General information about the project. project = 'mockturtle' -copyright = '2018, EPFL LSI' +copyright = '2018-2019, EPFL LSI' author = 'EPFL LSI' # The version info for the project you're documenting, acts as replacement for diff --git a/docs/implementations.rst b/docs/implementations.rst index 83b9cd4e3..89efd2218 100644 --- a/docs/implementations.rst +++ b/docs/implementations.rst @@ -56,9 +56,9 @@ All network implementations are located in `mockturtle/networks/`: +--------------------------------+-------------+-------------+-------------+-------------+-----------------+ | ``create_nor`` | ✓ | ✓ | ✓ | ✓ | | +--------------------------------+-------------+-------------+-------------+-------------+-----------------+ -| ``create_lt`` | ✓ | | ✓ | | ✓ | +| ``create_lt`` | ✓ | ✓ | ✓ | ✓ | ✓ | +--------------------------------+-------------+-------------+-------------+-------------+-----------------+ -| ``create_le`` | ✓ | | ✓ | | ✓ | +| ``create_le`` | ✓ | ✓ | ✓ | ✓ | ✓ | +--------------------------------+-------------+-------------+-------------+-------------+-----------------+ | ``create_gt`` | | | | | | +--------------------------------+-------------+-------------+-------------+-------------+-----------------+ diff --git a/include/mockturtle/algorithms/aig_resub.hpp b/include/mockturtle/algorithms/aig_resub.hpp index 38f9e691e..c85c2e59c 100644 --- a/include/mockturtle/algorithms/aig_resub.hpp +++ b/include/mockturtle/algorithms/aig_resub.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/akers_synthesis.hpp b/include/mockturtle/algorithms/akers_synthesis.hpp index 83e55c1b3..af6db6bd9 100644 --- a/include/mockturtle/algorithms/akers_synthesis.hpp +++ b/include/mockturtle/algorithms/akers_synthesis.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/cleanup.hpp b/include/mockturtle/algorithms/cleanup.hpp index 7aa665313..25cb1ea4d 100644 --- a/include/mockturtle/algorithms/cleanup.hpp +++ b/include/mockturtle/algorithms/cleanup.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/collapse_mapped.hpp b/include/mockturtle/algorithms/collapse_mapped.hpp index a75b0abbe..864a4b66e 100644 --- a/include/mockturtle/algorithms/collapse_mapped.hpp +++ b/include/mockturtle/algorithms/collapse_mapped.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/cut_enumeration.hpp b/include/mockturtle/algorithms/cut_enumeration.hpp index 6fb0113d0..c6e057992 100644 --- a/include/mockturtle/algorithms/cut_enumeration.hpp +++ b/include/mockturtle/algorithms/cut_enumeration.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/cut_enumeration/gia_cut.hpp b/include/mockturtle/algorithms/cut_enumeration/gia_cut.hpp index 8596f8173..a170c28d5 100644 --- a/include/mockturtle/algorithms/cut_enumeration/gia_cut.hpp +++ b/include/mockturtle/algorithms/cut_enumeration/gia_cut.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/cut_enumeration/mf_cut.hpp b/include/mockturtle/algorithms/cut_enumeration/mf_cut.hpp index 292a5b71b..a58da3458 100644 --- a/include/mockturtle/algorithms/cut_enumeration/mf_cut.hpp +++ b/include/mockturtle/algorithms/cut_enumeration/mf_cut.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/cut_enumeration/spectr_cut.hpp b/include/mockturtle/algorithms/cut_enumeration/spectr_cut.hpp index bb9b9ebdb..9eb013096 100644 --- a/include/mockturtle/algorithms/cut_enumeration/spectr_cut.hpp +++ b/include/mockturtle/algorithms/cut_enumeration/spectr_cut.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/cut_rewriting.hpp b/include/mockturtle/algorithms/cut_rewriting.hpp index 9f3f164ba..dfa5e6e9b 100644 --- a/include/mockturtle/algorithms/cut_rewriting.hpp +++ b/include/mockturtle/algorithms/cut_rewriting.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/detail/mffc_utils.hpp b/include/mockturtle/algorithms/detail/mffc_utils.hpp index d055e53b9..3c0d086e6 100644 --- a/include/mockturtle/algorithms/detail/mffc_utils.hpp +++ b/include/mockturtle/algorithms/detail/mffc_utils.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/dont_cares.hpp b/include/mockturtle/algorithms/dont_cares.hpp index c6b0eb06a..9c7ffb7ab 100644 --- a/include/mockturtle/algorithms/dont_cares.hpp +++ b/include/mockturtle/algorithms/dont_cares.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/dsd_decomposition.hpp b/include/mockturtle/algorithms/dsd_decomposition.hpp index b7dc6acf1..feeb9720e 100644 --- a/include/mockturtle/algorithms/dsd_decomposition.hpp +++ b/include/mockturtle/algorithms/dsd_decomposition.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/gates_to_nodes.hpp b/include/mockturtle/algorithms/gates_to_nodes.hpp index 976b6697f..6610079e5 100644 --- a/include/mockturtle/algorithms/gates_to_nodes.hpp +++ b/include/mockturtle/algorithms/gates_to_nodes.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/lut_mapping.hpp b/include/mockturtle/algorithms/lut_mapping.hpp index 1f2e92cfd..8d0d1db91 100644 --- a/include/mockturtle/algorithms/lut_mapping.hpp +++ b/include/mockturtle/algorithms/lut_mapping.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/mig_algebraic_rewriting.hpp b/include/mockturtle/algorithms/mig_algebraic_rewriting.hpp index 29a368a7b..d649a0944 100644 --- a/include/mockturtle/algorithms/mig_algebraic_rewriting.hpp +++ b/include/mockturtle/algorithms/mig_algebraic_rewriting.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/mig_resub.hpp b/include/mockturtle/algorithms/mig_resub.hpp index c874e9cea..ed601aa32 100644 --- a/include/mockturtle/algorithms/mig_resub.hpp +++ b/include/mockturtle/algorithms/mig_resub.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/node_resynthesis.hpp b/include/mockturtle/algorithms/node_resynthesis.hpp index 7809b6ef0..ccbc21305 100644 --- a/include/mockturtle/algorithms/node_resynthesis.hpp +++ b/include/mockturtle/algorithms/node_resynthesis.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/node_resynthesis/akers.hpp b/include/mockturtle/algorithms/node_resynthesis/akers.hpp index 69c036ab9..93b8dd61c 100644 --- a/include/mockturtle/algorithms/node_resynthesis/akers.hpp +++ b/include/mockturtle/algorithms/node_resynthesis/akers.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/node_resynthesis/direct.hpp b/include/mockturtle/algorithms/node_resynthesis/direct.hpp index af9467adf..fcc2f5f72 100644 --- a/include/mockturtle/algorithms/node_resynthesis/direct.hpp +++ b/include/mockturtle/algorithms/node_resynthesis/direct.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/node_resynthesis/exact.hpp b/include/mockturtle/algorithms/node_resynthesis/exact.hpp index 8e76046b1..eb05f6dfd 100644 --- a/include/mockturtle/algorithms/node_resynthesis/exact.hpp +++ b/include/mockturtle/algorithms/node_resynthesis/exact.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/node_resynthesis/mig_npn.hpp b/include/mockturtle/algorithms/node_resynthesis/mig_npn.hpp index 5e7e783fe..4aa84fc63 100644 --- a/include/mockturtle/algorithms/node_resynthesis/mig_npn.hpp +++ b/include/mockturtle/algorithms/node_resynthesis/mig_npn.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/node_resynthesis/xag_minmc.hpp b/include/mockturtle/algorithms/node_resynthesis/xag_minmc.hpp index 10173d440..1cab2d119 100644 --- a/include/mockturtle/algorithms/node_resynthesis/xag_minmc.hpp +++ b/include/mockturtle/algorithms/node_resynthesis/xag_minmc.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/node_resynthesis/xag_npn.hpp b/include/mockturtle/algorithms/node_resynthesis/xag_npn.hpp index 56cdcf0d2..5274d357f 100644 --- a/include/mockturtle/algorithms/node_resynthesis/xag_npn.hpp +++ b/include/mockturtle/algorithms/node_resynthesis/xag_npn.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/node_resynthesis/xmg_npn.hpp b/include/mockturtle/algorithms/node_resynthesis/xmg_npn.hpp index b7b7e203b..de055b2d8 100644 --- a/include/mockturtle/algorithms/node_resynthesis/xmg_npn.hpp +++ b/include/mockturtle/algorithms/node_resynthesis/xmg_npn.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/reconv_cut.hpp b/include/mockturtle/algorithms/reconv_cut.hpp index 6437f454d..09bba33ef 100644 --- a/include/mockturtle/algorithms/reconv_cut.hpp +++ b/include/mockturtle/algorithms/reconv_cut.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/reconv_cut2.hpp b/include/mockturtle/algorithms/reconv_cut2.hpp index 10e617bfb..42860a698 100644 --- a/include/mockturtle/algorithms/reconv_cut2.hpp +++ b/include/mockturtle/algorithms/reconv_cut2.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/refactoring.hpp b/include/mockturtle/algorithms/refactoring.hpp index 48c885a0f..8eb48d6ec 100644 --- a/include/mockturtle/algorithms/refactoring.hpp +++ b/include/mockturtle/algorithms/refactoring.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/resubstitution.hpp b/include/mockturtle/algorithms/resubstitution.hpp index d33e04b38..c069d2b61 100644 --- a/include/mockturtle/algorithms/resubstitution.hpp +++ b/include/mockturtle/algorithms/resubstitution.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/simulation.hpp b/include/mockturtle/algorithms/simulation.hpp index 2f2638262..cfdb0ebf2 100644 --- a/include/mockturtle/algorithms/simulation.hpp +++ b/include/mockturtle/algorithms/simulation.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/algorithms/xmg_algebraic_rewriting.hpp b/include/mockturtle/algorithms/xmg_algebraic_rewriting.hpp index 613207ffb..62a2db25a 100644 --- a/include/mockturtle/algorithms/xmg_algebraic_rewriting.hpp +++ b/include/mockturtle/algorithms/xmg_algebraic_rewriting.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/generators/arithmetic.hpp b/include/mockturtle/generators/arithmetic.hpp index 60776d390..c6733aae9 100644 --- a/include/mockturtle/generators/arithmetic.hpp +++ b/include/mockturtle/generators/arithmetic.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/generators/control.hpp b/include/mockturtle/generators/control.hpp index 121c6951a..f23ec17c8 100644 --- a/include/mockturtle/generators/control.hpp +++ b/include/mockturtle/generators/control.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/generators/modular_arithmetic.hpp b/include/mockturtle/generators/modular_arithmetic.hpp index 14be24a95..7bcff7839 100644 --- a/include/mockturtle/generators/modular_arithmetic.hpp +++ b/include/mockturtle/generators/modular_arithmetic.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/generators/random_logic_generator.hpp b/include/mockturtle/generators/random_logic_generator.hpp index e2e32c12d..764afc51f 100644 --- a/include/mockturtle/generators/random_logic_generator.hpp +++ b/include/mockturtle/generators/random_logic_generator.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/interface.hpp b/include/mockturtle/interface.hpp index 061a623de..52d887fc9 100644 --- a/include/mockturtle/interface.hpp +++ b/include/mockturtle/interface.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/io/aiger_reader.hpp b/include/mockturtle/io/aiger_reader.hpp index 98e2403de..c59fe4c76 100644 --- a/include/mockturtle/io/aiger_reader.hpp +++ b/include/mockturtle/io/aiger_reader.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/io/bench_reader.hpp b/include/mockturtle/io/bench_reader.hpp index fbb8345d9..31a080253 100644 --- a/include/mockturtle/io/bench_reader.hpp +++ b/include/mockturtle/io/bench_reader.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/io/pla_reader.hpp b/include/mockturtle/io/pla_reader.hpp index 8ab747836..1ae94208d 100644 --- a/include/mockturtle/io/pla_reader.hpp +++ b/include/mockturtle/io/pla_reader.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/io/verilog_reader.hpp b/include/mockturtle/io/verilog_reader.hpp index 9951ef9da..4b18ad681 100644 --- a/include/mockturtle/io/verilog_reader.hpp +++ b/include/mockturtle/io/verilog_reader.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/io/write_bench.hpp b/include/mockturtle/io/write_bench.hpp index 07441618b..3d7a66ad4 100644 --- a/include/mockturtle/io/write_bench.hpp +++ b/include/mockturtle/io/write_bench.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/io/write_dot.hpp b/include/mockturtle/io/write_dot.hpp index e46a39c63..42f0a75e1 100644 --- a/include/mockturtle/io/write_dot.hpp +++ b/include/mockturtle/io/write_dot.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/io/write_verilog.hpp b/include/mockturtle/io/write_verilog.hpp index c78b2c76b..4855b2d49 100644 --- a/include/mockturtle/io/write_verilog.hpp +++ b/include/mockturtle/io/write_verilog.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/mockturtle.hpp b/include/mockturtle/mockturtle.hpp index e182e879e..90d7a1f17 100644 --- a/include/mockturtle/mockturtle.hpp +++ b/include/mockturtle/mockturtle.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/networks/aig.hpp b/include/mockturtle/networks/aig.hpp index a82e41374..6711eb5a6 100644 --- a/include/mockturtle/networks/aig.hpp +++ b/include/mockturtle/networks/aig.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/networks/detail/foreach.hpp b/include/mockturtle/networks/detail/foreach.hpp index 3256d4755..fe57646f3 100644 --- a/include/mockturtle/networks/detail/foreach.hpp +++ b/include/mockturtle/networks/detail/foreach.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/networks/events.hpp b/include/mockturtle/networks/events.hpp index 04d4c68f5..0207e5b6b 100644 --- a/include/mockturtle/networks/events.hpp +++ b/include/mockturtle/networks/events.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/networks/klut.hpp b/include/mockturtle/networks/klut.hpp index eb00018ce..e86238023 100644 --- a/include/mockturtle/networks/klut.hpp +++ b/include/mockturtle/networks/klut.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/networks/mig.hpp b/include/mockturtle/networks/mig.hpp index 5fb0db8c5..97bc4db8a 100644 --- a/include/mockturtle/networks/mig.hpp +++ b/include/mockturtle/networks/mig.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation @@ -353,6 +353,16 @@ class mig_network return !create_or( a, b ); } + signal create_lt( signal const& a, signal const& b ) + { + return create_and( !a, b ); + } + + signal create_le( signal const& a, signal const& b ) + { + return !create_and( a, !b ); + } + signal create_xor( signal const& a, signal const& b ) { const auto fcompl = a.complement ^ b.complement; diff --git a/include/mockturtle/networks/storage.hpp b/include/mockturtle/networks/storage.hpp index 2442dc860..40d892856 100644 --- a/include/mockturtle/networks/storage.hpp +++ b/include/mockturtle/networks/storage.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/networks/xag.hpp b/include/mockturtle/networks/xag.hpp index e3b224246..31e3e77a2 100644 --- a/include/mockturtle/networks/xag.hpp +++ b/include/mockturtle/networks/xag.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/networks/xmg.hpp b/include/mockturtle/networks/xmg.hpp index 05a25502d..788957f6a 100644 --- a/include/mockturtle/networks/xmg.hpp +++ b/include/mockturtle/networks/xmg.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation @@ -389,6 +389,16 @@ class xmg_network return !create_or( a, b ); } + signal create_lt( signal const& a, signal const& b ) + { + return create_and( !a, b ); + } + + signal create_le( signal const& a, signal const& b ) + { + return !create_and( a, !b ); + } + signal create_xor( signal const& a, signal const& b ) { return create_xor3( get_constant( false ), a, b ); diff --git a/include/mockturtle/properties/migcost.hpp b/include/mockturtle/properties/migcost.hpp index bbb5603c7..e2fdd1227 100644 --- a/include/mockturtle/properties/migcost.hpp +++ b/include/mockturtle/properties/migcost.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/traits.hpp b/include/mockturtle/traits.hpp index 78442c48d..d0acae0a5 100644 --- a/include/mockturtle/traits.hpp +++ b/include/mockturtle/traits.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/utils/algorithm.hpp b/include/mockturtle/utils/algorithm.hpp index 27ae0946e..edfe24bf6 100644 --- a/include/mockturtle/utils/algorithm.hpp +++ b/include/mockturtle/utils/algorithm.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/utils/cuts.hpp b/include/mockturtle/utils/cuts.hpp index 606146eff..8f96549d1 100644 --- a/include/mockturtle/utils/cuts.hpp +++ b/include/mockturtle/utils/cuts.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/utils/mixed_radix.hpp b/include/mockturtle/utils/mixed_radix.hpp index b2824e935..240dd4ca2 100644 --- a/include/mockturtle/utils/mixed_radix.hpp +++ b/include/mockturtle/utils/mixed_radix.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/utils/node_map.hpp b/include/mockturtle/utils/node_map.hpp index 893fb4a42..e58cacf40 100644 --- a/include/mockturtle/utils/node_map.hpp +++ b/include/mockturtle/utils/node_map.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/utils/progress_bar.hpp b/include/mockturtle/utils/progress_bar.hpp index f17ef2545..d7486bd58 100644 --- a/include/mockturtle/utils/progress_bar.hpp +++ b/include/mockturtle/utils/progress_bar.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/utils/stopwatch.hpp b/include/mockturtle/utils/stopwatch.hpp index 3cceeab39..309345cc0 100644 --- a/include/mockturtle/utils/stopwatch.hpp +++ b/include/mockturtle/utils/stopwatch.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/utils/string_utils.hpp b/include/mockturtle/utils/string_utils.hpp index d73c6a0bb..1eb1235e9 100644 --- a/include/mockturtle/utils/string_utils.hpp +++ b/include/mockturtle/utils/string_utils.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/utils/truth_table_cache.hpp b/include/mockturtle/utils/truth_table_cache.hpp index defb64f27..fb744de31 100644 --- a/include/mockturtle/utils/truth_table_cache.hpp +++ b/include/mockturtle/utils/truth_table_cache.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/views/cut_view.hpp b/include/mockturtle/views/cut_view.hpp index 49b58cd59..e04cdcc6c 100644 --- a/include/mockturtle/views/cut_view.hpp +++ b/include/mockturtle/views/cut_view.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/views/depth_view.hpp b/include/mockturtle/views/depth_view.hpp index 0d78331fb..69042399d 100644 --- a/include/mockturtle/views/depth_view.hpp +++ b/include/mockturtle/views/depth_view.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/views/fanout_view.hpp b/include/mockturtle/views/fanout_view.hpp index ab4a1df6b..e6c966e43 100644 --- a/include/mockturtle/views/fanout_view.hpp +++ b/include/mockturtle/views/fanout_view.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/views/immutable_view.hpp b/include/mockturtle/views/immutable_view.hpp index 6200435f4..f6cc49d76 100644 --- a/include/mockturtle/views/immutable_view.hpp +++ b/include/mockturtle/views/immutable_view.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/views/mapping_view.hpp b/include/mockturtle/views/mapping_view.hpp index c8aeaf8b2..012e6eb2a 100644 --- a/include/mockturtle/views/mapping_view.hpp +++ b/include/mockturtle/views/mapping_view.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/views/mffc_view.hpp b/include/mockturtle/views/mffc_view.hpp index 08ffc3f4a..120445cca 100644 --- a/include/mockturtle/views/mffc_view.hpp +++ b/include/mockturtle/views/mffc_view.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/views/topo_view.hpp b/include/mockturtle/views/topo_view.hpp index 5f459d12a..abb288d32 100644 --- a/include/mockturtle/views/topo_view.hpp +++ b/include/mockturtle/views/topo_view.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/mockturtle/views/window_view.hpp b/include/mockturtle/views/window_view.hpp index b4d991466..c3c589dd5 100644 --- a/include/mockturtle/views/window_view.hpp +++ b/include/mockturtle/views/window_view.hpp @@ -1,5 +1,5 @@ /* mockturtle: C++ logic network library - * Copyright (C) 2018 EPFL + * Copyright (C) 2018-2019 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/lib/CMakeLists.txt b/lib/CMakeLists.txt index fd0f66b9c..308904ea6 100644 --- a/lib/CMakeLists.txt +++ b/lib/CMakeLists.txt @@ -12,7 +12,7 @@ if (NOT TARGET ez) endif() if (NOT TARGET fmt) - add_library(fmt INTERFACE) + add_library(fmt INTERFACE) # v5.3.0 target_include_directories(fmt INTERFACE ${CMAKE_CURRENT_SOURCE_DIR}/fmt) target_compile_definitions(fmt INTERFACE FMT_HEADER_ONLY) endif()