summaryrefslogtreecommitdiff
path: root/test/unit/util/boolean_simplification_black.cpp
AgeCommit message (Collapse)Author
2021-04-02Remove template argument from `NodeBuilder`an/refactor/NodeBuilderAndres Noetzli
Currently, `NodeBuilder` takes a single template argument: An integer that determines the expected number of arguments. This argument is used to determine the size of the `d_inlineNvChildSpace` array. This array is used to construct nodes inline. The advantage of this is that we don't have to allocate a `NodeValue` on the heap for the node under construction until we are sure that the node is new. While templating the array size may save some stack space (or avoid a heap allocation if we statically know that we a fixed number of children and that number is greater than 10), it complicates the code and leads to longer compile times. Thus, this commit removes the template argument and moves some of the `NodeBuilder` code to a source file for faster compilation. CPU build time before change (debug build): 2429.68s CPU build time after change (debug build): 2228.44s
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-01google test: util: Migrate boolean_simplification_black. (#6014)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback