Skip to content

Split Lin package #164

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

Merged
merged 6 commits into from
Nov 16, 2022
Merged

Split Lin package #164

Show file tree
Hide file tree
Changes from 3 commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
731293f
Split up Lin modules to separate threads, domains and effects
shym Nov 14, 2022
6059efc
Fix Lin libraries after split
shym Nov 14, 2022
ddf2e9b
Adapt the multicore tests to the new Lin interface
shym Nov 14, 2022
1b4d477
Adapt the example Lin test to the new interface
shym Nov 15, 2022
0ddb5a9
Fix an occurrence of Lin_api in comment
shym Nov 15, 2022
fd1e200
Rename "Lin_api" into "Lin DSL" in test descriptions
shym Nov 15, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
27 changes: 22 additions & 5 deletions lib/dune
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,11 +23,28 @@
(libraries threads qcheck-core STM_base))

(library
(name lin)
(wrapped false)
(public_name qcheck-lin)
(modules lin lin_api)
(libraries threads qcheck-core qcheck-core.runner qcheck-multicoretests-util))
(name lin_base)
(public_name qcheck-lin.base)
(modules lin_internal lin_common lin_base)
(libraries qcheck-core qcheck-core.runner qcheck-multicoretests-util))

(library
(name lin_domain)
(public_name qcheck-lin.domain)
(modules lin_domain)
(libraries qcheck-core qcheck-core.runner qcheck-multicoretests-util qcheck-lin.base))

(library
(name lin_effect)
(public_name qcheck-lin.effect)
(modules lin_effect)
(libraries qcheck-core qcheck-core.runner qcheck-multicoretests-util qcheck-lin.base))

(library
(name lin_thread)
(public_name qcheck-lin.thread)
(modules lin_thread)
(libraries threads qcheck-core qcheck-core.runner qcheck-multicoretests-util qcheck-lin.base))

(library
(name util)
Expand Down
325 changes: 0 additions & 325 deletions lib/lin.ml
View file
Open in desktop

This file was deleted.

3 changes: 3 additions & 0 deletions lib/lin_base.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
module Lin_internal = Lin_internal
module Lin_common = Lin_common
include Lin_common
4 changes: 1 addition & 3 deletions lib/lin_api.ml → lib/lin_common.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -140,7 +140,7 @@ module type ApiSpec = sig
val api : (int * t elem) list
end

module MakeCmd (ApiSpec : ApiSpec) : Lin.CmdSpec = struct
module MakeCmd (ApiSpec : ApiSpec) : Lin_internal.CmdSpec = struct

type t = ApiSpec.t

Expand Down Expand Up @@ -333,5 +333,3 @@ module MakeCmd (ApiSpec : ApiSpec) : Lin.CmdSpec = struct
Res (rty, apply_f f args state)

end

module Make (ApiSpec : ApiSpec) = Lin.Make (MakeCmd (ApiSpec))
7 changes: 1 addition & 6 deletions lib/lin_api.mli → lib/lin_common.mli
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -237,11 +237,6 @@ module type ApiSpec =

(** {1 Generation of linearizability testing module from an API} *)

module MakeCmd : functor (ApiSpec : ApiSpec) -> Lin.CmdSpec
module MakeCmd : functor (Spec : ApiSpec) -> Lin_internal.CmdSpec
(** Functor to map a combinator-based module signature description
into a raw [Lin] description *)

module Make :
functor (ApiSpec : ApiSpec) -> module type of Lin.Make (MakeCmd (ApiSpec))
(** Functor to create linearizability tests from an combinator-based module
signature description *)
Loading