Commits · beta · Valentin Touzeau / lruzdd

17 Oct, 2019 1 commit
- Last minute fix · 97aee0b2
  otawa authored Oct 17, 2019
  
  97aee0b2
19 Sep, 2019 1 commit
- Merge branch 'dev' into beta · be178392
  otawa authored Sep 19, 2019
  
  be178392
11 Jul, 2019 1 commit
- update otawa · ca015ae4
  Valentin Touzeau authored Jul 11, 2019
  
  ca015ae4
25 Apr, 2019 2 commits
- Improves chrono resolution · e424a28f
  Valentin Touzeau authored Apr 25, 2019
  
  e424a28f
- Fix update · f76d0562
  Valentin Touzeau authored Apr 25, 2019
  
  f76d0562
24 Apr, 2019 1 commit
- Update Cudd version and remove libextra dependency · 6cef8b44
  Valentin Touzeau authored Apr 24, 2019
  
  6cef8b44
02 Apr, 2019 2 commits
- Refactoring WIP · 65046374
  Valentin Touzeau authored Apr 02, 2019
  
  65046374
- Refactoring · 92f2ec6f
  Valentin Touzeau authored Apr 02, 2019
  
  92f2ec6f
19 Feb, 2019 1 commit
- Break dependency on lrumc · c76bc86b
  EXT Valentin Touzeau authored Feb 19, 2019
  
  c76bc86b
20 Dec, 2018 1 commit
- Rename dependency module · 0b38dcc5
  EXT Valentin Touzeau authored Dec 20, 2018
  
  0b38dcc5
09 Dec, 2018 2 commits
- Rename module · b9d3201d
  EXT Valentin Touzeau authored Dec 09, 2018
  
  b9d3201d
- Fix install and update for last otawa version · 7bb6edb5
  Valentin Touzeau authored Dec 09, 2018
  
  7bb6edb5
08 Dec, 2018 1 commit
- Fix CMakeLists.txt · 74065911
  Valentin Touzeau authored Dec 08, 2018 and EXT Valentin Touzeau committed Dec 08, 2018
  
  74065911
07 Dec, 2018 1 commit
- Fix CMakeLists.txt · 9da114e4
  Valentin Touzeau authored Dec 07, 2018 and EXT Valentin Touzeau committed Dec 07, 2018
  
  9da114e4
25 Nov, 2018 2 commits
- Fix CMakeLists.txt to build out of sources · cd90f842
  Valentin Touzeau authored Nov 25, 2018 and EXT Valentin Touzeau committed Nov 25, 2018
  
  cd90f842
- Fix cudd and libextra compilation · ca0b154c
  Valentin Touzeau authored Nov 25, 2018 and EXT Valentin Touzeau committed Nov 25, 2018
  
  ca0b154c
15 Nov, 2018 1 commit
- bug fix · 76e7afa8
  Valentin Touzeau authored Nov 15, 2018 and EXT Valentin Touzeau committed Nov 15, 2018
  
  76e7afa8
09 Nov, 2018 1 commit
- Fix bug in minDotProduct · 263d0b71
  Valentin Touzeau authored Nov 09, 2018 and EXT Valentin Touzeau committed Nov 09, 2018
  
  263d0b71
27 Jun, 2018 3 commits
- Adds global ZDD analysis · 95f1c9f9
  Valentin Touzeau authored Jun 27, 2018 and EXT Valentin Touzeau committed Jun 27, 2018
  
  95f1c9f9
- Adds supports for single zdd manager · 19c2915e
  Valentin Touzeau authored Jun 27, 2018 and EXT Valentin Touzeau committed Jun 27, 2018
  
  19c2915e
- Removes useless old code · 21231a3a
  Valentin Touzeau authored Jun 27, 2018 and EXT Valentin Touzeau committed Jun 27, 2018
  
  21231a3a
26 Jun, 2018 1 commit
- Adds time · 5f5d54bc
  Valentin Touzeau authored Jun 26, 2018 and EXT Valentin Touzeau committed Jun 26, 2018
  
  5f5d54bc
22 Jun, 2018 1 commit
- WIP · 9610e24b
  Valentin Touzeau authored Jun 22, 2018 and EXT Valentin Touzeau committed Jun 22, 2018
  
  9610e24b
13 Jun, 2018 2 commits
- Adds ZddMinDotProduct operator · b0ce5e43
  Valentin Touzeau authored Jun 13, 2018 and EXT Valentin Touzeau committed Jun 13, 2018
  
  b0ce5e43
- Adds cleaning · 8aca80cb
  Valentin Touzeau authored Jun 13, 2018 and EXT Valentin Touzeau committed Jun 13, 2018
  
  8aca80cb
03 Jun, 2018 1 commit
- WIP · e3b87b2a
  Valentin Touzeau authored Jun 03, 2018 and EXT Valentin Touzeau committed Jun 03, 2018
  
  e3b87b2a
02 Jun, 2018 1 commit
- WIP · 415a43ed
  Valentin Touzeau authored Jun 02, 2018 and EXT Valentin Touzeau committed Jun 02, 2018
  
  415a43ed
01 Jun, 2018 2 commits
- WIP: refactoting code using policies · 65a44447
  Valentin Touzeau authored Jun 01, 2018 and EXT Valentin Touzeau committed Jun 01, 2018
  
  65a44447
- WIP · b45b9bf2
  Valentin Touzeau authored Jun 01, 2018 and EXT Valentin Touzeau committed Jun 01, 2018
  
  b45b9bf2
31 May, 2018 1 commit
- WIP · bd2fad60
  Valentin Touzeau authored May 31, 2018 and EXT Valentin Touzeau committed May 31, 2018
  
  bd2fad60
04 May, 2018 2 commits
- Adds support for Cudd and Extra libraries · dc1af59f
  Valentin Touzeau authored May 04, 2018
  
  dc1af59f
- Copy form lrumc · 9a24ed1c
  Valentin Touzeau authored May 04, 2018
  
  9a24ed1c
18 Jan, 2018 1 commit
- Corrects MC models · fe6791b8
  Valentin Touzeau authored Jan 18, 2018
  
  fe6791b8
17 Jan, 2018 1 commit
- Initial commit · d4d8549c
  Valentin Touzeau authored Jan 17, 2018
  
  d4d8549c