ocaml-multicore/multicoretests issues and pull requests

#483 - Refine Out_channel string/bytes generator

Pull Request - State: open - Opened by jmid 3 months ago - 1 comment

#482 - Disable 5.2.0 tests on PRs and pushes to main

Pull Request - State: closed - Opened by jmid 3 months ago - 2 comments

#481 - Add the bytecode crash issue

Pull Request - State: closed - Opened by jmid 3 months ago - 2 comments

#480 - [ocaml5-issue] Segfault or hang on macOS in STM Gc stress test parallel

Issue - State: open - Opened by jmid 4 months ago - 2 comments
Labels: ocaml5-issue

#479 - Add Gc issues

Pull Request - State: closed - Opened by jmid 4 months ago - 2 comments

#478 - Small cleanups to ease upstreaming

Pull Request - State: closed - Opened by shym 5 months ago - 3 comments

#477 - Experiment: Add workflows with musl option

Pull Request - State: open - Opened by jmid 5 months ago - 1 comment

#476 - Experiment: Add MSVC 32bit workflows

Pull Request - State: open - Opened by jmid 5 months ago

#475 - Add latest batch of issues

Pull Request - State: closed - Opened by jmid 5 months ago - 2 comments

#474 - [ocaml5-issue] Gc.counters unsafe root registration

Issue - State: open - Opened by jmid 5 months ago
Labels: ocaml5-issue

#473 - Merge the CI workflows and stop using `setup-ocaml`

Pull Request - State: closed - Opened by shym 5 months ago - 12 comments

#472 - Reduce `STM.cmds_gen` list size

Pull Request - State: closed - Opened by jmid 5 months ago - 4 comments

#471 - Add 5.4.0+trunk workflows

Pull Request - State: closed - Opened by jmid 5 months ago - 2 comments

#470 - [ocaml5-issue] Assertion failure on live words in GC test

Issue - State: open - Opened by jmid 5 months ago - 2 comments
Labels: ocaml5-issue

#469 - Add gc tests

Pull Request - State: open - Opened by jmid 5 months ago - 12 comments

#468 - Trigger a 5.2 run every Monday morning

Pull Request - State: closed - Opened by jmid 6 months ago - 2 comments

#467 - MSVC bytecode fails to find Bigarray STM counterexample

Issue - State: open - Opened by jmid 6 months ago
Labels: test suite reliability

#466 - Unexpected STM Sys parallel test counterexample on s390x and ppc64le

Issue - State: open - Opened by jmid 7 months ago - 1 comment
Labels: test suite reliability

#465 - Add the Dynlink/flexdll issue and the Sys.rename regression issue

Pull Request - State: closed - Opened by jmid 7 months ago - 2 comments

#464 - Utilize STM stress test

Pull Request - State: closed - Opened by jmid 8 months ago - 2 comments

#463 - Dynarray tests

Pull Request - State: open - Opened by OlivierNicole 8 months ago - 5 comments

#462 - Add STM_domain.stress_test_par test

Pull Request - State: closed - Opened by OlivierNicole 8 months ago - 3 comments

#461 - Trigger a trunk run every Monday morning

Pull Request - State: closed - Opened by jmid 8 months ago - 2 comments

#460 - Move GA workflows from 5.2.0~beta2 to 5.2.0 release

Pull Request - State: closed - Opened by jmid 9 months ago - 2 comments

#459 - [ocaml5-issue] MSVC timeout and crashes in domain_spawntree - with Atomic

Issue - State: open - Opened by jmid 9 months ago - 2 comments
Labels: ocaml5-issue

#458 - Add explicit macOS Intel+ARM64 runners

Pull Request - State: closed - Opened by jmid 9 months ago - 7 comments

#457 - Reuse domains rather than spawning them for each parallel test

Pull Request - State: open - Opened by OlivierNicole 9 months ago - 9 comments

#456 - Specifications can be terser through more type trickery

Pull Request - State: open - Opened by OlivierNicole 10 months ago - 4 comments

#455 - Increment count for STM int64 ref test with Thread

Pull Request - State: closed - Opened by jmid 10 months ago - 1 comment

#454 - Omission: temporarily disable Dynlink test under Cygwin too

Pull Request - State: closed - Opened by jmid 10 months ago - 2 comments

#453 - Temporarily disable Dynlink tests under Windows

Pull Request - State: closed - Opened by jmid 10 months ago - 2 comments

#452 - Reenable Bigarray STM tests

Pull Request - State: closed - Opened by jmid 10 months ago - 4 comments

#451 - Move 5.2.0 workflows from beta1 to beta2

Pull Request - State: closed - Opened by jmid 10 months ago - 2 comments

#450 - Naming inconsistency between Lin and QCheck

Issue - State: closed - Opened by OlivierNicole 10 months ago - 3 comments

#449 - Reduce Cygwin timeouts to 240m like the remaining workflows

Pull Request - State: closed - Opened by jmid 10 months ago - 2 comments

#448 - [WIP] Add debug bytecode

Pull Request - State: open - Opened by jmid 10 months ago - 1 comment

