diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-09-12 18:48:27 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-12 18:48:27 -0500 |
commit | 51cab64a53daee8e6f2693f12911c71827013f15 (patch) | |
tree | db037aaeee3d2c7d15b6395394e5df7ae47af4b7 /.mailmap | |
parent | b0d151fc69779c9e214d89683e005756a9834c2e (diff) |
Initial infrastructure for BV instantiation via word-level inversions. (#1056)
* Initial infrastructure for BV instantiation via word-level inversions.
* Minor clean up.
* Change visited to unordered set.
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions