Commits · 6f1cfdbba9e2a694c61b04c66f5191183d2228c5 · EYRAUD-DUBOIS Lionel / pmtool

16 May, 2022 1 commit
- Version B of HLP, proposed by Vincent Fagnon · 6f1cfdbb
  EYRAUD-DUBOIS Lionel authored May 16, 2022
```
From https://arxiv.org/abs/1912.03088
```
  6f1cfdbb
11 Dec, 2017 1 commit
- Better integer types in Bounds · 5e6081f8
  EYRAUD-DUBOIS Lionel authored Dec 11, 2017
  
  5e6081f8
08 Dec, 2017 1 commit
- Correct sharing allocation for hybrid bounds (area and dep) · 6ab9e95b
  EYRAUD-DUBOIS Lionel authored Dec 08, 2017
  
  6ab9e95b
06 Dec, 2017 1 commit
- Move to CMake. Incidentally, closes #26 · 2f8d21f6
  EYRAUD-DUBOIS Lionel authored Dec 06, 2017
  
  2f8d21f6
04 Oct, 2017 1 commit
- [Feature] Now DepBound shares an [alloc] data, rounded at 0.5 by default. · 34362ee4
  EYRAUD-DUBOIS Lionel authored Oct 04, 2017
  
  34362ee4
10 Feb, 2017 1 commit
- depbound: Change verbosity, add a TryHard feature · d156b073
  EYRAUD-DUBOIS Lionel authored Feb 10, 2017
  
  d156b073
06 Dec, 2016 1 commit
- Now option mode in DepBound to use the Cplex concurrent mode · 384cf8f0
  EYRAUD-DUBOIS Lionel authored Dec 06, 2016
  
  384cf8f0
13 Jun, 2016 3 commits
- IterDep in order · fa1bd49c
  EYRAUD-DUBOIS Lionel authored Jun 13, 2016
  
  fa1bd49c
- Compilation fixes. DepBound seems to work · a58cae3b
  EYRAUD-DUBOIS Lionel authored Jun 13, 2016
  
  a58cae3b
- Added DepBound · 94ef6246
  EYRAUD-DUBOIS Lionel authored Jun 13, 2016
  
  94ef6246