mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

smtr: More sanitization

Browse source
This commit is contained in:
Krystine Sherwin 2024-08-30 10:44:35 +12:00 committed by Emily (aiju)
parent 07b6908019
commit 5a29b3e172
1 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
backends/functional/smtlib_rosette.cc
View file

@ -31,8 +31,12 @@ using SExprUtil::list;
const char *reserved_keywords[] = { const char *reserved_keywords[] = {
// reserved keywords from the racket spec // reserved keywords from the racket spec
"struct", "lambda", "values", "extract", "concat", "bv", "let", "define", "cons", "list", "read", "write", "struct", "lambda", "values", "extract", "concat", "bv", "let", "define", "cons", "list", "read", "write",
"stream", "error", "raise", "exit", "for", "for/list", "begin", "when", "unless", "module", "require", "stream", "error", "raise", "exit", "for", "begin", "when", "unless", "module", "require", "provide", "apply",
"provide", "apply", "if", "cond", "even", "odd", "any", "and", "or", "match", "match-define", "values", "if", "cond", "even", "odd", "any", "and", "or", "match", "command-line", "ffi-lib", "thread", "kill", "sync",
"future", "touch", "subprocess", "make-custodian", "custodian-shutdown-all", "current-custodian", "make", "tcp",
"connect", "prepare", "malloc", "free", "_fun", "_cprocedure", "build", "path", "file", "peek", "bytes",
"flush", "with", "lexer", "parser", "syntax", "interface", "send", "make-object", "new", "instantiate",
"define-generics", "set",
// reserved for our own purposes // reserved for our own purposes
"inputs", "state", "name", "inputs", "state", "name",
@ -45,7 +49,7 @@ struct SmtrScope : public Functional::Scope<int> {
reserve(*p); reserve(*p);
} }
bool is_character_legal(char c, int index) override { bool is_character_legal(char c, int index) override {
return isascii(c) && (isalpha(c) || (isdigit(c) && index > 0) || strchr("~!@$%^&*_-+=<>.?/", c)); return isascii(c) && (isalpha(c) || (isdigit(c) && index > 0) || strchr("@$%^&_+=.", c));
} }
}; };