Commits · master · Ballabriga Clément / Otawa Polymalys · GitLab

Snippets Groups Projects

Oct 06, 2022
- Fix compilation error related to elm::Time · d9f8aff9
  Ballabriga Clément authored 2 years ago
  
  d9f8aff9
May 28, 2020
- prevent crash in livenesschecker configure whenever passed workspace is null · ad8ca1d9
  Ballabriga Clément authored 4 years ago
  
  ad8ca1d9
- Fixes to AI for new iterator api · e08e7386
  Ballabriga Clément authored 4 years ago
  
  e08e7386
- Fix path conversion for gel_open · 8a038f17
  Ballabriga Clément authored 4 years ago
  
  8a038f17
May 26, 2020
- Merge branch 'master' of git+ssh://casse@git.renater.fr:2222/scmrepos/git/otawa/otawa.git · 0376f1a7
  hcasse authored 5 years ago
  
  0376f1a7
May 20, 2020
- Adaptation to deep changes in ELM about strings. · 0c55f61c
  hcasse authored 5 years ago
  
  0c55f61c
May 12, 2020
- merge otawa + otawa path finder · 6f5cffd5
  MDM authored 5 years ago
  6f5cffd5
May 07, 2020
- Merge branch 'master' of · 6877d15f
  hcasse authored 5 years ago
  6877d15f
Apr 11, 2020
- Improved the root installation to prevent misleading behaviour for the user... · 50abfd5a
  hcasse authored 5 years ago
  50abfd5a
Apr 10, 2020
- merge mdm · 2a190e00
  MDM authored 5 years ago
  2a190e00
Mar 25, 2020
- hard: fixed ugly bug i Memory preventing good default memory · 363d6131
  hcasse authored 5 years ago
  363d6131
Mar 05, 2020
- Merge branch 'master' of git+ssh://git.renater.fr:2222/scmrepos/git/otawa/otawa · 8dd06ace
  Zhenyu Bai authored 5 years ago
  
  8dd06ace
- better ordering of events · 59618d29
  Zhenyu Bai authored 5 years ago
  
  59618d29
- etime: added option to AbstractTimeBuilder that disable any resource · c3f805b6
  hcasse authored 5 years ago
  c3f805b6
Feb 26, 2020
- Fix compilation errors with various iterator types · 8829df51
  Ballabriga Clément authored 5 years ago
  
  8829df51
Feb 10, 2020
- infeable path analyse by otawa · e873767b
  MDM authored 5 years ago
  
  e873767b
Feb 05, 2020
- bug fix · 28171cb0
  Zhenyu Bai authored 5 years ago
  
  28171cb0
- bug fix · 06cac798
  Zhenyu Bai authored 5 years ago
  
  06cac798
- bug fix · b8365a9b
  Zhenyu Bai authored 5 years ago
  
  b8365a9b
Feb 04, 2020
- Merge branch 'master' of git+ssh://git.renater.fr:2222/scmrepos/git/otawa/otawa · bc8c187f
  Hugues Cassé authored 5 years ago
  
  bc8c187f
- etime: fixed AbstractTimeBuilder management of block splitting. · 766985d9
  Hugues Cassé authored 5 years ago
  
  766985d9
Feb 03, 2020
- bug fix · 878a26b9
  Zhenyu Bai authored 5 years ago
  
  878a26b9
- etime: added split to StandardILPGenerator. · af282406
  Hugues Cassé authored 5 years ago
  
  af282406
Jan 13, 2020
- proc: added LOG_FOR configuration in Monitor (and support in Processor). · fcb8e2d7
  Hugues Cassé authored 5 years ago
  fcb8e2d7
Jan 10, 2020
- Merge branch 'master' of git+ssh://casse@git.renater.fr:2222/scmrepos/git/otawa/otawa.git · 20105ee1
  Hugues Cassé authored 5 years ago
  
  20105ee1
- etime: fixed bug with queue too big, added support for EX without FU and · a0926adf
  Hugues Cassé authored 5 years ago
  a0926adf
- etime: fix to support EXEC stage without FU. · 7c1ec35d
  Hugues Cassé authored 5 years ago
  
  7c1ec35d
- Merge branch 'master' of https://git.renater.fr/anonscm/git/otawa/otawa · 8a95f059
  Zhenyu Bai authored 5 years ago
  8a95f059
- abstract time builder upper bound error fix · 18a4a670
  Zhenyu Bai authored 5 years ago
  
  18a4a670
- abstract time builder upper bound error · c17cd78e
  Zhenyu Bai authored 5 years ago
  
  c17cd78e
- etime: added function for customization of StandardXGraphBuilder. · ed61ca83
  Hugues Cassé authored 5 years ago
  
  ed61ca83
Jan 09, 2020
- etime: small fix in AbstractTimeBuilder; added header for · 67bac169
  Hugues Cassé authored 5 years ago
  67bac169
- etime: fixed dependency generation for load/store instruction. · 633ad434
  Hugues Cassé authored 5 years ago
  
  633ad434
Dec 11, 2019
- hai: small fix. · 8521b31b
  Hugues Cassé authored 5 years ago
  
  8521b31b
Nov 13, 2019
- cfg: fixes for a better support of unknown calls, for disconnected CFGs · d8baf12e
  Hugues Cassé authored 5 years ago
  d8baf12e
Nov 12, 2019
- bin: in otawa-stat.py, context support fixed, CFG view now display · bdab2624
  Hugues Cassé authored 5 years ago
  bdab2624
Nov 06, 2019
- etime: added support for CUSTOM effect event. · d50a4e86
  Hugues Cassé authored 5 years ago
  d50a4e86
Oct 29, 2019
- proc: WorkSpace:isProvided() deprecated replaced by ::provides() or · 2d20f3bd
  Hugues Cassé authored 5 years ago
  2d20f3bd
Oct 18, 2019
- proc: fixed Monitor bug preventing propagation of workspace set. · 85ee672d
  Hugues Cassé authored 5 years ago
  
  85ee672d
- proc: Monitor cloning behaviour change to let cloned monitors to update · d5abe1cd
  Hugues Cassé authored 5 years ago
  d5abe1cd