Commits · input_conditionals · OTAWA-plugins / Polymalys · GitLab

Snippets Groups Projects

Mar 24, 2023
- input conditionals calculation · 61610386
  Grebant Sandro authored 2 years ago
  
  61610386
Oct 11, 2022
- Merge branch 'public' of gitlab.cristal.univ-lille.fr:otawa-plugins/polymalys into public · b07f2889
  Ballabriga Clément authored 2 years ago
  
  b07f2889
- modif author · b8a1cbff
  Ballabriga Clément authored 2 years ago
  
  b8a1cbff
- remove useless files, update documentation · a576876e
  Ballabriga Clément authored 2 years ago
  
  a576876e
- oubli fichiers .cpp · a944c712
  Ballabriga Clément authored 2 years ago
  
  a944c712
- fix makefile · 36af1aa3
  Ballabriga Clément authored 2 years ago
  
  36af1aa3
- Ajout support tableaux, bump version 0.2 · 77f34c86
  Ballabriga Clément authored 2 years ago
  
  77f34c86
- Ajout bonne version d'otawa · a74a0f94
  Ballabriga Clément authored 2 years ago
  
  a74a0f94
Jun 03, 2020
- update for custom otawa install script · 4dc84a1d
  Forget Julien authored 4 years ago
  
  4dc84a1d
- add custom otawa-install.py bound to a specific otawa revision · f08f0a38
  Ballabriga Clément authored 4 years ago
  
  f08f0a38
- Merge branch 'public' of gitlab.cristal.univ-lille.fr:otawa-plugins/polymalys into public · 7b495c0f
  Ballabriga Clément authored 4 years ago
  
  7b495c0f
- tests no longer need orange · 7c0de1d5
  Ballabriga Clément authored 4 years ago
  
  7c0de1d5
May 29, 2020
- Added intro, ref, author. · 27897b52
  Forget Julien authored 4 years ago
  
  27897b52
May 28, 2020
- Update doc for LD_LIBRARY_PATH · 97e9adfb
  Ballabriga Clément authored 4 years ago
  
  97e9adfb
- Merge branch 'public' of gitlab.cristal.univ-lille.fr:otawa-plugins/polymalys into public · 32ea68cc
  Ballabriga Clément authored 4 years ago
  
  32ea68cc
- supprime les tests qui ne marchent pas avec la version HEAD d'otawa · 80937cb0
  Ballabriga Clément authored 4 years ago
  
  80937cb0
May 27, 2020
- update doc · 49738a6d
  Ballabriga Clément authored 4 years ago
  
  49738a6d
- update documentation · 24fb1deb
  Ballabriga Clément authored 4 years ago
  
  24fb1deb
- Adapted to work with public version of otawa · 3f51ed94
  Ballabriga Clément authored 4 years ago
  
  3f51ed94
May 26, 2020
- begin working on otawav2 compatible version · 7fb2238d
  Ballabriga Clément authored 4 years ago
  
  7fb2238d
Jul 17, 2018
- decommente le doMatchGlobal · 075a67cd
  Jordy Ruiz authored 6 years ago
  
  075a67cd
- Merge branch 'jordy' of ssh://emeraude-hpc-1:/home/git/poly_plug into jordy · f726f3e2
  Jordy Ruiz authored 6 years ago
  
  f726f3e2
- Marche pour tout sauf edn (probleme avec le memcpy) · 62079ad8
  Ballabriga Clément authored 6 years ago
  
  62079ad8
Jul 16, 2018
- bugfix · 08c122ff
  Ballabriga Clément authored 6 years ago
  
  08c122ff
- [WIP] nouveau join · 62b48b3d
  Ballabriga Clément authored 6 years ago
  62b48b3d
Jul 13, 2018
- Merge branch 'jordy' of ssh://emeraude-hpc-1:/home/git/poly_plug into jordy · 70bbf340
  Jordy Ruiz authored 6 years ago
  
  70bbf340
- enleve le abort dans PolyWrapper · b13106d0
  Jordy Ruiz authored 6 years ago
  
  b13106d0
- qq bugfixs · a56dbf14
  Ballabriga Clément authored 6 years ago
  
  a56dbf14
- infos de debug · af6415de
  Ballabriga Clément authored 6 years ago
  
  af6415de
- [WIP] Debut des travaux sur le nouveau join · 72e14727
  Ballabriga Clément authored 6 years ago
  
  72e14727
Jun 06, 2018
- Revert "proprification pour jordy" · 9fbcdb02
  Ballabriga Clément authored 6 years ago
  9fbcdb02
- proprification pour jordy · 8941a4c3
  Ballabriga Clément authored 6 years ago
  
  8941a4c3
May 15, 2018
- ok · d0be79f7
  Ballabriga Clément authored 7 years ago
  
  d0be79f7
- hack degueu pour contourner le probleme de filtering · fc9246e7
  Ballabriga Clément authored 7 years ago
  
  fc9246e7
May 13, 2018
- il faut gerer l egalite · 09f0a077
  Ballabriga Clément authored 7 years ago
  
  09f0a077
May 07, 2018
- le join marche mais j ai pas teste le widening · de578f30
  Ballabriga Clément authored 7 years ago
  
  de578f30
Apr 30, 2018
- il manque le join · ab6d331c
  Ballabriga Clément authored 7 years ago
  
  ab6d331c
Apr 27, 2018
- fusion du bordel en cours... 1/3 · 0827eee5
  Ballabriga Clément authored 7 years ago
  
  0827eee5
- Ajout du wrapper poly · 3f107ec8
  Ballabriga Clément authored 7 years ago
  
  3f107ec8
Apr 26, 2018
- choupipoly · 5f9f5a15
  Ballabriga Clément authored 7 years ago
  
  5f9f5a15