Skip to content

Pull requests: ocaml-multicore/multicoretests

New pull request New
14 Open 376 Closed
14 Open 376 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

WIP: rework GADT index types to get Lin compiling on trunk again
#560 opened Jun 12, 2025 by jmid Loading…
1
STM Weak test re-revision
#558 opened Jun 11, 2025 by jmid Loading…
1
Refine Out_channel string/bytes generator
#483 opened Nov 1, 2024 by jmid Loading…
1
Reuse domains rather than spawning them for each parallel test
#457 opened Apr 26, 2024 by OlivierNicole • Draft
9
Specifications can be terser through more type trickery
#456 opened Apr 20, 2024 by OlivierNicole • Draft
4
Add the possibility to compute statistics
#369 opened Jun 21, 2023 by shym • Draft
1
Add Util functions to make tests with logging of generated test values
#331 opened Apr 19, 2023 by shym • Draft
1
Lin: Print commands that trigger unexpected exceptions
#324 opened Apr 6, 2023 by shym Loading…
10
Add Sys.is_directory, Sys.remove and Sys.rename
#304 opened Mar 6, 2023 by jmid Loading…
11
Add (and use) a runner wrapping every test, to improve error reporting
#303 opened Feb 28, 2023 by shym Loading…
1
Coverage experiment
#300 opened Feb 24, 2023 by jmid • Draft
Memory data-race tests
#212 opened Nov 22, 2022 by art-w Loading…
3
Add information to logs with a custom runner
#205 opened Nov 21, 2022 by shym Loading…
8
Support multiple ts in Lin and Lin_api signatures
#112 opened Aug 16, 2022 by jmid Loading…
24
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.