HEAD | 8a508b0 | Bump version used in stack | 21 March 2022, 16:23:08 UTC |
refs/heads/idx-alternate | b078b71 | continue to implement combine_pw | 19 August 2016, 21:44:14 UTC |
refs/heads/kronecker_in_simplify | cd49235 | Bug fix for inputs with nested `HArray' | 17 December 2017, 22:35:31 UTC |
refs/heads/master | 8a508b0 | Bump version used in stack | 21 March 2022, 16:23:08 UTC |
refs/heads/optimizations | 7803713 | Remove some unused code and definitions | 28 February 2017, 16:50:36 UTC |
refs/heads/stable | fba995a | tidying up | 26 April 2017, 00:28:30 UTC |
refs/heads/transforms_as_syntax | f278b25 | Merge branch 'master' into transforms_as_syntax | 16 August 2017, 20:30:53 UTC |
refs/heads/v0.2.0 | 2e8f721 | Remove upper bounds on vector and aeson | 12 February 2016, 00:20:18 UTC |
refs/heads/v0.4 | 2b2d621 | Generalize array_elem_assumptions to multi-level arrays The following now yields 1: with(Hakaru): xs,kb := KB:-genType(xs, HArray(HArray(HReal(Bound(`>=`,0)))), KB:-empty); trace(KB:-array_elem_assumptions); KB:-simplify_assuming(csgn(idx(idx(xs,37),42)), kb); | 16 June 2017, 00:38:58 UTC |
refs/heads/v0.5 | f531794 | adding a printer option to hk-maple and removing the old printer | 13 October 2017, 16:33:24 UTC |