#447 - [ocaml5-issue] Assertion failure `s->running` during parallel `STM` or `Lin` tests

Issue - State: closed - Opened by jmid 10 months ago - 3 comments
Labels: ocaml5-issue

#446 - [ocaml5-issue] Segfault in `STM Domain.DLS test sequential` on bytecode

Issue - State: closed - Opened by jmid 10 months ago - 24 comments
Labels: ocaml5-issue

#445 - Move 520-workflows on GitHub actions to 5.2.0~beta1

Pull Request - State: closed - Opened by jmid 10 months ago - 2 comments

#444 - [ocaml5-issue] `Out_channel.flush` can cause `Syserror` when used in parallel

Issue - State: open - Opened by jmid 11 months ago - 9 comments
Labels: ocaml5-issue

#443 - Add Lin_domain.stress_test

Pull Request - State: closed - Opened by jmid 11 months ago - 2 comments

#442 - Issue list update

Pull Request - State: closed - Opened by jmid 11 months ago - 2 comments

#441 - Revert temporary acceptance in STM Out_channel test

Pull Request - State: closed - Opened by jmid 11 months ago - 3 comments

#440 - [ocaml5-issue] segfault in 32-bit mode during neg_tests/lin_tests_domain.ml

Issue - State: closed - Opened by jmid 11 months ago - 1 comment
Labels: ocaml5-issue

#439 - [ocaml5-issue] configure flexlink test regression under Cygwin

Issue - State: closed - Opened by jmid 11 months ago - 1 comment
Labels: ocaml5-issue

#438 - Reduce 51x CI runs

Pull Request - State: closed - Opened by jmid 11 months ago - 2 comments

#437 - STM Float.Array test tinkering

Pull Request - State: closed - Opened by jmid 11 months ago - 2 comments

#436 - Move 520 trunk workflows to alpha1

Pull Request - State: closed - Opened by jmid 12 months ago - 2 comments

#435 - Disable 'Lin.Internal CList int test with Thread' under bytecode

Pull Request - State: closed - Opened by jmid about 1 year ago - 2 comments

#434 - Add the latest batch of issues

Pull Request - State: closed - Opened by jmid about 1 year ago - 2 comments

#433 - [dune-issue] dune fails build under trunk/5.3 on macOS

Issue - State: closed - Opened by jmid about 1 year ago - 2 comments

#432 - [ocaml5-issue] Output to closed Out_channel fails to raise Sys_error

Issue - State: closed - Opened by jmid about 1 year ago - 2 comments
Labels: ocaml5-issue

#431 - Add Out_channel STM tests

Pull Request - State: closed - Opened by jmid about 1 year ago - 14 comments

#430 - Disable Lin Out_channel test under FreeBSD

Pull Request - State: closed - Opened by jmid about 1 year ago - 1 comment

#429 - Separate workflows for the 5.2 branch

Pull Request - State: closed - Opened by jmid about 1 year ago - 5 comments

#428 - [ocaml5-issue] Fatal error: Failed to create domain on s390x, MinGW, Cygwin, ...

Issue - State: closed - Opened by jmid about 1 year ago - 1 comment
Labels: ocaml5-issue

#427 - Increase count for STM Weak test parallel

Pull Request - State: closed - Opened by jmid about 1 year ago - 2 comments

#426 - Add the latest assertion issues

Pull Request - State: closed - Opened by jmid about 1 year ago - 2 comments

#425 - [ocaml5-issue] Deadlock in 'thread_createtree - with Atomic' on Linux ARM64

Issue - State: open - Opened by jmid about 1 year ago
Labels: ocaml5-issue

#424 - Assertion failures in runtime/domain.c on trunk

Issue - State: closed - Opened by jmid about 1 year ago - 1 comment
Labels: ocaml5-issue

#423 - Move GitHub action workflows to 5.1.1

Pull Request - State: closed - Opened by jmid about 1 year ago - 2 comments

#422 - Assertion failure triggered in runtime/memprof.c

Issue - State: closed - Opened by jmid about 1 year ago - 1 comment
Labels: ocaml5-issue

#421 - s390x timeouts on s390x-worker-01

Issue - State: open - Opened by jmid about 1 year ago

#420 - Merge Cygwin CI workflow parts

Pull Request - State: closed - Opened by jmid about 1 year ago - 4 comments

#419 - Expand STM Semaphore tests

Pull Request - State: closed - Opened by jmid about 1 year ago - 2 comments

#418 - Switch GA workflows to test 5.1.1~rc1

Pull Request - State: closed - Opened by jmid about 1 year ago - 2 comments

#417 - Reduce STM and Lin dependencies with (implicit_transitive_deps false)

Issue - State: open - Opened by jmid about 1 year ago

#416 - [ocaml5-issue] Segfault in Lin Effect test in framepointer mode

Issue - State: closed - Opened by jmid about 1 year ago - 1 comment
Labels: duplicate, ocaml5-issue

#415 - Strengthen mutable_set_v5 expect test against timing differences

Pull Request - State: closed - Opened by jmid about 1 year ago - 3 comments

#414 - Extend STM Array tests

