ocaml-multicore/multicoretests issues and pull requests

#99 - [wip] improve bug finding with Thread

Pull Request - State: closed - Opened by n-osborne over 2 years ago - 3 comments

#98 - Temporarily rollback DSL for Thread neg_test

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

#97 - Test both 5.0.0~alpha0 and 5.1.0+trunk in CI

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

#96 - Clean-up dependencies to qcheck>=0.19

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

#95 - Reorganize and rename Lin_api combinators

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

#94 - porting to dsl

Pull Request - State: closed - Opened by n-osborne over 2 years ago - 6 comments

#93 - Add multicoretests paper

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

#92 - Expand and polish README.md

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

#91 - Port old Lin tests to combinator DSL

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

#90 - Chore: Streamline STM and Lin test file names

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

#89 - Add more input number validation to z_test

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

#88 - Add thread for STM

Pull Request - State: closed - Opened by n-osborne over 2 years ago - 45 comments

#87 - Fix string, bytes, and char printing

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

#86 - Elaborate on stat tools

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

#85 - STM cmd shrinking

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

#84 - Lin shrinking of `cmd` arguments

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

#83 - Missing `bytes` combinator in lin_api

Issue - State: closed - Opened by jmid over 2 years ago

#82 - Add int32 and float combinators to lin_api

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

#81 - Add `Thread` mode for STM

Issue - State: closed - Opened by jmid over 2 years ago

#80 - First attempt to reduce boilerplate with type res

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

#79 - Hashtbl STM test

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

#78 - Utilize negative tests in QCheck

Pull Request - State: closed - Opened by jmid over 2 years ago - 6 comments

#77 - Lazy STM exception wrapping

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

#76 - Remove old comments in STM.ml

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

#75 - Exception handling in Lazy lin tests

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

#74 - Reduce pin-depends

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

#73 - Switch to opam alpha repositories

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

#72 - Initial Hashtbl port to DSL

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

#71 - tmate debug attempt

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

#70 - Omit buffer test

Pull Request - State: closed - Opened by jmid over 2 years ago - 3 comments

#69 - Wrap domain functions in a handler to ensure proper joining

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

#68 - Try MacOS 10.15 and 12 too

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

#67 - Initial STM precond fix, add Domainslib.Chan tests

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

#66 - Split Lin interpretations

Issue - State: closed - Opened by jmid over 2 years ago - 4 comments

#65 - Add `cmd` argument shrinking

Issue - State: closed - Opened by jmid over 2 years ago

#64 - Test more modules from the Stdlib

Issue - State: open - Opened by jmid over 2 years ago - 2 comments

#63 - STM clean-up

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

#62 - Extend Lin and STM to support multiple tested `t`s

Issue - State: open - Opened by jmid over 2 years ago

#61 - Add Thread tests

Pull Request - State: closed - Opened by jmid almost 3 years ago

#60 - Printer fixing

Pull Request - State: closed - Opened by jmid almost 3 years ago

#59 - Fix effect example

Pull Request - State: closed - Opened by jmid almost 3 years ago

#58 - port buffer example from QCSTM

Pull Request - State: closed - Opened by n-osborne almost 3 years ago - 1 comment

#57 - Extend signature DSL to function values

Issue - State: open - Opened by jmid almost 3 years ago - 1 comment

#56 - Extend signature DSL with a program printer

Issue - State: open - Opened by jmid almost 3 years ago - 2 comments

#55 - Fix long interleaving times

Pull Request - State: closed - Opened by jmid almost 3 years ago - 1 comment

#54 - Port previous Lin tests to the new signature DSL

Issue - State: closed - Opened by jmid almost 3 years ago - 6 comments

#53 - Unify src directory layout

Pull Request - State: closed - Opened by jmid almost 3 years ago - 1 comment

#52 - Reenable domainslib/task_parallel test

Pull Request - State: closed - Opened by jmid almost 3 years ago - 1 comment

#51 - Fix Effect example

Issue - State: closed - Opened by jmid almost 3 years ago - 1 comment

#50 - Update to lockfree 0.2.0

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

#49 - Switch to branch with improved shrinkers

Pull Request - State: closed - Opened by jmid almost 3 years ago - 1 comment

#48 - Switch to QCheck w/splitting fun generator

Pull Request - State: closed - Opened by jmid almost 3 years ago - 1 comment

#47 - Measure statistical significance of Domain setup

Issue - State: open - Opened by jmid almost 3 years ago - 4 comments

#46 - Represent, randomize, and shrink cpu_relax calls

Issue - State: closed - Opened by jmid almost 3 years ago

#45 - Reduce the number of cpu_relax calls

Pull Request - State: closed - Opened by jmid almost 3 years ago

