digitalmars.D - DStress needs to be updated
- =?ISO-8859-1?Q?Jari-Matti_M=E4kel=E4?= (4/4) Oct 19 2005 DStress [1] is a bit out of date. Second, is there a possibility to make...
- =?ISO-8859-1?Q?Thomas_K=FChne?= (12/16) Oct 20 2005 -----BEGIN PGP SIGNED MESSAGE-----
- =?ISO-8859-1?Q?Jari-Matti_M=E4kel=E4?= (3/12) Oct 20 2005 Ok, take your time :) I just thought that dstress updates are almost
- =?ISO-8859-1?Q?Thomas_K=FChne?= (12/23) Oct 23 2005 -----BEGIN PGP SIGNED MESSAGE-----
DStress [1] is a bit out of date. Second, is there a possibility to make the dstress page more lightweight? (more general css styles, less spaces in the html file, ...) [1] http://dstress.kuehne.cn/www/dstress.html
Oct 19 2005
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Jari-Matti Mäkelä schrieb:DStress [1] is a bit out of date.It's autumn again - the busiest time of year ...Second, is there a possibility to make the dstress page more lightweight? (more general css styles, less spaces in the html file, ...)You are welcome to play with the HTML code, but I doubt that more than ca. 10% reduction is possible. Thomas -----BEGIN PGP SIGNATURE----- iD8DBQFDV0Ux3w+/yD4P9tIRAiqqAKC234Iif6uy14Xs54KClq82eDHw6ACgiItc fNUJzOnQ3ak0yWlYCmEXPiU= =cYz6 -----END PGP SIGNATURE-----
Oct 20 2005
Thomas Kühne wrote:-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Jari-Matti Mäkelä schrieb:Ok, take your time :) I just thought that dstress updates are almost fully automatic.DStress [1] is a bit out of date.It's autumn again - the busiest time of year ...
Oct 20 2005
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Jari-Matti Mäkelä schrieb:Thomas Kühne wrote:The linux part is, but the Windows part isn't yet. The main problem is the handling of "eternal" loops and crashing test cases.... Thomas -----BEGIN PGP SIGNATURE----- iD8DBQFDW2KP3w+/yD4P9tIRAnrXAJ9qHSEkNikyUwEBBk/Y9lDq4xi3AwCgsxSa p1AJiuFnQsRjwxhH59s4XVg= =X02m -----END PGP SIGNATURE-----Jari-Matti Mäkelä schrieb:Ok, take your time :) I just thought that dstress updates are almost fully automatic.DStress [1] is a bit out of date.It's autumn again - the busiest time of year ...
Oct 23 2005