← Back to unit-threaded:assertions

1.0.11 2020-Sep-15
1.0.10 2020-Sep-03
1.0.9 2020-Aug-26
1.0.8 2020-Aug-26
1.0.7 2020-Aug-26
1.0.6 2020-Aug-26
1.0.5 2020-Aug-25
1.0.4 2020-Jun-15
1.0.3 2020-Jun-15
1.0.2 2020-Jun-02
1.0.1 2020-Jun-01
1.0.0 2020-May-28
0.10.8 2020-Mar-30
0.10.7 2020-Jan-30
0.10.6 2019-Dec-11
0.10.5 2019-Dec-06
0.10.4 2019-Oct-15
0.10.3 2019-Jul-24
0.10.2 2019-Jul-04
0.10.1 2019-Jul-03
0.9.4 2019-May-06
0.9.3 2019-Apr-03
0.9.2 2019-Mar-24
0.9.1 2019-Mar-22
0.9.0 2019-Mar-13
0.8.0 2019-Jan-30
0.7.55 2019-Jan-29
0.7.54 2019-Jan-23
0.7.53 2018-Nov-28
0.7.52 2018-Sep-14
0.7.51 2018-Aug-20
0.7.50 2018-Aug-17
0.7.49 2018-Aug-09
0.7.48 2018-Aug-09
0.7.47 2018-Aug-06
0.7.46 2018-May-05
0.7.45 2018-May-02
0.7.44 2018-May-02
0.7.43 2018-Apr-06
0.7.42 2018-Apr-03
0.7.41 2018-Mar-16
0.7.40 2018-Mar-08
0.7.39 2018-Mar-07
0.7.38 2018-Feb-01
0.7.37 2018-Jan-31
0.7.36 2018-Jan-08
0.7.35 2018-Jan-05
0.7.34 2018-Jan-05
0.7.33 2017-Dec-22
0.7.32 2017-Nov-14
0.7.31 2017-Sep-20
0.7.30 2017-Sep-12
0.7.29 2017-Aug-23
0.7.28 2017-Jul-25
0.7.27 2017-Jul-11
0.7.26 2017-Jul-11
0.7.25 2017-Jun-29
0.7.24 2017-May-10
0.7.23 2017-May-06
0.7.22 2017-May-02
0.7.21 2017-May-02
0.7.20 2017-Apr-29
0.7.19 2017-Apr-29
0.7.18 2017-Apr-29
0.7.17 2017-Apr-20
0.7.16 2017-Apr-17
0.7.15 2017-Apr-14
0.7.14 2017-Apr-13
0.7.13 2017-Apr-08
0.7.12 2017-Apr-08
0.7.11 2017-Apr-04
0.7.10 2017-Apr-03
0.7.9 2017-Apr-03
0.7.8 2017-Mar-21
0.7.7 2017-Mar-15
0.7.6 2017-Mar-08
0.7.5 2017-Mar-07
0.7.4 2017-Feb-23
0.7.3 2017-Jan-15
0.7.2 2016-Dec-09
0.7.1 2016-Dec-09
0.7.0 2016-Nov-01
0.6.36 2016-Dec-09
0.6.35 2016-Nov-01
0.6.34 2016-Oct-31
0.6.33 2016-Oct-31
0.6.32 2016-Oct-25
0.6.31 2016-Oct-25
0.6.30 2016-Oct-09
0.6.29 2016-Oct-06
0.6.28 2016-Sep-22
0.6.27 2016-Aug-08
0.6.26 2016-Aug-05
0.6.25 2016-Aug-02
0.6.24 2016-Jul-18
0.6.23 2016-Jul-15
0.6.22 2016-Jul-13
0.6.21 2016-Jul-10
0.6.20 2016-Jul-10
0.6.19 2016-Jul-02
~master 2020-Sep-15
~parametrised_types_bug 2017-Apr-06
~merge-1_0_x 2020-Jun-15
~gh-pages 2018-Jan-10
~experimental 2015-Oct-27
~chdir 2019-Dec-04
~1_0_x 2020-Jun-15
~0_7_50 2018-Aug-17