fieker-DuValspielwiese
Last change
on this file since 3fec5d0 was
5efbf9,
checked in by Adi Popescu <adi_popescum@…>, 8 years ago
|
add: posInL and T orderings for Ring case
added tests
Q: Is there a possibility to activate PreIntegerCheck from interpretor?
|
-
Property mode set to
100644
|
File size:
320 bytes
|
Line | |
---|
1 | 1 >> tst_memory_0 :: 1463785437:4031, 64 bit:4.0.3:x86_64-Linux:maunzerle:202904 |
---|
2 | 1 >> tst_memory_1 :: 1463785437:4031, 64 bit:4.0.3:x86_64-Linux:maunzerle:2228224 |
---|
3 | 1 >> tst_memory_2 :: 1463785437:4031, 64 bit:4.0.3:x86_64-Linux:maunzerle:2228224 |
---|
4 | 1 >> tst_timer_1 :: 1463785437:4031, 64 bit:4.0.3:x86_64-Linux:maunzerle:5 |
---|
Note: See
TracBrowser
for help on using the repository browser.