Commits

Show all
Author Commit Message Labels Comments Date
Jean-Marie Gaillourdet
experimental version which uses an associative list to store types
Branches
list-map
Jean-Marie Gaillourdet
experimental compatibility to GHC 7.0 and before
Branches
default
Jean-Marie Gaillourdet
a version without known initialization issues and without IORef and TVar modules
Branches
default
Jean-Marie Gaillourdet
followed hlint suggestions
Branches
default
Jean-Marie Gaillourdet
added runtests.sh
Branches
default
Jean-Marie Gaillourdet
merged bug-fix to race-condition
Branches
default
Jean-Marie Gaillourdet
fixed initialization race condition There are two necessary parts to the fix. - The map stored in the registry MVar has to forced before the creation of the MVar. - declare has to repeat the actual lookup until two successive accesses are successful. Beware of common subexpression elimination!
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