mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 06:03:23 +00:00
Code Activity

Added "write_smv" skeleton

Browse source
This commit is contained in:
Clifford Wolf 2015-06-15 00:46:27 +02:00
parent 93685a77c6
commit ea23bb8aa4
3 changed files with 265 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
kernel/yosys.h
View file

@ -147,8 +147,10 @@ struct shared_str {
shared_str() { }
shared_str(string s) { content = std::shared_ptr<string>(new string(s)); }
shared_str(const char *s) { content = std::shared_ptr<string>(new string(s)); }
const char *c_str() { return content->c_str(); }
const string &str() { return *content; }
const char *c_str() const { return content->c_str(); }
const string &str() const { return *content; }
bool operator==(const shared_str &other) const { return *content == *other.content; }
unsigned int hash() const { return hashlib::hash_ops<std::string>::hash(*content); }
};
using hashlib::mkhash;