Commits

Show all
Author Commit Message Labels Comments Date
Jean-Marie Gaillourdet
provisional fix of the concurrent initialization issue and refactoring to sole registry without store
Branches
bug-1
Jean-Marie Gaillourdet
preliminary addition of MVars
Branches
bug-1
Jean-Marie Gaillourdet
followed hlint suggestions
Branches
bug-1
Jean-Marie Gaillourdet
added runtests.sh script
Branches
bug-1
Jean-Marie Gaillourdet
fixed initialization race condition
Branches
bug-1
Jean-Marie Gaillourdet
this version seems to work
Branches
bug-1
Jean-Marie Gaillourdet
split bijectivity property into two directions in order to investigate non-determinism
Branches
bug-1
Jean-Marie Gaillourdet
added MVar variant of GVar
Branches
default
Jean-Marie Gaillourdet
test properties adapted
Branches
default
Jean-Marie Gaillourdet
added bb urls to cabal file
Branches
default
Jean-Marie Gaillourdet
cabal file renamed and filled
Branches
default
Jean-Marie Gaillourdet
changed module layout to support different kinds of GVars
Branches
default
Jean-Marie Gaillourdet
tests and builds improved
Branches
default
Jean-Marie Gaillourdet
initial version
Branches
default