Skip to content

Issues: ocaml-multicore/multicoretests

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
50 Open 115 Closed
50 Open 115 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Revise Effect-mode for Lin feature For enhancements of the libraries or test suite
#269 opened Dec 12, 2022 by jmid
Port examples from qcstm feature For enhancements of the libraries or test suite
#40 opened Apr 13, 2022 by jmid
Measure statistical significance of Domain setup
#47 opened Apr 16, 2022 by jmid
4
Extend signature DSL with a program printer feature For enhancements of the libraries or test suite
#56 opened Apr 27, 2022 by jmid
2
Extend signature DSL to function values feature For enhancements of the libraries or test suite
#57 opened Apr 27, 2022 by jmid
1
Extend Lin and STM to support multiple tested ts feature For enhancements of the libraries or test suite
#62 opened May 9, 2022 by jmid
Test more modules from the Stdlib feature For enhancements of the libraries or test suite
#64 opened May 10, 2022 by jmid
2
Add additional CI targets
#120 opened Sep 1, 2022 by jmid
8
Share more code between STM and Lin
#156 opened Oct 13, 2022 by shym
Adjust tests to use Domain.recommended_domain_count
#194 opened Nov 15, 2022 by jmid
Adapt custom Lin shrinker to STM
#196 opened Nov 15, 2022 by jmid
Lin: support tuple combinators feature For enhancements of the libraries or test suite
#261 opened Dec 12, 2022 by jmid
Update printer to use Format
#34 opened Apr 12, 2022 by jmid
STM: support tuple syntax feature For enhancements of the libraries or test suite
#262 opened Dec 12, 2022 by jmid
Experiment with STM memorization to speed up parallel search and non-interference test feature For enhancements of the libraries or test suite
#293 opened Feb 1, 2023 by jmid
[ocaml5-issue] Deadlock in Dynlink test on Cygwin+MinGW+MSVC ocaml5-issue A potential issue in the OCaml5 compiler/runtime
#307 opened Mar 9, 2023 by shym
8
Abbreviating print functions
#308 opened Mar 9, 2023 by jmid
Improve reproducibility of Lin/STM Thread modes test suite reliability Issue concerns tests that should behave more predictably
#338 opened Apr 26, 2023 by jmid
Remove duplicated code for value pretty-printers
#343 opened May 12, 2023 by shym
Split testing libraries off in a separate repo
#351 opened May 24, 2023 by jmid
Expand on stats to guide improvements
#362 opened Jun 8, 2023 by jmid
'STM _ ref test parallel asymmetric' failure to trigger test suite reliability Issue concerns tests that should behave more predictably
#364 opened Jun 8, 2023 by jmid
2
6
[ocaml5-issue] s390x thread_createtree failures ocaml5-issue A potential issue in the OCaml5 compiler/runtime
#374 opened Jul 10, 2023 by jmid
3
Target a particular compiler PR or branch under multicoretests-ci
#382 opened Aug 16, 2023 by jmid
Remove dune pin in trunk workflows
#539 opened Mar 10, 2025 by jmid
ProTip! Adding no:label will show everything without a label.