 Mike Mirzayanov
|
7968ff542c
#define VERSION "0.9.43"
|
4 maanden geleden |
|
mikemirzayanov
|
36041fcbf8
Added ConstantBoundsLog, VariablesLog to validator testOverviewLogFile
|
11 maanden geleden |
|
mikemirzayanov
|
269931f1e5
added ConstantBoundsLog to validator testOverviewLogFile
|
11 maanden geleden |
|
mikemirzayanov
|
da59e0d5ab
added ConstantBoundsLog to validator testOverviewLogFile
|
11 maanden geleden |
|
mikemirzayanov
|
68f9f300b6
0.9.41
|
1 jaar geleden |
|
mikemirzayanov
|
fee1343c73
0.9.41-alpha
|
1 jaar geleden |
|
Mike Mirzayanov
|
0ca6179bbc
Merge pull request #194 from MikeMirzayanov/issue-170-ejudge-registerTestlibCmd-support
|
1 jaar geleden |
|
mikemirzayanov
|
8d92a1dad9
impl + tests
|
1 jaar geleden |
|
mikemirzayanov
|
b354fcfe09
wip
|
1 jaar geleden |
|
mikemirzayanov
|
b940a91c9e
In case of EJUDGE ignore argc == 5/6 cases in registerTestlibCmd
|
1 jaar geleden |
|
mikemirzayanov
|
7cf5a1e493
Merge branch 'master' into HeRaNO-fix-171-wany
|
1 jaar geleden |
|
mikemirzayanov
|
60c9c2f0f9
better any/wany fix, tests
|
1 jaar geleden |
|
Mike Mirzayanov
|
8ff2de3b69
Merge pull request #181 from HeRaNO/fix-171-wany
|
1 jaar geleden |
|
mikemirzayanov
|
ffe57527f6
Merge branch 'master' into anywany-tests
|
1 jaar geleden |
|
mikemirzayanov
|
a047899821
cleanups
|
1 jaar geleden |
|
mikemirzayanov
|
4c57080f68
better stringToLongLong/stringToUnsignedLongLong
|
1 jaar geleden |
|
mikemirzayanov
|
281597686c
Merge branch 'master' into dev-mikemirzayanov
|
1 jaar geleden |
|
mikemirzayanov
|
525e696790
Fixed rnd.wany unstable behavior
|
1 jaar geleden |
|
Mike Mirzayanov
|
1b1c4119db
Merge pull request #182 from MikeMirzayanov/xml-encoding
|
1 jaar geleden |
|
mikemirzayanov
|
323f3f0c9f
setAppesModeEncoding
|
1 jaar geleden |
 HeRaNO
|
606326018c
fix: use std::advance in wany
|
1 jaar geleden |
|
mikemirzayanov
|
31f40a0e72
Fix #168
|
1 jaar geleden |
|
mikemirzayanov
|
9e60dd4b3c
use std::advance
|
1 jaar geleden |
|
mikemirzayanov
|
f6245cf27b
tmp macos tests only, fix bom issue
|
1 jaar geleden |
|
mikemirzayanov
|
0e821ac2f0
Merge branch 'master' into dev-mikemirzayanov
|
1 jaar geleden |
|
mikemirzayanov
|
f6aa4d8f2a
cast seed to unsigned long long in setSeed
|
1 jaar geleden |
|
Mike Mirzayanov
|
abd32a9ef0
Merge pull request #163 from int-y1/fix-typos
|
1 jaar geleden |
|
Mike Mirzayanov
|
8bff9c5687
Merge pull request #174 from mizar/gcc13-cstdint
|
1 jaar geleden |
 尤理衡 (Li-Heng Yu)
|
e5e0194066
Update test.h that change sprintf to snprintf
|
1 jaar geleden |
 Mizar
|
3c6e5c675b
gcc13 requires include `<cstdint>` for `uint64_t`
|
1 jaar geleden |
