mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-02 00:23:45 +00:00
Code Activity

backends: use newcelltypes

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-11-26 00:32:11 +01:00
parent c3ed884bc4
commit 7a5c303ccd
5 changed files with 10 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

4
backends/smt2/smt2.cc
View file

@ -20,7 +20,7 @@
#include "kernel/rtlil.h"
#include "kernel/register.h"
#include "kernel/sigtools.h"
#include "kernel/celltypes.h"
#include "kernel/newcelltypes.h"
#include "kernel/log.h"
#include "kernel/mem.h"
#include "libs/json11/json11.hpp"
@ -32,7 +32,7 @@ PRIVATE_NAMESPACE_BEGIN
struct Smt2Worker
{
CellTypes ct;
NewCellTypes ct;
SigMap sigmap;
RTLIL::Module *module;
bool bvmode, memmode, wiresmode, verbose, statebv, statedt, forallmode;