Comments (5)
Thanks for pointing out this problem to use. I need to have a more detailed look to understand the root of the error, but I can already explain you why there is a difference.
In the first version that throws the error, you will initialise ntk
using the copy constructor:
https://github.com/lsils/mockturtle/blob/master/include/mockturtle/views/names_view.hpp#L63
In the second version you are initialising using the constructor:
https://github.com/lsils/mockturtle/blob/master/include/mockturtle/views/names_view.hpp#L56
from mockturtle.
Sorry for being unclear in my formulation. I am aware that I'm using the copy assignment constructor vs the constructor in the respective cases. My question aimed more at the cause of the problem, i.e., why would they behave differently.
Thanks for looking into it. I really appreciate your effort!
from mockturtle.
Any progress on this issue? Maybe the GCC mailing list can help with this issue.
If no one objects I will mark the issue as resolved and close it soon.
from mockturtle.
I haven't further looked into the problem or what might have caused it. I avoided the copy assignment operator all together and was fine doing so. Just thought you should know about the bug's existence.
from mockturtle.
I haven't further looked into the problem or what might have caused it. I avoided the copy assignment operator all together and was fine doing so. Just thought you should know about the bug's existence.
There is a chance that this has been addressed in your distribution or GCC directly.
from mockturtle.
Related Issues (20)
- Bug in akers_synthesis (known)
- NEQ bug in aig_resub HOT 1
- buffer_insertion::dry_run with until_sat is endless HOT 1
- mig_algebraic_depth_rewriting_splitters::run_selective is endless HOT 1
- Using mockturtle as a library in another project HOT 1
- ALAP in depth_view
- `substitute_node`: Should it be allowed to substitute with a dead node? HOT 2
- Is it intended that `create_pi()` does not trigger `on_add` events? HOT 5
- Bug in refactoring HOT 3
- Write a sequential circuit with register outputs.
- `write_blif` outputs duplicate `.names` HOT 4
- Optimization algorithms to support names_view<sequential<xxx_network>> HOT 1
- lut_map creates non-equivalent network HOT 1
- Bug in aqfp_flow_date HOT 1
- NEQ bug in new LUT mapper HOT 1
- Technology Mapping of sequential aig fails. HOT 2
- `write_blif` incorrect behavior when PO is connected to PI of the same index HOT 4
- `aig_resubstitution` following `cut_rewriting` without `cleanup_dangling` in between creates NEQ circuits HOT 3
- `refactoring` using `sop_factoring` assertion fails in `mffc_view` HOT 2
- How to reproduce DATE20 Exact DAG-Aware Rewriting? HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from mockturtle.