Commits

Commit history

1. 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
2. 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
3. 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
4. Commits on Sep 11, 2015

   • IntConLevel is IntPropLevel now

     Show description for 0662590
     

     Christian Schulte

     committed
     0662590View commit details

     Copy full SHA for 0662590

     View code at this pointBrowse repository at this point
5. Commits on Mar 17, 2015

   • All scripts must call a constructor with options

     Show description for 72fbdf9
     

     Christian Schulte

     committed
     72fbdf9View commit details

     Copy full SHA for 72fbdf9

     View code at this pointBrowse repository at this point
6. Commits on Jul 8, 2013

   • No-good limit can be controlled from commandline and is stored in path

     Show description for c9f679f
     

     Christian Schulte

     committed
     c9f679fView commit details

     Copy full SHA for c9f679f

     View code at this pointBrowse repository at this point
7. Commits on Jul 4, 2013

   • Added no-goods from restarts

     Show description for d958a4f
     

     Christian Schulte

     committed
     d958a4fView commit details

     Copy full SHA for d958a4f

     View code at this pointBrowse repository at this point
8. Commits on Sep 7, 2012

   • New branch interface (changelog comes later)

     Show description for 7e3aa17
     

     Christian Schulte

     committed
     7e3aa17View commit details

     Copy full SHA for 7e3aa17

     View code at this pointBrowse repository at this point
9. Commits on Jun 3, 2012

   • Minor fixes

     Show description for 47b7046
     

     Christian Schulte

     committed
     47b7046View commit details

     Copy full SHA for 47b7046

     View code at this pointBrowse repository at this point
10. Commits on Oct 7, 2010

    • Removed dead stress test from docs

      Show description for ce990cf
      

      Christian Schulte

      committed
      ce990cfView commit details

      Copy full SHA for ce990cf

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

    • Introduced non-linear expressions as an additional leaf node on linear expressions.

      Show description for 19cf6c7
      guidotack

      committed
      19cf6c7View commit details

      Copy full SHA for 19cf6c7

      View code at this pointBrowse repository at this point
12. Commits on May 13, 2009

    • Removed median splitting

      Show description for ca24052
      guidotack

      committed
      ca24052View commit details

      Copy full SHA for ca24052

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

    • Two ways of splitting a domain, either at mean or at median

      Show description for 8334d1c
      guidotack

      committed
      8334d1cView commit details

      Copy full SHA for 8334d1c

      View code at this pointBrowse repository at this point
14. Commits on Apr 2, 2009

    • Examples are still examples

      Show description for 71cf821
      

      Christian Schulte

      committed
      71cf821View commit details

      Copy full SHA for 71cf821

      View code at this pointBrowse repository at this point
15. Commits on Mar 27, 2009

    • Examples use drive now

      Show description for 37cda19
      

      Christian Schulte

      committed
      37cda19View commit details

      Copy full SHA for 37cda19

      View code at this pointBrowse repository at this point
16. Commits on Feb 27, 2009

    • Make printing const, and inspectors get a const Space& argument

      Show description for 95eba44
      guidotack

      committed
      95eba44View commit details

      Copy full SHA for 95eba44

      View code at this pointBrowse repository at this point
17. Commits on Feb 2, 2009

    • Consistent example headlines

      Show description for 66a9a73
      

      Christian Schulte

      committed
      66a9a73View commit details

      Copy full SHA for 66a9a73

      View code at this pointBrowse repository at this point
18. Commits on Jan 20, 2009

    • Cleaned

      Show description for e1af53e
      

      Christian Schulte

      committed
      e1af53eView commit details

      Copy full SHA for e1af53e

      View code at this pointBrowse repository at this point
19. Commits on Sep 3, 2008

    • Use include <...> instead of include "..."

      Show description for ca00dc6
      guidotack

      committed
      ca00dc6View commit details

      Copy full SHA for ca00dc6

      View code at this pointBrowse repository at this point
20. Commits on Aug 22, 2008

    • Renamed .cc files to .cpp and .icc to .hpp, as .icc is typically not associated with C++ header files.

      Show description for 259aae8
      guidotack

      committed
      259aae8View commit details

      Copy full SHA for 259aae8

      View code at this pointBrowse repository at this point
21. Loading