Commits · c590b339703b6e98f90cd71a5574ceedb994e008 · LARA / inox

Oct 26, 2015
- Fix ugliness in InterruptManager · c590b339
  Manos Koukoutos authored 9 years ago
  
  c590b339
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
Apr 15, 2015
- Better interrupt handling · 4e238ff0
  Manos Koukoutos authored 10 years ago
  4e238ff0
Mar 18, 2015
- Fix a bunch of style/actual issues · 827a6535
  Manos Koukoutos authored 10 years ago
  
  827a6535
Feb 12, 2015
- --timeout is for entire repair now · 1cef4fa5
  Etienne Kneuss authored 10 years ago
  
  1cef4fa5
- Cost Distributions become Histograms · c9358c44
  Etienne Kneuss authored 10 years ago
  
  c9358c44
Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
Feb 13, 2014
- Make sure that we don't register an interruptible while interrupting · e282315a
  Etienne Kneuss authored 11 years ago
  
  e282315a
Oct 16, 2013
- Remove deprecated accesses, update scalaz3, improve cancellation · 96895abc
  Etienne Kneuss authored 11 years ago
  
  96895abc
Sep 12, 2013
- Minor renamings. · 9f21f5f9
  Philippe Suter authored 11 years ago
  
  9f21f5f9
- Refactor Solvers · f374e736
  Etienne Kneuss authored 11 years ago
  f374e736
- Refactor handling of interruptions · b0174971
  Etienne Kneuss authored 11 years ago
  
  b0174971