Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • input_conditionals
  • public default protected
2 results
Created with Raphaël 2.2.012Dec24Mar11Oct3Jun29May28272617Jul16136Jun15May13730Apr2726131110629Mar22211514139821Feb9Nov32131Oct30292827262524238Jul29Jun13231May29Update authors.publicpublicinput conditionals calculationinput_condition…input_conditionalsMerge branch 'public' of gitlab.cristal.univ-lille.fr:otawa-plugins/polymalys into publicmodif authorremove useless files, update documentationoubli fichiers .cppfix makefileAjout support tableaux, bump version 0.2Ajout bonne version d'otawaupdate for custom otawa install scriptadd custom otawa-install.py bound to a specific otawa revisionMerge branch 'public' of gitlab.cristal.univ-lille.fr:otawa-plugins/polymalys into publictests no longer need orangeAdded intro, ref, author.Update doc for LD_LIBRARY_PATHMerge branch 'public' of gitlab.cristal.univ-lille.fr:otawa-plugins/polymalys into publicsupprime les tests qui ne marchent pas avec la version HEAD d'otawaupdate docupdate documentationAdapted to work with public version of otawabegin working on otawav2 compatible versiondecommente le doMatchGlobalMerge branch 'jordy' of ssh://emeraude-hpc-1:/home/git/poly_plug into jordyMarche pour tout sauf edn (probleme avec le memcpy)bugfix[WIP] nouveau joinMerge branch 'jordy' of ssh://emeraude-hpc-1:/home/git/poly_plug into jordyenleve le abort dans PolyWrapperqq bugfixsinfos de debug[WIP] Debut des travaux sur le nouveau joinRevert "proprification pour jordy"proprification pour jordyokhack degueu pour contourner le probleme de filteringil faut gerer l egalitele join marche mais j ai pas teste le wideningil manque le joinfusion du bordel en cours... 1/3Ajout du wrapper poly