Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Repository
Branches
Overview
Active
Stale
All
revert-893255a8
b73c4e3d
·
Revert "Merge branch 'revert-
883077ef
' into 'master'"
·
Nov 26, 2020
!370
revert-d9cf43e7
48809d34
·
Revert "Merge branch 'taintBranch' into 'master'"
·
Dec 16, 2020
!376
taintBranch
c7d93dd3
·
add
·
Dec 16, 2020
taint
37600663
·
add files
·
Dec 16, 2020
!378
automationIntegration
01569a4d
·
stable model for power optimization with power expression
·
Jan 21, 2021
revert-1d6c75fc
f748e70f
·
Revert "Merge branch 'revert-
883077ef
' into 'master'"
·
Jan 28, 2021
newPowerModel
79425de5
·
updating tests benchmark
·
Feb 03, 2021
allCombinationsPowerModel
8bcffa6b
·
[Power] model aware of activity intra-slot
·
Feb 12, 2021
remarksUpdate
db5d2801
·
update package
·
Feb 12, 2021
!394
sumOnSlotsPOwerModel
4d5792a2
·
minor
·
Feb 15, 2021
twoInOneApproachPower
a4b3fb90
·
[1-step approach] stable version
·
Feb 15, 2021
plan
7d589259
·
add new group of traces
·
Feb 25, 2021
!396
plantests
108b9672
·
updating tests
·
Feb 25, 2021
!397
revert-335ebba5
5a23044a
·
Revert "Merge branch 'plantests' into 'master'"
·
Mar 09, 2021
!399
plantest1
a0df4303
·
update package name
·
Mar 10, 2021
revert-3b1730bc
38f8077d
·
Revert "Merge branch 'planTest' into 'master'"
·
Mar 10, 2021
!403
planTest
0b0c49b5
·
remove spaces
·
Mar 12, 2021
!406
revert-82174c0e
f3635582
·
Revert "Merge branch 'revert-
883077ef
' into 'master'"
·
Apr 27, 2021
!412
branch_bastien
73116918
·
Fixing TML to UPPAAL translation bug and adding a test related to this fix
·
Jun 21, 2021
!418
LIP6
39b946ed
·
debug
·
Jun 21, 2021
!409
Prev
1
…
5
6
7
8
9
10
11
Next