Commits

History for

Commits on Oct 16, 2018

Replaced before() by <
chschulte
committed
6fe03f6
Use == and != for comparing views
chschulte
committed
dbab72c

Commits on May 18, 2018

Fixed printing of float values and variables
Christian Schulte
committed
e09ac91

Commits on Mar 22, 2018

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

Commits on May 10, 2017

Removed Boolean sharing argument during cloning
Christian Schulte
committed
979e6e3

Commits on Jan 24, 2013

Linear done but reification tests not yet done
Christian Schulte
committed
f199b9f

Commits on Dec 13, 2012

Simplification of reification.
Vincent Barichard
committed
cf68c6f

Commits on Apr 6, 2012

width is size, median is med, lower is min, upper is max
Christian Schulte
committed
8f9e9ee

Commits on Apr 2, 2012

Removed nq for float views, and fixed all propagators that used it to wait for assignment and check instead
guidotack
committed
414fcc7

Commits on Mar 29, 2012

MPFR confined to float library
Christian Schulte
committed
fa38702

Commits on Mar 28, 2012

Fix headers (copyright).
Vincent Barichard
committed
84b4cc0

Commits on Mar 27, 2012

Partial header fixes (the original copyright must be restored)
Christian Schulte
committed
9c98b0f
Floats coming soon
Christian Schulte
committed
70defaa

Loading