8000 Tags · ocaml-multicore/dscheck · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: ocaml-multicore/dscheck

Tags

0.5.0

Toggle 0.5.0's commit message 
Release 0.5.0

CHANGES:

- Add Atomic.make_contended (@lyrm, review : @polytypic)

0.4.0

Toggle 0.4.0's commit message 
Release 0.4.0

CHANGES:

- Made (empty) package available on OCaml 4 (@polytypic, review: @lyrm)

0.3.0

Toggle 0.3.0's commit message 
Release 0.3.0

CHANGES:

* Granular dependency relation (@bartoszmodelski, review: @lyrm)

0.2.0

Toggle 0.2.0's commit message 
Release 0.2.0

CHANGES:

* Source sets (@bartoszmodelski, review: @lyrm, @art-w)
* Better traces (@bartoszmodelski, review: @lyrm, @art-w)
* Test generation (@bartoszmodelski, review: @lyrm)
* New README (@bartoszmodelski, review: @lyrm, @Sudha247)

0.1.1

Toggle 0.1.1's commit message 
Release 0.1.1

CHANGES:

* Fix continuations leak (@bartoszmodelski, review: @polytypic)

0.1.0

Toggle 0.1.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #6 from bartoszmodelski/update-opam

Update opam with new org
0