Mike Mirzayanov
|
a6e57ad291
Merge pull request #211 from MikeMirzayanov/ConstantBoundsLog
|
3 mesi fa |
Mike Mirzayanov
|
7968ff542c
#define VERSION "0.9.43"
|
3 mesi fa |
mikemirzayanov
|
36041fcbf8
Added ConstantBoundsLog, VariablesLog to validator testOverviewLogFile
|
9 mesi fa |
mikemirzayanov
|
269931f1e5
added ConstantBoundsLog to validator testOverviewLogFile
|
9 mesi fa |
mikemirzayanov
|
da59e0d5ab
added ConstantBoundsLog to validator testOverviewLogFile
|
9 mesi fa |
mikemirzayanov
|
7d37a1a30f
__testlib_preparePoints
|
9 mesi fa |
mikemirzayanov
|
68f9f300b6
0.9.41
|
1 anno fa |
mikemirzayanov
|
fee1343c73
0.9.41-alpha
|
1 anno fa |
Mike Mirzayanov
|
0ca6179bbc
Merge pull request #194 from MikeMirzayanov/issue-170-ejudge-registerTestlibCmd-support
|
1 anno fa |
mikemirzayanov
|
8d92a1dad9
impl + tests
|
1 anno fa |
mikemirzayanov
|
b354fcfe09
wip
|
1 anno fa |
mikemirzayanov
|
b940a91c9e
In case of EJUDGE ignore argc == 5/6 cases in registerTestlibCmd
|
1 anno fa |
mikemirzayanov
|
7cf5a1e493
Merge branch 'master' into HeRaNO-fix-171-wany
|
1 anno fa |
mikemirzayanov
|
60c9c2f0f9
better any/wany fix, tests
|
1 anno fa |
Mike Mirzayanov
|
8ff2de3b69
Merge pull request #181 from HeRaNO/fix-171-wany
|
1 anno fa |
mikemirzayanov
|
ffe57527f6
Merge branch 'master' into anywany-tests
|
1 anno fa |
mikemirzayanov
|
a047899821
cleanups
|
1 anno fa |
mikemirzayanov
|
4c57080f68
better stringToLongLong/stringToUnsignedLongLong
|
1 anno fa |
mikemirzayanov
|
281597686c
Merge branch 'master' into dev-mikemirzayanov
|
1 anno fa |
mikemirzayanov
|
525e696790
Fixed rnd.wany unstable behavior
|
1 anno fa |
Mike Mirzayanov
|
1b1c4119db
Merge pull request #182 from MikeMirzayanov/xml-encoding
|
1 anno fa |
mikemirzayanov
|
323f3f0c9f
setAppesModeEncoding
|
1 anno fa |
HeRaNO
|
606326018c
fix: use std::advance in wany
|
1 anno fa |
mikemirzayanov
|
31f40a0e72
Fix #168
|
1 anno fa |
mikemirzayanov
|
9e60dd4b3c
use std::advance
|
1 anno fa |
mikemirzayanov
|
f6245cf27b
tmp macos tests only, fix bom issue
|
1 anno fa |
mikemirzayanov
|
0e821ac2f0
Merge branch 'master' into dev-mikemirzayanov
|
1 anno fa |
mikemirzayanov
|
f6aa4d8f2a
cast seed to unsigned long long in setSeed
|
1 anno fa |
Mike Mirzayanov
|
abd32a9ef0
Merge pull request #163 from int-y1/fix-typos
|
1 anno fa |
Mike Mirzayanov
|
8bff9c5687
Merge pull request #174 from mizar/gcc13-cstdint
|
1 anno fa |