 Mizar
|
3c6e5c675b
gcc13 requires include `<cstdint>` for `uint64_t`
|
il y a 1 an |
 int-y1
|
daaf2ef42f
Fix typos
|
il y a 2 ans |
 mikemirzayanov
|
db4ac7468c
logging
|
il y a 2 ans |
|
mikemirzayanov
|
27b22d20ce
sleep 3 -> sleep 1 && scanf -> cin
|
il y a 2 ans |
|
mikemirzayanov
|
748dbf29e5
sleep 1 -> sleep 3
|
il y a 2 ans |
|
mikemirzayanov
|
6ab4954747
Fixed test
|
il y a 2 ans |
|
mikemirzayanov
|
139afc4c51
skipBom only in checker-mode for output, more tests
|
il y a 2 ans |
|
mikemirzayanov
|
232769eb25
dos2unix -> tr
|
il y a 2 ans |
|
mikemirzayanov
|
cb972e72a2
Missed files
|
il y a 2 ans |
|
mikemirzayanov
|
a43cd17169
Simple test on interactors
|
il y a 2 ans |
|
mikemirzayanov
|
6d72a55d4f
Merge branch 'master' into dev-mikemirzayanov
|
il y a 2 ans |
|
Mike Mirzayanov
|
7fd543d7e6
Merge pull request #158 from MikeMirzayanov/validator-exts
|
il y a 2 ans |
|
mikemirzayanov
|
a76c6f05e1
setTestCase supports 0-based test cases indices (migrates them silently to 1-based)
|
il y a 2 ans |
|
mikemirzayanov
|
b74d3173a1
Other test markup format
|
il y a 2 ans |
|
mikemirzayanov
|
cb46e9b9e8
Merge branch 'master' into dev-mikemirzayanov
|
il y a 2 ans |
|
Mike Mirzayanov
|
a5b449ee54
Merge pull request #157 from MikeMirzayanov/master
|
il y a 2 ans |
|
Mike Mirzayanov
|
f6dfd2a249
Merge pull request #156 from MikeMirzayanov/scorer
|
il y a 2 ans |
|
Mike Mirzayanov
|
ced4979bc7
Merge branch 'master' into scorer
|
il y a 2 ans |
|
mikemirzayanov
|
5ba30e4a4e
Missed ref files
|
il y a 2 ans |
|
mikemirzayanov
|
68c705d470
Better tests
|
il y a 2 ans |
|
mikemirzayanov
|
fc4a69032c
Fix tests
|
il y a 2 ans |
|
mikemirzayanov
|
e2981e5928
--testCase/--testCaseFileName
|
il y a 2 ans |
|
mikemirzayanov
|
23ea527801
Better support for win7 and old g++ windows compilers
|
il y a 2 ans |
|
mikemirzayanov
|
136daf288e
Merge branch 'master' into dev-mikemirzayanov
|
il y a 2 ans |
|
Mike Mirzayanov
|
fc3de52f88
Merge pull request #155 from MikeMirzayanov/master
|
il y a 2 ans |
|
Mike Mirzayanov
|
4cc5a417ca
Merge pull request #154 from MikeMirzayanov/no-binmode-for-non-windows
|
il y a 2 ans |
|
mikemirzayanov
|
bd2872e7d6
Effectively do not use __testlib_set_binary on non-Windows, better support of old compilers in __testlib_set_binary, scan C:\Programs for g++ compilers in run.sh
|
il y a 2 ans |
|
Mike Mirzayanov
|
a76054d2aa
Merge pull request #153 from Menci/patch-1
|
il y a 2 ans |
|
MikeMirzayanov
|
e8d71114ce
Missed files
|
il y a 2 ans |
|
MikeMirzayanov
|
d4e14b5981
validators: '--testMarkupFileName fn' and '--dumpTestCase tc' for validators
|
il y a 2 ans |
