Closed dnbaker closed 1 year ago
Fix the behavior of options used in sketcher. In particular, addresses the --outprefix issue.
In addition, we update the hash map to always use Robin-hood hashing, and we upgrade to the newest version for bug fixes.
Fix the behavior of options used in sketcher. In particular, addresses the --outprefix issue.
In addition, we update the hash map to always use Robin-hood hashing, and we upgrade to the newest version for bug fixes.