Commits · master · OTAWA-plugins / WSymb

Dec 12, 2023
- Test, update, authors. · cb372201
  Forget Julien authored 1 year ago
  
  cb372201
- Fixing merge conflicts · d6aeced4
  Forget Julien authored 1 year ago
  
  d6aeced4
- Misc. · b13fcf40
  Forget Julien authored 1 year ago
  
  b13fcf40
Nov 24, 2023
- Merge branch 'caml2' into 'master' · 7831f4be
  Forget Julien authored 1 year ago
  7831f4be
Nov 14, 2023
- Added doc on WCET with procedure arguments as parameters. · b9a49952
  Forget Julien authored 1 year ago
  
  b9a49952
Mar 31, 2023
- Add optimized compiler to repository · 188850c5
  Grebant Sandro authored 2 years ago
  
  188850c5
Mar 30, 2023
- Displays WCET final value · bf076e13
  Grebant Sandro authored 2 years ago
  
  bf076e13
Mar 24, 2023
- input conditionals support · 049e1773
  Grebant Sandro authored 2 years ago
  
  049e1773
Sep 16, 2022
- Compatibility. · d7401985
  Forget Julien authored 2 years ago
  
  d7401985
Feb 24, 2022
- ajout benchs · 98218e29
  Ballabriga Clément authored 3 years ago
  
  98218e29
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