Pull Request - State: closed - Opened by jmid about 1 year ago - 2 comments

#413 - Add caml_reset_young_limit boundary case assertion issue

Pull Request - State: closed - Opened by jmid about 1 year ago - 2 comments

#412 - [ocaml5-issue] Segfault in Lin Out_channel test in 32-bit and bytecode mode

Issue - State: closed - Opened by jmid about 1 year ago - 1 comment
Labels: duplicate, ocaml5-issue

#411 - Disable Lin_thread Queue test under bytecode

Pull Request - State: closed - Opened by jmid about 1 year ago - 2 comments

#410 - FreeBSD failure to trigger 'STM Sys test parallel'

Issue - State: closed - Opened by jmid about 1 year ago - 1 comment
Labels: test suite reliability

#409 - Actions update

Pull Request - State: closed - Opened by jmid about 1 year ago - 3 comments

#408 - Chore: Lin DSL test renaming

Pull Request - State: closed - Opened by jmid about 1 year ago - 3 comments

#407 - Rename Windows workflows

Pull Request - State: closed - Opened by jmid about 1 year ago - 2 comments

#406 - STM Weak test parallel fail to trigger on s390x

Issue - State: closed - Opened by jmid about 1 year ago
Labels: test suite reliability

#405 - Add assertion race condition issue

Pull Request - State: closed - Opened by jmid about 1 year ago - 2 comments

#404 - [ocaml5-issue] Assertion failure on threadomain under debug runtime

Issue - State: closed - Opened by jmid about 1 year ago - 1 comment
Labels: ocaml5-issue

#403 - Run debug-runtime workflows with a reduced minor heap

Pull Request - State: closed - Opened by jmid about 1 year ago - 2 comments

#402 - [ocaml5-issue] Abort on domain_joingraph under debug runtime

Issue - State: closed - Opened by jmid over 1 year ago - 1 comment
Labels: ocaml5-issue

#401 - Lin Out_channel test fails to trigger on FreeBSD

Issue - State: closed - Opened by jmid over 1 year ago
Labels: test suite reliability

#399 - CI: Add native and bytecode workflows using MSVC

Pull Request - State: closed - Opened by shym over 1 year ago - 2 comments

#397 - Timeouts during 'Lin.Internal CList int64 test with Thread' under Cygwin

Issue - State: open - Opened by jmid over 1 year ago - 3 comments
Labels: ocaml5-issue, test suite reliability

#386 - [ocaml5-issue] Assertion failure in the debug runtime on STM int ref test

Issue - State: closed - Opened by shym over 1 year ago - 1 comment
Labels: ocaml5-issue

#384 - [ocaml5-issue] General Cygwin slowness

Issue - State: closed - Opened by jmid over 1 year ago - 2 comments
Labels: ocaml5-issue

#378 - Long Out_channel shrinking runs cause timeout

Issue - State: closed - Opened by jmid over 1 year ago - 2 comments
Labels: ocaml5-issue, test suite reliability

#363 - Lin Thread Queue test reliability

Issue - State: closed - Opened by jmid over 1 year ago
Labels: test suite reliability

#359 - STM parallel Sys tests on macOS

Issue - State: closed - Opened by jmid over 1 year ago - 4 comments
Labels: test suite reliability

#358 - Lin.Internal Thread int CList test finds unexpected counterexample under bytecode

Issue - State: closed - Opened by jmid over 1 year ago - 4 comments
Labels: test suite reliability

#354 - [ocaml5-issue] Windows trunk bytecode domain_spawntree crash or deadlock

Issue - State: open - Opened by jmid over 1 year ago - 7 comments
Labels: ocaml5-issue

#353 - [ocaml5-issue] Abort / crash on thread_joingraph and thread_createtree under debug runtime

Issue - State: closed - Opened by jmid over 1 year ago - 4 comments
Labels: ocaml5-issue

#321 - [ocaml5-issue] Out_channel Lin test takes very long on macOS

Issue - State: closed - Opened by jmid almost 2 years ago - 6 comments
Labels: ocaml5-issue

#307 - [ocaml5-issue] Deadlock in Dynlink test on Cygwin+MinGW+MSVC

Issue - State: open - Opened by shym almost 2 years ago - 8 comments
Labels: ocaml5-issue

#304 - Add Sys.is_directory, Sys.remove and Sys.rename

Pull Request - State: open - Opened by jmid almost 2 years ago - 8 comments

#276 - [ocaml5-issue] Abort on Lin DSL Ephemeron test under debug runtime

Issue - State: closed - Opened by jmid about 2 years ago - 2 comments
Labels: ocaml5-issue

#203 - [ocaml5-issue] Windows failures on threadomain

Issue - State: closed - Opened by jmid about 2 years ago - 49 comments
Labels: ocaml5-issue

#160 - Reduce frequencies of operations creating Bigarrays

Pull Request - State: closed - Opened by shym over 2 years ago - 2 comments

#100 - Add Lin_api test of Bytes

Pull Request - State: closed - Opened by jmid over 2 years ago - 2 comments

GitHub / ocaml-multicore/multicoretests issues and pull requests