source: git/Tst/New/std_integer.res.gz.uu

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @118d384   3 years hannes tests: more changes for std_z_fix fieker-DuValspielwiese
(edit) @5c65cb   6 years hannes fix: gb_Z tests fieker-DuValspielwiese
(edit) @f57a52   6 years hannes tests for new Z-GB fieker-DuValspielwiese
(edit) @a114fb   7 years hannes changed tests because of p_LtCmp fieker-DuValspielwiese
(edit) @5efbf9   8 years adi_popescum add: posInL and T orderings for Ring case added tests Q: Is there a ... fieker-DuValspielwiese
(edit) @5a47333   9 years hannes activate more std_integer tests fieker-DuValspielwiese
(edit) @35a23c9   9 years adi_popescum fix: std over Z tests with global ordering. Still have to check the ... fieker-DuValspielwiese
(add) @83b334   9 years adi_popescum add tests (don't run them yet till i am ready with pshing all the ... fieker-DuValspielwiese
Note: See TracRevisionLog for help on using the revision log.