Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 31, 2017

• uppaal model generator modification

  ttigori

  committed
  0fbe676

  Copy full SHA for 0fbe676

Commits on Oct 26, 2017

• uppaal model generator using GTL

  ttigori

  committed
  132f5a3

  Copy full SHA for 132f5a3

Commits on Oct 23, 2017

• ajout du generateur de modèle uppaal

  ttigori

  committed
  b605a51

  Copy full SHA for b605a51

Commits on Sep 8, 2017

• using graphviz for graph generation

  ttigori

  committed
  14167f3

  Copy full SHA for 14167f3

Commits on Sep 1, 2017

• intermediate model generator

  ttigori

  committed
  4352021

  Copy full SHA for 4352021

• correction of intermediate model generation

  ttigori

  committed
  76baefc

  Copy full SHA for 76baefc

Commits on Aug 24, 2017

• intermediate model generator

  ttigori

  committed
  fc782f1

  Copy full SHA for fc782f1

Commits on Aug 22, 2017

• intermediate model generator

  ttigori

  committed
  f96ee3c

  Copy full SHA for f96ee3c

Commits on Jun 14, 2017

• model generator progression

  ttigori

  committed
  c688372

  Copy full SHA for c688372

• model generator progression

  ttigori

  committed
  5b24f38

  Copy full SHA for 5b24f38

Commits on Jun 13, 2017

• model genrator progression

  ttigori

  committed
  b7b337d

  Copy full SHA for b7b337d

Commits on Jun 12, 2017

• model generator progression

  ttigori

  committed
  dd18858

  Copy full SHA for dd18858

Commits on Jun 8, 2017

• model generator progression

  ttigori

  committed
  16b5daa

  Copy full SHA for 16b5daa

Commits on Jun 6, 2017

• model generator progression and correction of code in leos_semantics file (line 669 in getter @shiftRightNode)

  ttigori

  committed
  0962477

  Copy full SHA for 0962477

Commits on Jun 1, 2017

• model generator progression

  ttigori

  committed
  e0f55ba

  Copy full SHA for e0f55ba

Commits on May 31, 2017

• leos_program.galgas file modification

  ttigori

  committed
  f01a538

  Copy full SHA for f01a538

Commits on May 29, 2017

• Adding leos_to_model.galgas file for model generation from leos

  ttigori

  committed
  586d888

  Copy full SHA for 586d888

Commits on May 22, 2017

• trampoline leos code in progress

  jlbirccyn

  committed
  6a51087

  Copy full SHA for 6a51087

Commits on May 17, 2017

• GTL added

  jlbirccyn

  committed
  f391dd9

  Copy full SHA for f391dd9

Commits on May 16, 2017

• In progress, compile

  jlbirccyn

  committed
  a47a083

  Copy full SHA for a47a083

• Merge branch 'master' of https://github.com/TrampolineRTOS/LEOS

  ttigori

  committed
  0e1eda6

  Copy full SHA for 0e1eda6

• leos semantics analyzer updating

  ttigori

  committed
  6a879ab

  Copy full SHA for 6a879ab

• leos syntax updating

  ttigori

  committed
  bc79968

  Copy full SHA for bc79968

• Update to galgas 3 in progress

  jlbirccyn

  committed
  80dc275

  Copy full SHA for 80dc275

Commits on May 15, 2017

• leos_syntax.galgas udpating for LEOS

  ttigori

  committed
  c35faca

  Copy full SHA for c35faca

• Update to galgas 3 in progress

  jlbirccyn

  committed
  e804930

  Copy full SHA for e804930

• GTL as submodule

  jlbirccyn

  committed
  921b6f6

  Copy full SHA for 921b6f6

• initial commit, works remain to adapt to latest version of galgas

  jlbirccyn

  committed
  bde8312

  Copy full SHA for bde8312

• Initial commit

  jlbirccyn

  committed
  fb69cc6

  Copy full SHA for fb69cc6