Skip to content

Pull requests: ocaml-multicore/multicoretests

New pull request New
20 Open 323 Closed
20 Open 323 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Refine Out_channel string/bytes generator
#483 opened Nov 1, 2024 by jmid Loading…
1
Experiment: Add workflows with musl option
#477 opened Sep 9, 2024 by jmid Loading…
1
Experiment: Add MSVC 32bit workflows
#476 opened Sep 9, 2024 by jmid Loading…
Add gc tests
#469 opened Aug 27, 2024 by jmid Loading…
12
Dynarray tests
#463 opened Jun 7, 2024 by OlivierNicole Loading…
5
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
[WIP] Add debug bytecode
#448 opened Mar 27, 2024 by jmid Loading…
1
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 Lin tests for Base.Buffer
#323 opened Apr 6, 2023 by shym Loading…
3
Add Sys.is_directory, Sys.remove and Sys.rename
#304 opened Mar 6, 2023 by jmid Loading…
8
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
Faster Lin check for pure operations
#266 opened Dec 12, 2022 by art-w Loading…
2
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
[WIP] An initial program printer
#115 opened Aug 19, 2022 by jmid • Draft
Support multiple ts in Lin and Lin_api signatures
#112 opened Aug 16, 2022 by jmid Loading…
24
ProTip! What’s not been updated in a month: updated:<2024-10-15.