Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ocaml-multicore/ocaml-tsan issues and pull requests

#34 - [TEST] Tsan ci upon label

Pull Request - State: closed - Opened by OlivierNicole 11 months ago - 1 comment
Labels: run-thread-sanitizer

#33 - SIGINT masking and custom handling crashes with --enable-tsan on x86 macOS

Issue - State: closed - Opened by OlivierNicole over 1 year ago - 8 comments

#32 - cannot find /usr/lib64/libtsan.so.2.0.0

Issue - State: closed - Opened by gasche over 1 year ago - 4 comments

#31 - Test `lib-systhreads/boundscheck` spins forever with tsan

Issue - State: closed - Opened by OlivierNicole over 1 year ago - 9 comments

#28 - Dune fails to build with lock-order inversion reports and SEGV

Issue - State: closed - Opened by OlivierNicole over 1 year ago - 3 comments

#27 - Building with clang causes the testsuite to hang forever

Issue - State: closed - Opened by OlivierNicole over 1 year ago - 2 comments

#26 - Detect libunwind

Pull Request - State: closed - Opened by OlivierNicole over 1 year ago

#25 - Treat accesses to volatile values as relaxed atomics

Issue - State: closed - Opened by OlivierNicole over 1 year ago - 4 comments

#24 - Spurious race reports from the runtime when repeatedly spawning and joining domains

Issue - State: closed - Opened by OlivierNicole almost 2 years ago - 2 comments
Labels: Stale

#23 - Re-enable the macOS CI

Pull Request - State: closed - Opened by OlivierNicole almost 2 years ago

#22 - [Trial PR] Add ThreadSanitizer support

Pull Request - State: closed - Opened by OlivierNicole almost 2 years ago - 36 comments

#21 - Fix shadow stack underflow, and other CI fixes

Pull Request - State: closed - Opened by OlivierNicole almost 2 years ago - 1 comment
Labels: no-changes-entry-needed

#20 - Fix build on macOS

Pull Request - State: closed - Opened by OlivierNicole almost 2 years ago

#19 - Fix tests in CI builds

Pull Request - State: closed - Opened by OlivierNicole almost 2 years ago - 2 comments

#19 - Fix tests in CI builds

Pull Request - State: closed - Opened by OlivierNicole almost 2 years ago - 2 comments

#18 - Disable unnecessary instrumentation for performance

Pull Request - State: closed - Opened by OlivierNicole almost 2 years ago

#18 - Disable unnecessary instrumentation for performance

Pull Request - State: closed - Opened by OlivierNicole almost 2 years ago

#17 - Remove instrumentation in bytecode backend,

Pull Request - State: closed - Opened by OlivierNicole about 2 years ago - 3 comments

#16 - Add tests for effect handler support in TSan backtraces

Pull Request - State: closed - Opened by OlivierNicole about 2 years ago - 1 comment

#16 - Add tests for effect handler support in TSan backtraces

Pull Request - State: closed - Opened by OlivierNicole about 2 years ago - 1 comment

#14 - Add TSan ocamlrun (ocamlrunt) to gitignore

Pull Request - State: closed - Opened by OlivierNicole about 2 years ago

#14 - Add TSan ocamlrun (ocamlrunt) to gitignore

Pull Request - State: closed - Opened by OlivierNicole about 2 years ago

#13 - Add TSan tests

Pull Request - State: closed - Opened by OlivierNicole over 2 years ago
Labels: no-changes-entry-needed

#13 - Add TSan tests

Pull Request - State: closed - Opened by OlivierNicole over 2 years ago
Labels: no-changes-entry-needed

#12 - Rename configure flag --enable-tsan-runtime into --enable-tsan

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

#12 - Rename configure flag --enable-tsan-runtime into --enable-tsan

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

#11 - Add effects support for tsan backtraces

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

#11 - Add effects support for tsan backtraces

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

#10 - C/C++ TSan has a fixed-size shadow stack, causing crashes

Issue - State: closed - Opened by OlivierNicole over 2 years ago - 1 comment

#9 - Failing libunwind test

Issue - State: closed - Opened by OlivierNicole over 2 years ago - 1 comment

#8 - Add build status badge to Readme

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

#8 - Add build status badge to Readme

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

#7 - Add exception support for tsan backtraces

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

#7 - Add exception support for tsan backtraces

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

#6 - Some compiler tests fail when run with TSan instrumentation

Issue - State: closed - Opened by OlivierNicole over 2 years ago - 3 comments

#4 - macOS CI fails because of unsupported GCC flag

Issue - State: closed - Opened by OlivierNicole over 2 years ago - 1 comment

#4 - macOS CI fails because of unsupported GCC flag

Issue - State: closed - Opened by OlivierNicole over 2 years ago - 1 comment

#3 - Add a tsan runtime

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

#3 - Add a tsan runtime

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

#2 - Re-introduce backtraces in OCaml code

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

#2 - Re-introduce backtraces in OCaml code

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

#1 - README polishing

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

#1 - README polishing

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