Commits

History for

Commits on Aug 14, 2020

No reification test for empty constraint
zayenz
committed
8074282

Commits on Dec 4, 2018

Warning
chschulte
committed
8869f9e

Commits on Mar 22, 2018

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

Commits on Jun 27, 2016

Added channeling between Boolean and float var
Christian Schulte
committed
454590f
Construct float val array differently
Christian Schulte
committed
9bdc970

Commits on Apr 19, 2016

Delete trailing spaces
Christian Schulte
committed
2e0b1ee

Commits on Jan 20, 2015

Do not check for subsumption
Christian Schulte
committed
523ffc8

Commits on Mar 5, 2013

Domain constraints for floats
Christian Schulte
committed
4a9c5c0

Commits on Feb 12, 2013

Bug fixes.
Vincent Barichard
committed
87fa9d9

Commits on Feb 6, 2013

Float tests for minimodel
Christian Schulte
committed
9be39ad

Commits on Feb 4, 2013

Fixed a number of bugs in mini model for floats
Christian Schulte
committed
ba4d500

Commits on Jan 29, 2013

Fix inconsistencies
Christian Schulte
committed
b77dbca

Commits on Jan 25, 2013

Tests for refied constraints done
Christian Schulte
committed
cc62fb6

Commits on Jan 24, 2013

Linear done but reification tests not yet done
Christian Schulte
committed
f199b9f
Small fix
Christian Schulte
committed
55f0782

Commits on Jan 23, 2013

All comparisons embedded into test functions
Christian Schulte
committed
d9a3645
More cleanups
Christian Schulte
committed
6074c72
Simplify testing
Christian Schulte
committed
59b3f44

Commits on Jan 22, 2013

Encapsulate boost comparison exception
Christian Schulte
committed
a6e2fba

Commits on Dec 12, 2012

Uses FloatVal instead of FloatNum in FloatArgs. We now have FloatVal arrays
Vincent Barichard
committed
98da4d2

Commits on Aug 17, 2012

Added pow and nroot constraints (not yet fully done)
Christian Schulte
committed
fd94901

Commits on Jul 30, 2012

Add float tests for linear, relational and channel constraints.
Vincent Barichard
committed
8cab69f

Commits on Jul 27, 2012

More float arithmetic tests.
Vincent Barichard
committed
d19a88e
More transcendental tests.
Vincent Barichard
committed
bae2771
Fix for compiling without MPFR.
Vincent Barichard
committed
5d626ae
Add trigonometric tests.
Vincent Barichard
committed
a836936

Commits on Jul 20, 2012

Add of transcendental tests.
Vincent Barichard
committed
92d40a3
Add of arithmetic tests.
Vincent Barichard
committed
397488a

Commits on Apr 5, 2012

Add first tests on floats.
Vincent Barichard
committed
d86927e

Loading