source: git/kernel/GBEngine/kverify.cc

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @749d24   2 years hannes fix: vspace wait spielwiese
(edit) @8867bd   2 years hannes fix: sporadic bug in kVerify2 spielwiese
(edit) @2dfae4   2 years hannes fix: MAX_PROCESS spielwiese
(edit) @4c486e   2 years hannes vspace limit: no more than MAX_PROCESS processes Thanks to @collares ... spielwiese
(edit) @2c69a8e   2 years hannes update vspace for gcc>=9.x.x spielwiese
(edit) @b1381c   2 years quatermaster correct spelling as detected by lintian Description: source typo ... spielwiese
(edit) @6fbe8c   3 years hannes Revert "update vspace" incompatible with old gcc This reverts commit ... spielwiese
(edit) @f80133   3 years hannes update vspace spielwiese
(edit) @fe23060   3 years hannes add: degBound for system("verifyGB",...) spielwiese
(edit) @a0c2c8   3 years hannes opt-prot for verifyGB spielwiese
(edit) @66c68b   3 years hannes fix: system("verifyGB",I): stop child spielwiese
(edit) @510427   3 years hannes fix: system("verifyGB",I) only for commutive rings spielwiese
(edit) @2d1dc4   3 years hannes fix: kVerify2 only for commutaive rings over Q spielwiese
(edit) @b5a454   3 years hannes Revert "GB stuff: removed strat->R, S_2_R, etc" This reverts commit ... spielwiese
(edit) @4ecc6fa   3 years hannes GB stuff: removed strat->R, S_2_R, etc spielwiese
(edit) @4b1552   3 years hannes use of vspace vi HAVE_VSPACE spielwiese
(edit) @930719   3 years hannes separate serial/parallel kVerify*, avoid fork on cygwin spielwiese
(edit) @7dd7a90   3 years hannes opt: while(10) ->loop spielwiese
(edit) @9ade11   4 years hannes fix: clean up shared memory spielwiese
(edit) @ea79a4   4 years hannes verify GB: multi-process version spielwiese
(add) @a647f6c   4 years hannes introduce kverify.* spielwiese
Note: See TracRevisionLog for help on using the revision log.