tuulos (at gmail)'s profile - disco

tuulos (at gmail)

/ www.cs.helsinki.fi/u/tuulos/

Strengthen an existing spec and add s... was committed by Kostis Sagonas
Wednesday Dec 07

Commit [bd3c49a4bf3373d2d682e8e438ebb176bb9c0a3f]
changeset
Introduce named types for commonly us... was committed by Kostis Sagonas 03:54 PM
Commit [5493f70c18f072ca574ced979a0178a2bd860105]
changeset
Fix erroneous spec and change bool() ... was committed by Kostis Sagonas 03:54 PM
Commit [d7a952cb6ff7e2877c3de54109ade8ee9188e9e4]
changeset
Strenthen some specs https://github.c... was committed by Kostis Sagonas 03:54 PM
Commit [2903a1db464b127b456ddf1843eaca951c1273ad]
changeset
Strenthen some specs https://github.c... was committed by Kostis Sagonas 03:54 PM
Commit [ba2f736dcef215386306acf3ffeaefc0a323be95]
changeset
Strenthen some specs https://github.c... was committed by Kostis Sagonas 03:54 PM
Commit [e95e5364435fad8aafd6a2add63b3a25d200dcef]
changeset
Strengthen a spec to shut off a behav... was committed by Kostis Sagonas 03:54 PM
Commit [367d7225f02898f549a6272f098b7c2e192f93c1]
changeset
Merge branch 'discoproject' into prop... was committed by Prashanth Mundkur
Wednesday Nov 23

Commit [bfaf59b7ff7cc7807c097d334e4d84c0e97e8d2b]
changeset
Merge branch 'ddfs-du' into devel htt... was committed by Prashanth Mundkur 04:22 PM
Commit [40b2fc97be852597041a1287cc37dc10ff559c73]
changeset
Change tests to use PropEr instead of... was committed by Kostis Sagonas 04:00 PM
Commit [200ca4afef9851139b122928e409d1d3186be646]
changeset

« Previous 1 2 … 122 123 124 125 126 127 128 129 130 … 270 271 Next »

tuulos (at gmail)'s Projects

6 disco / Disco - Map/Reduce framework for distributed computing