2020-01-14 16:5:39 (GMT)
I made some bugfixes related to induction, and Petar is adding new features as well. Maybe we could make a new release soonish (which I think is better than waiting years between each release :smirk: )
2020-01-15 10:15:12 (GMT)
I made some bugfixes related to induction, and Petar is adding new features as well. Maybe we could make a new release soonish (which I think is better than waiting years between each release :smirk: )
Why not?
2020-01-15 10:15:43 (GMT)
New release has SinE implemented and using your testing tool might be interesting to optimized
2020-01-15 10:16:2 (GMT)
*optimize the parameters of the algorithm
2020-01-15 16:10:7 (GMT)
The question is, would you do that (the tuning and benchs)?
I can do the release but I'm not too good at tuning.
2020-01-15 16:26:48 (GMT)
Also: the tests take far too much time (in JP unif I think). Maybe they should generate smaller terms or something :)
2020-01-22 16:48:47 (GMT)
Ok, for the tuning we need to talk more.
That would be very interesting and I am more than willing to do it automatically.
However, before mid March it is unlikely that I will have time to do so since I have three paper deadlines :(
2020-01-22 16:50:23 (GMT)
Yeah I'm not in a hurry, I'm working on other projects, and a bit on proof checking stuff that might be useful in the future!!