#44 - Add API-describing DSL for automated linearizability testing

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

#43 - Unnecessary calls to cpu_relax when sequentially executing commands

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

#42 - Statistics script

Pull Request - State: closed - Opened by jmid almost 3 years ago - 1 comment

#41 - Make src's directory layout consistent

Issue - State: closed - Opened by jmid almost 3 years ago

#40 - Port examples from qcstm

Issue - State: open - Opened by jmid almost 3 years ago

#39 - Document example usage

Issue - State: closed - Opened by jmid almost 3 years ago

#38 - Fix precond in STM's parallel mode

Issue - State: closed - Opened by jmid almost 3 years ago - 1 comment

#37 - Update non-STM/Lin tests to use repeat/retry

Issue - State: open - Opened by jmid almost 3 years ago

#36 - change arb_triple to take 3 generators as parameters

Issue - State: closed - Opened by jmid almost 3 years ago - 1 comment

#35 - Update lockfree tests to 0.2

Issue - State: closed - Opened by jmid almost 3 years ago

#34 - Update printer to use Format

Issue - State: open - Opened by jmid almost 3 years ago

#33 - Use customizable equality in Lin

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

#32 - Add Fiber-interpretation of CmdSpec

Pull Request - State: closed - Opened by jmid almost 3 years ago

#31 - Generate smaller ints in Stack and Queue function arguments

Pull Request - State: closed - Opened by jmid almost 3 years ago

#30 - CI output adjustments, take 37

Pull Request - State: closed - Opened by jmid almost 3 years ago

#29 - Mark tests as negative in test source code

Issue - State: closed - Opened by jmid almost 3 years ago

#28 - Count both failures and errors in check_error_count

Pull Request - State: closed - Opened by jmid almost 3 years ago

#27 - add test for stdlib ephemeron module

Pull Request - State: closed - Opened by n-osborne almost 3 years ago - 3 comments

#26 - Clean up ws_deque test

Pull Request - State: closed - Opened by jmid almost 3 years ago

#25 - Fix domain_spawntree test failure on excessive spawns

Pull Request - State: closed - Opened by jmid almost 3 years ago

#24 - Increase reproducability of Lin Thread tests

Pull Request - State: closed - Opened by jmid almost 3 years ago

#23 - Avoid double cleanup in Lin

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

#22 - Remove Domainslib from STM.ml

Pull Request - State: closed - Opened by jmid almost 3 years ago

#21 - Remove domainslib pin

Pull Request - State: closed - Opened by jmid almost 3 years ago

#20 - Fix wrong filename in readme

Pull Request - State: closed - Opened by OlivierNicole almost 3 years ago - 1 comment

#19 - Put lin and stm in a single multicorecheck package

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

#18 - CI timeouts due to excessive shrinking

Issue - State: closed - Opened by jmid almost 3 years ago - 1 comment

#17 - Fix build instructions in readme

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

#16 - Negtest adjustments

Pull Request - State: closed - Opened by jmid almost 3 years ago

#15 - Switch to qcheck-alcotest?

Issue - State: closed - Opened by jmid almost 3 years ago - 3 comments

#14 - Add caching to CI scripts

Issue - State: closed - Opened by jmid almost 3 years ago - 1 comment

#13 - Add (failing) {In,Out}_channel linearization tests

Pull Request - State: closed - Opened by OlivierNicole almost 3 years ago - 1 comment

#12 - Remove dependency to ocamlbuild

Pull Request - State: closed - Opened by OlivierNicole almost 3 years ago - 1 comment

#11 - Protect exception by injecting them in result type

Pull Request - State: closed - Opened by n-osborne almost 3 years ago - 5 comments

#10 - Reenable domainslib/task_parallel.ml

Issue - State: closed - Opened by jmid almost 3 years ago

#9 - Unexpected double call of `cleanup` by Lin

Issue - State: closed - Opened by OlivierNicole almost 3 years ago - 1 comment

#8 - Spurious ocamlbuild pin?

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

#7 - Run and print dune CI tests sequentially - not in parallel.

Pull Request - State: closed - Opened by jmid almost 3 years ago

#6 - Add build instructions to readme

Pull Request - State: closed - Opened by OlivierNicole almost 3 years ago - 1 comment

#5 - Put Lin and STM libraries in a standalone package

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

#4 - fix printer for CList

Pull Request - State: closed - Opened by n-osborne almost 3 years ago

#3 - dune build errors

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

#2 - Linearizability tests for Queue and Stack module

Pull Request - State: closed - Opened by n-osborne almost 3 years ago - 1 comment

#1 - Tests linearizability with threads

Pull Request - State: closed - Opened by n-osborne almost 3 years ago - 1 comment

GitHub / ocaml-multicore/multicoretests issues and pull requests