You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
added support for multiple properties (formerly refered to as "base type") for a single instance of class GateType
renamed enum GateType::BaseType to GateTypeProperty and moved it out of class GateType
added function has_property to class GateType
changed function get_base_type of class GateType to get_properties
changed HGL gate libraries to support multiple properties
changed function create_gate_type of class GateLibrary to support multiple properties
added sequential, power, ground, buffer, mux, and carry gate type properties to enum GateTypeProperty
moved enums PinType and PinDirection from class GateType into global scope
added get_path to netlist_utils to retrieve all gates on the predecessor/successor path from a start gate/net to gates of a specified property
made optimize_constants of class BooleanFunction publicly accessible
refined buffer removal in netlist_utils::remove_buffers to take constant 0 and 1 inputs into account
added high-impedance state Z to class BooleanFunction and added basic support to evaluate
cleaned up and refined some logger outputs and streamlined log channel names
disabled extended logging again
changes to z3_utils (WIP)
fixed crash related to GraphicsScene destructor
fixed overlapping gates in cone view (and subsequent segfault) by suppressing gate coordinates when adding to cone view
fixed get_gate_by_id and get_gates of class Netlist returning only gates contained within one of its modules (causing a GUI crash upon deleting gates from a module)
fixed nets of old module not updating when moving gate from one module to another