Commits

History for

Commits on Aug 30, 2019

Do not use NULL
chschulte
committed
7b7eb9e

Commits on Mar 22, 2018

Remove svn-specific last modified info
Christian Schulte
committed
8207f7f

Commits on Apr 19, 2016

Delete trailing spaces
Christian Schulte
committed
2e0b1ee

Commits on Oct 13, 2009

Blow up faltzinc. No make threads and timers always usable
Christian Schulte
committed
b45aeac

Commits on Sep 7, 2009

Pthreads
Christian Schulte
committed
f40529c
Thread pool (not sure about pthreads)
Christian Schulte
committed
4b5feaf
Do not create threads, just run runnable objects
Christian Schulte
committed
0a5d1b0

Commits on May 20, 2009

Fix from Denys
Christian Schulte
committed
7893589

Commits on May 6, 2009

More inlining
Christian Schulte
committed
2abb282

Commits on May 3, 2009

Delegate worker deletion to thread
Christian Schulte
committed
b91f8fd

Commits on May 1, 2009

Minor
Christian Schulte
committed
86f462c
More
Christian Schulte
committed
cd39cfe

Commits on Apr 30, 2009

Some leftover stuff
Christian Schulte
committed
4f94cb1

Commits on Apr 24, 2009

Split up
Christian Schulte
committed
003595c

Loading