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

Merge branch 'YosysHQ:main' into main

Browse source
This commit is contained in:
Akash Levy 2025-08-10 22:46:15 -07:00 • committed by GitHub
commit d0ab898e88
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
6 changed files with 453 additions and 153 deletions
Download patch file Download diff file Expand all files Collapse all files

6
kernel/satgen.h
View file

@ -64,7 +64,7 @@ struct ezSatPtr : public std::unique_ptr<ezSAT> {
struct SatGen
{
ezSAT *ez;
SigMap *sigmap;
const SigMap *sigmap;
std::string prefix;
SigPool initial_state;
std::map<std::string, RTLIL::SigSpec> asserts_a, asserts_en;
@ -75,12 +75,12 @@ struct SatGen
bool model_undef;
bool def_formal = false;
SatGen(ezSAT *ez, SigMap *sigmap, std::string prefix = std::string()) :
SatGen(ezSAT *ez, const SigMap *sigmap, std::string prefix = std::string()) :
ez(ez), sigmap(sigmap), prefix(prefix), ignore_div_by_zero(false), model_undef(false)
{
}
void setContext(SigMap *sigmap, std::string prefix = std::string())
void setContext(const SigMap *sigmap, std::string prefix = std::string())
{
this->sigmap = sigmap;
this->prefix = prefix;