projects / cvc5.git / history
| 2020-06-16 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw |
| 2019-04-24 | Mathias Preiner | Do not use __ prefix for header guards. (#2974) | blob | commitdiff | raw | diff to current |
| 2019-03-26 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw | diff to current |
| 2018-10-19 | Andres Noetzli | Fix util::Random for macOS builds (#2655) | blob | commitdiff | raw | diff to current |
| 2018-10-09 | Aina Niemetz | Random: support URNG interface (#2595) | blob | commitdiff | raw | diff to current |
| 2018-08-08 | Andres Noetzli | Require Swig 3 (#2283) | blob | commitdiff | raw | diff to current |
| 2018-06-25 | Aina Niemetz | Updated copyright headers. | blob | commitdiff | raw | diff to current |
| 2017-12-30 | Aina Niemetz | Fix RNG for seed = 0. (#1459) | blob | commitdiff | raw | diff to current |
| 2017-11-17 | Aina Niemetz | Add random number generator. (#1370) | blob | commitdiff | raw | diff to current |