2020-06-20 | Alex Ozdemir | Use traversal iterators in IntToBv (#4169) | blob | commitdiff | raw |
2020-06-16 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw | diff to current |
2020-03-24 | yoni206 | Int2BV fail on demand (#4079) | blob | commitdiff | raw | diff to current |
2020-02-27 | Andrew Reynolds | Initial work towards -Wshadow (#3817) | blob | commitdiff | raw | diff to current |
2019-03-26 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw | diff to current |
2018-10-02 | Andres Noetzli | Make registration of preprocessing passes explicit... | blob | commitdiff | raw | diff to current |
2018-10-01 | Andres Noetzli | Refactor preprocessing pass registration (#2468) | blob | commitdiff | raw | diff to current |
2018-04-04 | Andres Noetzli | Refactor IntToBV preprocessing pass (#1716) | blob | commitdiff | raw | diff to current |