Commits · caml2 · OTAWA-plugins / WSymb · GitLab

Snippets Groups Projects

Nov 14, 2023
- Added doc on WCET with procedure arguments as parameters. · b9a49952
  Forget Julien authored 1 year ago
  
  b9a49952
Sep 16, 2022
- Compatibility. · d7401985
  Forget Julien authored 2 years ago
  
  d7401985
Feb 08, 2022
- Added debug flag to show the stack trace (commented out). · 95fd6d60
  Forget Julien authored 3 years ago
  
  95fd6d60
Jun 04, 2021
- parametric loop bounds working again · a9a21a93
  Grebant Sandro authored 3 years ago
  
  a9a21a93
- add gitignore · 2f79b704
  Grebant Sandro authored 3 years ago
  
  2f79b704
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
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
- Always print type cast before array initializer. · 4732be82
  Forget Julien authored 5 years ago
  
  4732be82
- Missing box closing+must specify field when opdata is .ann · 235c4458
  Forget Julien authored 5 years ago
  
  235c4458
- Added C code (.h) generation. · 6fa03463
  Forget Julien authored 5 years ago
  
  6fa03463
- Removed open Utils. · 889e9450
  Forget Julien authored 5 years ago
  
  889e9450
Apr 03, 2020
- Merge branch 'master' of gitlab.cristal.univ-lille.fr:otawa-plugins/cftreeextractor · 968fbe95
  Forget Julien authored 5 years ago
  
  968fbe95
- Swymplify. · 5a5e3d31
  Forget Julien authored 5 years ago
  
  5a5e3d31