Hi, i am pretty remote right now (for a Sage tutorial actually;), but you can count me in, starting from the next week.
Some few ideas i planned to work on for a while: - random testing : the current random doctests uses a single seed, so we do not get any more information when the doctests are run. We could also have some truly random tests that, for example, test the associativity in groups from random_elements. The more they are run, the stronger Sage is. Then we could have som VM that only runs those random tests while changing the seed each time. - deploy builder virtual machines for more distros/architectures as i did for Debian/Ubuntu. We can think of something cleaner than http://sagebuilder.metelu.net/ for example something based on vagrant. - explicit the release tests, and implement them as scripts, for example (some release ideas come from a discussion with Jeroen): - Sage must build and pass tests on a particular set of configurations - try various combinations of optional packages - compile Sage with some user and run it from some other user - check the permissions of the files - check if the source code has some bare 'except:' statements - compile the pdf documentation to discover ill-formatted LaTeX formulas - check if openssl is up-to-date (before each official realease) - ... - more generaly, write a test script for each problem that once appeared on sage-release Ciao, Thierry On Mon, Sep 14, 2015 at 02:54:19PM -0300, Vincent Delecroix wrote: > On 14/09/15 14:47, William Stein wrote: > >Who else? Once we have a small team, we'll (publicly) figure out a plan. > > You can count on me as well. > > Vincent > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
