fieker-DuValspielwiese
|
Last change
on this file since b672d2 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 :: 1463770292:4031, 64 bit:4.0.3:x86_64-Linux:maunzerle:111448 |
|---|
| 2 | 1 >> tst_memory_1 :: 1463770292:4031, 64 bit:4.0.3:x86_64-Linux:maunzerle:2228224 |
|---|
| 3 | 1 >> tst_memory_2 :: 1463770292:4031, 64 bit:4.0.3:x86_64-Linux:maunzerle:2228224 |
|---|
| 4 | 1 >> tst_timer_1 :: 1463770292:4031, 64 bit:4.0.3:x86_64-Linux:maunzerle:2 |
|---|
Note: See
TracBrowser
for help on using the repository browser.
