Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Repository
Branches
Overview
Active
Stale
All
plantests
108b9672
·
updating tests
·
Feb 25, 2021
!397
plan
7d589259
·
add new group of traces
·
Feb 25, 2021
!396
twoInOneApproachPower
a4b3fb90
·
[1-step approach] stable version
·
Feb 15, 2021
sumOnSlotsPOwerModel
4d5792a2
·
minor
·
Feb 15, 2021
remarksUpdate
db5d2801
·
update package
·
Feb 12, 2021
!394
allCombinationsPowerModel
8bcffa6b
·
[Power] model aware of activity intra-slot
·
Feb 12, 2021
newPowerModel
79425de5
·
updating tests benchmark
·
Feb 03, 2021
revert-1d6c75fc
f748e70f
·
Revert "Merge branch 'revert-
883077ef
' into 'master'"
·
Jan 28, 2021
automationIntegration
01569a4d
·
stable model for power optimization with power expression
·
Jan 21, 2021
taint
37600663
·
add files
·
Dec 16, 2020
!378
taintBranch
c7d93dd3
·
add
·
Dec 16, 2020
revert-d9cf43e7
48809d34
·
Revert "Merge branch 'taintBranch' into 'master'"
·
Dec 16, 2020
!376
revert-893255a8
b73c4e3d
·
Revert "Merge branch 'revert-
883077ef
' into 'master'"
·
Nov 26, 2020
!370
DataTaintTest
1018f7ee
·
Merge branch 'DataTaintTest' of git@gitlab.enst.fr:mbe-tools/TTool.git
·
Nov 20, 2020
revert-41079fc6
fb770811
·
Revert "Merge branch 'revert-
883077ef
' into 'master'"
·
Oct 09, 2020
!359
alessandro_branch
fc74a45f
·
Added BFS/DFS choice, updated deadlock check on DFS
·
Sep 17, 2020
!356
adib
32da030b
·
Update README.md
·
Jun 29, 2020
model_checker
e6dd15c8
·
Fixed warnings
·
May 13, 2020
!328
revert-191387a4
076c4d2b
·
Revert "Merge branch 'alessandro_branch' into 'master'"
·
May 13, 2020
!326
new-lip6
5d48b7dd
·
bugfix
·
Apr 09, 2020
!318
Prev
1
2
3
4
5
6
7
8
…
12
Next