Login
Help/Guide
About Trac
Preferences
Timeline
Browse Source
View Tickets
New Ticket
Wiki
Context Navigation
View Latest Revision
source:
git
/
kernel
/
GBEngine
/
kverify.cc
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@2c69a8e
2 years
hannes
update vspace for gcc>=9.x.x
fieker-DuVal
spielwiese
(edit)
@b1381c
2 years
quatermaster
correct spelling as detected by lintian Description: source typo ...
fieker-DuVal
spielwiese
(edit)
@6fbe8c
3 years
hannes
Revert "update vspace" incompatible with old gcc This reverts commit ...
fieker-DuVal
spielwiese
(edit)
@f80133
3 years
hannes
update vspace
fieker-DuVal
spielwiese
(edit)
@fe23060
3 years
hannes
add: degBound for system("verifyGB",...)
fieker-DuVal
spielwiese
(edit)
@a0c2c8
3 years
hannes
opt-prot for verifyGB
fieker-DuVal
spielwiese
(edit)
@66c68b
3 years
hannes
fix: system("verifyGB",I): stop child
fieker-DuVal
spielwiese
(edit)
@510427
3 years
hannes
fix: system("verifyGB",I) only for commutive rings
fieker-DuVal
spielwiese
(edit)
@2d1dc4
3 years
hannes
fix: kVerify2 only for commutaive rings over Q
fieker-DuVal
spielwiese
(edit)
@b5a454
3 years
hannes
Revert "GB stuff: removed strat->R, S_2_R, etc" This reverts commit ...
fieker-DuVal
spielwiese
(edit)
@4ecc6fa
3 years
hannes
GB stuff: removed strat->R, S_2_R, etc
fieker-DuVal
spielwiese
(edit)
@4b1552
3 years
hannes
use of vspace vi HAVE_VSPACE
fieker-DuVal
spielwiese
(edit)
@930719
3 years
hannes
separate serial/parallel kVerify*, avoid fork on cygwin
fieker-DuVal
spielwiese
(edit)
@7dd7a90
4 years
hannes
opt: while(10) ->loop
fieker-DuVal
spielwiese
(edit)
@9ade11
4 years
hannes
fix: clean up shared memory
fieker-DuVal
spielwiese
(edit)
@ea79a4
4 years
hannes
verify GB: multi-process version
fieker-DuVal
spielwiese
(add)
@a647f6c
4 years
hannes
introduce kverify.*
fieker-DuVal
spielwiese
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog