projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42fe4ae) | patch
Avoid dynamic allocation in symbol table implementation (#5368)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 2 Nov 2020 13:01:19 +0000 (07:01 -0600)
committerGitHub <noreply@github.com>
Mon, 2 Nov 2020 13:01:19 +0000 (07:01 -0600)
commitd8c692850d8d7d9963c9c207e1b20cac1ec24635
tree065371fe305c044096d3b2e18063384918edd85ctree
parent42fe4ae0e866d78dd7743214eb1b1ccb92900c5acommit | diff
Avoid dynamic allocation in symbol table implementation (#5368)

Encountered this while debugging the new symbol manager. This is not essential but probably a good idea to refactor.
src/expr/symbol_table.cpp diff | blob | history