Commits

Commit history

1. Commits on Jul 14, 2026

   • Preserve float median semantics safely

     zayenz

     committed
     a8fb115View commit details

     Copy full SHA for a8fb115

     View code at this pointBrowse repository at this point

   • Avoid overflow in float interval medians

     zayenz

     committed
     e7df0aeView commit details

     Copy full SHA for e7df0ae

     View code at this pointBrowse repository at this point
2. Commits on Jul 10, 2026

   • Fix float arithmetic edge cases

     Show description for 466afde
     zayenz

     committed
     466afdeView commit details

     Copy full SHA for 466afde

     View code at this pointBrowse repository at this point
3. Commits on Jul 7, 2026

   • guard float pow even-root inverse intervals

     zayenz

     committed
     78331baView commit details

     Copy full SHA for 78331ba

     View code at this pointBrowse repository at this point

   • guard float nroot zero anchored intervals

     zayenz

     committed
     a68c8b7View commit details

     Copy full SHA for a68c8b7

     View code at this pointBrowse repository at this point

   • fix float multiplication interval contraction

     zayenz

     committed
     98ed2b3View commit details

     Copy full SHA for 98ed2b3

     View code at this pointBrowse repository at this point

   • fix float pow nroot fixpoint scheduling

     zayenz

     committed
     4c1dec3View commit details

     Copy full SHA for 4c1dec3

     View code at this pointBrowse repository at this point

   • refresh doxygen compatibility output

     zayenz

     committed
     837739dView commit details

     Copy full SHA for 837739d

     View code at this pointBrowse repository at this point
4. Commits on Jul 6, 2026

   • meta: update project contact domain

     zayenz

     committed
     9702b5dView commit details

     Copy full SHA for 9702b5d

     View code at this pointBrowse repository at this point
5. Commits on Mar 15, 2024

   • Fix typos.

     

     waywardmonkeys

     authored and

     zayenz

     committed
     f7f0d7cView commit details

     Copy full SHA for f7f0d7c

     View code at this pointBrowse repository at this point
6. Commits on Sep 28, 2023

   • Fix typos.

     

     waywardmonkeys

     authored and

     zayenz

     committed
     8d3cdecView commit details

     Copy full SHA for 8d3cdec

     View code at this pointBrowse repository at this point
7. Commits on Jun 26, 2020

   • Avoid reserved identifier names

     Show description for 4e4529e
     zayenz

     committed
     4e4529eView commit details

     Copy full SHA for 4e4529e

     View code at this pointBrowse repository at this point
8. Commits on May 8, 2020

   • Avoid double underscorde in include guards

     Show description for 3ca2ff8
     zayenz

     committed
     3ca2ff8View commit details

     Copy full SHA for 3ca2ff8

     View code at this pointBrowse repository at this point
9. Commits on Aug 30, 2019

   • Do not use NULL

     chschulte

     committed
     7b7eb9eView commit details

     Copy full SHA for 7b7eb9e

     View code at this pointBrowse repository at this point
10. Commits on Apr 15, 2019

    • Configure whether to use propagation and/or failure for action

      chschulte

      committed
      d672fd6View commit details

      Copy full SHA for d672fd6

      View code at this pointBrowse repository at this point
11. Commits on Mar 6, 2019

    • Support variable selection criteria for assigning variables during search

      chschulte

      committed
      c3ece81View commit details

      Copy full SHA for c3ece81

      View code at this pointBrowse repository at this point
12. Commits on Oct 16, 2018

    • Fix exception message

      chschulte

      committed
      9c78563View commit details

      Copy full SHA for 9c78563

      View code at this pointBrowse repository at this point

    • Use == instead of same

      chschulte

      committed
      ab55191View commit details

      Copy full SHA for ab55191

      View code at this pointBrowse repository at this point

    • Replaced before() by <

      chschulte

      committed
      6fe03f6View commit details

      Copy full SHA for 6fe03f6

      View code at this pointBrowse repository at this point

    • Use == and != for comparing views

      chschulte

      committed
      dbab72cView commit details

      Copy full SHA for dbab72c

      View code at this pointBrowse repository at this point

    • Initializer lists for variable argument arrays

      chschulte

      committed
      d162708View commit details

      Copy full SHA for d162708

      View code at this pointBrowse repository at this point
13. Commits on May 21, 2018

    • Now all float constraints restrict their variable domains when being posted

      

      Christian Schulte

      committed
      4357d15View commit details

      Copy full SHA for 4357d15

      View code at this pointBrowse repository at this point
14. Commits on May 18, 2018

    • Fixed very bad coding style

      

      Christian Schulte

      committed
      c94649fView commit details

      Copy full SHA for c94649f

      View code at this pointBrowse repository at this point

    • Fixed printing of float values and variables

      

      Christian Schulte

      committed
      e09ac91View commit details

      Copy full SHA for e09ac91

      View code at this pointBrowse repository at this point
15. Commits on Mar 22, 2018

    • Remove svn-specific last modified info

      

      Christian Schulte

      committed
      8207f7fView commit details

      Copy full SHA for 8207f7f

      View code at this pointBrowse repository at this point
16. Commits on Sep 29, 2017

    • Coefficients in linear are not allowed to have mixed signs

      Show description for 1539408
      

      Christian Schulte

      committed
      1539408View commit details

      Copy full SHA for 1539408

      View code at this pointBrowse repository at this point
17. Commits on Sep 28, 2017

    • Check for overflow in linear

      Show description for e663f35
      

      Christian Schulte

      committed
      e663f35View commit details

      Copy full SHA for e663f35

      View code at this pointBrowse repository at this point
18. Commits on Jul 4, 2017

    • Fix for tracing

      Show description for bbc9d72
      

      Christian Schulte

      committed
      bbc9d72View commit details

      Copy full SHA for bbc9d72

      View code at this pointBrowse repository at this point
19. Commits on Jun 19, 2017

    • Added sharing for AFC

      Show description for 689b92b
      

      Christian Schulte

      committed
      689b92bView commit details

      Copy full SHA for 689b92b

      View code at this pointBrowse repository at this point
20. Commits on May 30, 2017

    • Cleaned up directory structure in kernel and search

      Show description for a38dae8
      

      Christian Schulte

      committed
      a38dae8View commit details

      Copy full SHA for a38dae8

      View code at this pointBrowse repository at this point
21. Commits on May 10, 2017

    • Removed Boolean sharing argument during cloning

      Show description for 979e6e3
      

      Christian Schulte

      committed
      979e6e3View commit details

      Copy full SHA for 979e6e3

      View code at this pointBrowse repository at this point
22. Commits on Apr 10, 2017

    • More rational structure

      Show description for 62727e8
      

      Christian Schulte

      committed
      62727e8View commit details

      Copy full SHA for 62727e8

      View code at this pointBrowse repository at this point
23. Commits on Apr 4, 2017

    • Use FloatVal as rhs in linear

      Show description for 18d191e
      

      Christian Schulte

      committed
      18d191eView commit details

      Copy full SHA for 18d191e

      View code at this pointBrowse repository at this point
24. Commits on Apr 1, 2017

    • Re-added branch filter functions (witha better implementation, though)

      Show description for 7411488
      

      Christian Schulte

      committed
      7411488View commit details

      Copy full SHA for 7411488

      View code at this pointBrowse repository at this point
25. Commits on Mar 18, 2017

    • Fix for float test in linear.

      Show description for 434e3f2
      

      Vincent Barichard

      committed
      434e3f2View commit details

      Copy full SHA for 434e3f2

      View code at this pointBrowse repository at this point