source: git/dyn_modules/syzextra/ederc.tst

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1114d2   12 years Oleksandr Dynamic modules: bigintm & syzextra will be built and can be tested ... fieker-DuValspielwiese
(add) @5c0183   12 years Oleksandr fix the induced Schreyer ordering add: a test due to Chrisian add: ... fieker-DuValspielwiese
Note: See TracRevisionLog for help on using the revision log.