issues
search
ocaml-multicore
/
multicoretests
PBT testsuite and libraries for testing multicore OCaml
https://ocaml-multicore.github.io/multicoretests/
BSD 2-Clause "Simplified" License
36
stars
16
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Trigger a 5.2 run every Monday morning
#468
jmid
closed
2 weeks ago
2
MSVC bytecode fails to find Bigarray STM counterexample
#467
jmid
opened
2 weeks ago
0
Unexpected STM Sys parallel test counterexample on s390x
#466
jmid
opened
1 month ago
0
Add the Dynlink/flexdll issue and the Sys.rename regression issue
#465
jmid
closed
1 month ago
2
Utilize STM stress test
#464
jmid
closed
2 months ago
2
Dynarray tests
#463
OlivierNicole
opened
2 months ago
5
Add STM_domain.stress_test_par test
#462
OlivierNicole
closed
2 months ago
3
Trigger a trunk run every Monday morning
#461
jmid
closed
2 months ago
2
Move GA workflows from 5.2.0~beta2 to 5.2.0 release
#460
jmid
closed
3 months ago
2
[ocaml5-issue] MSVC timeout and crashes in domain_spawntree - with Atomic
#459
jmid
opened
3 months ago
2
Add explicit macOS Intel+ARM64 runners
#458
jmid
closed
3 months ago
7
Reuse domains rather than spawning them for each parallel test
#457
OlivierNicole
opened
4 months ago
9
Specifications can be terser through more type trickery
#456
OlivierNicole
opened
4 months ago
4
Increment count for STM int64 ref test with Thread
#455
jmid
closed
4 months ago
1
Omission: temporarily disable Dynlink test under Cygwin too
#454
jmid
closed
4 months ago
2
Temporarily disable Dynlink tests under Windows
#453
jmid
closed
4 months ago
2
Reenable Bigarray STM tests
#452
jmid
closed
4 months ago
4
Move 5.2.0 workflows from beta1 to beta2
#451
jmid
closed
4 months ago
2
Naming inconsistency between Lin and QCheck
#450
OlivierNicole
closed
4 months ago
3
Reduce Cygwin timeouts to 240m like the remaining workflows
#449
jmid
closed
4 months ago
2
[WIP] Add debug bytecode
#448
jmid
opened
5 months ago
1
[ocaml5-issue] Assertion failure `s->running` during parallel `STM` or `Lin` tests
#447
jmid
opened
5 months ago
2
[ocaml5-issue] Segfault in `STM Domain.DLS test sequential` on 32-bit trunk
#446
jmid
opened
5 months ago
22
Move 520-workflows on GitHub actions to 5.2.0~beta1
#445
jmid
closed
5 months ago
2
[ocaml5-issue] `Out_channel.flush` can cause `Syserror` when used in parallel
#444
jmid
opened
5 months ago
5
Add Lin_domain.stress_test
#443
jmid
closed
5 months ago
2
Issue list update
#442
jmid
closed
5 months ago
2
Revert temporary acceptance in STM Out_channel test
#441
jmid
closed
5 months ago
3
[ocaml5-issue] segfault in 32-bit mode during neg_tests/lin_tests_domain.ml
#440
jmid
opened
5 months ago
0
[ocaml5-issue] configure flexlink test regression under Cygwin
#439
jmid
closed
4 months ago
1
Reduce 51x CI runs
#438
jmid
closed
5 months ago
2
STM Float.Array test tinkering
#437
jmid
closed
6 months ago
2
Move 520 trunk workflows to alpha1
#436
jmid
closed
6 months ago
2
Disable 'Lin.Internal CList int test with Thread' under bytecode
#435
jmid
closed
7 months ago
2
Add the latest batch of issues
#434
jmid
closed
7 months ago
2
[dune-issue] dune fails build under trunk/5.3 on macOS
#433
jmid
closed
6 months ago
2
[ocaml5-issue] Output to closed Out_channel fails to raise Sys_error
#432
jmid
closed
5 months ago
2
Add Out_channel STM tests
#431
jmid
closed
7 months ago
14
Disable Lin Out_channel test under FreeBSD
#430
jmid
closed
7 months ago
1
Separate workflows for the 5.2 branch
#429
jmid
closed
7 months ago
5
[ocaml5-issue] Fatal error: Failed to create domain on s390x, MinGW, Cygwin, ...
#428
jmid
closed
7 months ago
1
Increase count for STM Weak test parallel
#427
jmid
closed
8 months ago
2
Add the latest assertion issues
#426
jmid
closed
8 months ago
2
[ocaml5-issue] Deadlock in 'thread_createtree - with Atomic' on Linux ARM64
#425
jmid
opened
8 months ago
0
Assertion failures in runtime/domain.c on trunk
#424
jmid
closed
8 months ago
1
Move GitHub action workflows to 5.1.1
#423
jmid
closed
8 months ago
2
Assertion failure triggered in runtime/memprof.c
#422
jmid
closed
8 months ago
1
s390x slowness on s390x-worker-01
#421
jmid
opened
8 months ago
0
Merge Cygwin CI workflow parts
#420
jmid
closed
8 months ago
4
Expand STM Semaphore tests
#419
jmid
closed
8 months ago
2
Next