Commits · cache · OTAWA-plugins / WSymb · GitLab

Snippets Groups Projects

Feb 05, 2021
- correct wrong loop_id for instruction cache block · a829d69c
  Grebant Sandro authored 4 years ago
  
  a829d69c
Jan 12, 2021
- disabled logging for instruction cache behavior · 139bb647
  Grebant Sandro authored 4 years ago
  
  139bb647
- cleaning code after null else management · 395796ce
  Grebant Sandro authored 4 years ago
  
  395796ce
- Merge branch 'master' into cache · f188ae4c
  Grebant Sandro authored 4 years ago
  
  f188ae4c
- managing if without else (previously behavior was a segfault) · ec0fcee0
  Grebant Sandro authored 4 years ago
  
  ec0fcee0
Jan 11, 2021
- Update for bug fix a98a94fb · 91e9ef66
  Forget Julien authored 4 years ago
  
  91e9ef66
- Bug fix: generate a placeholder for field awcet_s.eta. The size · 440ddfcb
  Forget Julien authored 4 years ago
  440ddfcb
Nov 18, 2020
- add comments + changed flag position into the CacheMutator class (it has more sense this way) · 8fdde58e
  Grebant Sandro authored 4 years ago
  
  8fdde58e
Nov 16, 2020
- add cache activation flag · 58839fcc
  Grebant Sandro authored 4 years ago
  
  58839fcc
Nov 10, 2020
- update gitignore for full project build · 8c208688
  Grebant Sandro authored 4 years ago
  
  8c208688
- add cache modifications to repo · d1e3fbd3
  Grebant Sandro authored 4 years ago
  
  d1e3fbd3
- correct vs ignore · ebe83e7a
  Grebant Sandro authored 4 years ago
  
  ebe83e7a
- add gitignore for vscode · f30d104c
  Grebant Sandro authored 4 years ago
  
  f30d104c
May 05, 2020
- Added doc on how to use procedures that have a parametric WCET. · 4bea62a2
  Forget Julien authored 5 years ago
  
  4bea62a2
Apr 30, 2020
- fix · b28f090f
  Ballabriga Clément authored 5 years ago
  
  b28f090f
- support fonctions parametriques · 3951c030
  Ballabriga Clément authored 5 years ago
  
  3951c030
Apr 13, 2020
- Merge branch 'master' of gitlab.cristal.univ-lille.fr:otawa-plugins/WSymb · 4c6abaa6
  Forget Julien authored 5 years ago
  
  4c6abaa6
- Bug fix: remove unnecessary comma when printing a wlist with · a98a94fb
  Forget Julien authored 5 years ago
  a98a94fb
Apr 10, 2020
- Add support for empty values in PWF output · 74d6af08
  Ballabriga Clément authored 5 years ago
  
  74d6af08
- Merge branch 'master' of gitlab.cristal.univ-lille.fr:otawa-plugins/WSymb · 948e5c25
  Ballabriga Clément authored 5 years ago
  
  948e5c25
- Fix crash in dumpcft · 175a026f
  Ballabriga Clément authored 5 years ago
  
  175a026f
- Correction on parameter id. · 88d76aaf
  Forget Julien authored 5 years ago
  
  88d76aaf
- Renamed CFTExtractor to WSymb in licensing headers. · 7a54468f
  Forget Julien authored 5 years ago
  
  7a54468f
- A single README, updated in accordance to the latest modifications. · 61b87b33
  Forget Julien authored 5 years ago
  
  61b87b33
- Removed unused loop bound initialization. · 52cbcdca
  Forget Julien authored 5 years ago
  
  52cbcdca
Apr 09, 2020
- Don't print a case: in loop_bounds(...) for symbolic loop bounds. · 0c97c20f
  Forget Julien authored 5 years ago
  
  0c97c20f
- Mrfgrrrr. · ee50ac3c
  Forget Julien authored 5 years ago
  
  ee50ac3c
- Woups, messed parametric loop bounds up in power. · f2fa5ba0
  Forget Julien authored 5 years ago
  
  f2fa5ba0
- Bug fix: opdata for power is loop_id not loop_bound. · 888f3806
  Forget Julien authored 5 years ago
  
  888f3806
Apr 07, 2020
- verbose off sur dumpcft · e77e98eb
  Clement B authored 5 years ago
  e77e98eb
- Use -o option of swymplify. · 1e194aef
  Forget Julien authored 5 years ago
  
  1e194aef
- Added option to specify output file name. · 7f057804
  Forget Julien authored 5 years ago
  
  7f057804
- argv fix for dumpcft (header file arg is now unused). · 4b173c06
  Forget Julien authored 5 years ago
  
  4b173c06
- Sorry, my bad. · 594926d3
  Forget Julien authored 5 years ago
  
  594926d3
- Removed unused const. · 1d718eb2
  Forget Julien authored 5 years ago
  
  1d718eb2
- Typo in dumpcft call (unnecessary pwf arg). · 2e1e0516
  Forget Julien authored 5 years ago
  
  2e1e0516
- Added product C translation. · f7695ab5
  Forget Julien authored 5 years ago
  
  f7695ab5
- Merge branch 'master' of gitlab.cristal.univ-lille.fr:otawa-plugins/cftreeextractor · 12118089
  Forget Julien authored 5 years ago
  
  12118089
- Extract the exit formula from Power. · 9486da73
  Forget Julien authored 5 years ago
  
  9486da73
Apr 06, 2020
- ajout multiplication par entier · 12ddaf5d
  Clement B authored 5 years ago
  
  12ddaf5d