Skip to content
  • Ralf Sasse's avatar
    Release commit: · a631d75f
    Ralf Sasse authored
    * version number to 1.6.0
    
    * updated CHANGE log
    
    Note that some csf18-xor case studies take significantly longer due to a bugfix; this is known and acceptable.
    
    One example in csf12 already did not run in 1.4.1 and is renamed so it does not get run again when producing releases.
    a631d75f
To find the state of this project's repository at the time of any of these versions, check out the tags.
Loading