2017-08-21 Laurent GeorgetTfix in proof comment master origin/HEAD origin/master
2017-01-15 Laurent GeorgetProove that compatible builds an interleaving
2017-01-13 Laurent GeorgetSimplify a bit more the proofs
2017-01-12 Laurent GeorgetImprove the proof
2017-01-10 Laurent GeorgetAdd the Coq proofs (coq 8.4p6)
2017-01-02 Laurent GeorgetFix the arrow width for enable/exec/disable
2016-12-24 Laurent GeorgetReplace abstract
2016-12-24 Laurent GeorgetFix LaTeX overflow warnings
2016-12-22 Laurent GeorgetRemove the proofs from the submitted version
2016-12-21 Laurent GeorgetApply fixes by Valérie
2016-12-21 Laurent GeorgetFinish the proofs
2016-12-17 Laurent GeorgetCorrect the number of experiment runs
2016-12-17 Laurent GeorgetApply more fixes and introduce the experiments
2016-12-15 Laurent GeorgetMore fixes and small adjustements
2016-12-15 Laurent GeorgetFill in the experiments section
2016-12-15 Laurent GeorgetFixes by Valérie
2016-12-14 Laurent GeorgetRemove repetitions and irrelevant stuff, clarify obscur...
2016-12-13 Laurent GeorgetRemove references to rejected paper
2016-12-09 Laurent GeorgetApply fixes by Mathieu origin/14pages
2016-12-05 Laurent GeorgetApply fixes by Fred
2016-12-01 Laurent GeorgetReduce section 3.1 and remove experiments to fit in...
2016-11-29 Laurent GeorgetAdd experiments
2016-11-29 Laurent GeorgetFix some small stuff, conclude and make the abstract
2016-11-29 Laurent GeorgetAdd papers by Rado
2016-11-26 Laurent GeorgetConclude
2016-11-26 Laurent GeorgetMake a first draft of related work
2016-11-24 Laurent GeorgetFix the table
2016-11-21 Laurent GeorgetRework the paper from the beginning
2016-11-08 Laurent GeorgetMake minor spelling corrections
2016-11-03 Laurent GeorgetInclude proofs as appendix
2016-11-03 Laurent GeorgetApply fixes by Mathieu during meeting in Paris (03...
2016-11-02 Laurent GeorgetApply various fixes from the reunion in Paris (02/11...
2016-10-26 Laurent GeorgetIntegrate the main results
2016-10-25 Laurent GeorgetUpdate the attack section with new traces
2016-10-18 Laurent GeorgetReorganize the sections and notations
2016-10-16 Laurent GeorgetDiscuss floating labels
2016-10-16 Laurent GeorgetChange notations
2016-10-12 Laurent GeorgetIntegrate the discussion earlier in the paper
2016-10-12 Laurent GeorgetDiscuss a little our design
2016-10-12 Laurent GeorgetTell what IFC mechanisms do bad
2016-09-29 Laurent GeorgetStart Sections 2 and 3
2016-09-28 Laurent GeorgetInclude a missing figure
2016-09-28 Laurent GeorgetFinish section 1
2016-09-27 Laurent GeorgetAugment the first section
2016-09-23 Laurent GeorgetSkeleton