Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
1 result
Created with Raphaël 2.2.013Nov8Jul632130Jun292624232219181716121110985432130May292827262520191815148654130Apr2924171665FebPublish reportmastermasterfinal updates to automata and report to include changes from this morning's reunionminor : fix trace nb roundupdate isTerminated with increasing objectiveupdate isTerminated with increasing objectiveproblematic supervisorupdate handling messages deltagiving nonohandling of Reject in ActSolofixed makeOffer reject problemadded debuging traces of messahes even stashedadded allunstashAllupdated deciding supervisor with inform messageadded handling gonogo in committedadded handling of GiveGo in Committedfixed goto in supervisor runninginformdelta in recwaitingvalfixed makeOffer and informDeltadalek examplefixed computing of gainannex added for full agentsecond version of report finisheddalek example overgaladriel example updatefinished FSMMerge branch 'master' of https://gitlab.univ-lille.fr/maxime.morge/scadcopupdates to fsmCompliant with the "Teoz" architecture of plantuml for nice print of broadcastupdates on algorithmsupdates to sotaupdates to section 1-2corrected matching names automaton-text-codeshort conclusionabstract and intro planadd handling inform valin supervisor Init restore supervisor (cancel reset status)Merge branch 'master' of gitlab-ssh.univ-lille.fr:maxime.morge/scadcopadd initial contexttried to fiw supervisors' counting inform val, doesnt workrenaming in choosebestsingleoffer