Skip to content

Pull requests: ocaml-multicore/multicoretests

New pull request New
17 Open 310 Closed
17 Open 310 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Dynarray tests
#463 opened Jun 7, 2024 by OlivierNicole Loading…
Add STM_domain.stress_test_par test
#462 opened Jun 7, 2024 by OlivierNicole Loading…
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…
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! Add no:assignee to see everything that’s not assigned.