Wed, 21 Sep 2022 06:55:31 +0300 | alfadur | fix the other 2 pred/succ conversions | changeset | files |
Wed, 21 Sep 2022 06:36:05 +0300 | alfadur | fix pred/succ conversion | changeset | files |
Mon, 12 Sep 2022 18:56:28 -0400 | nemo | merge from 1.0 branch | changeset | files |
Mon, 12 Sep 2022 18:37:04 -0400 | nemo | tag a 1.0.2 | changeset | files |
Mon, 12 Sep 2022 18:36:39 -0400 | nemo | I keep forgetting to bump the patch version | changeset | files |
Mon, 12 Sep 2022 18:36:27 -0400 | nemo | Removed tag 1.0.2-release | changeset | files |
Mon, 12 Sep 2022 18:31:43 -0400 | nemo | tag a 1.0.2 | changeset | files |
Thu, 22 Oct 2020 12:33:35 +0200 | unC0Rr | Mark global variables in implementation section static | changeset | files |