Commits · build_scripts_fix · ESProjects / SDE

12 Apr, 2018 3 commits
- - removed module · 594586d8
  Pietro Braghieri authored Apr 12, 2018
  
  594586d8
- - fix · 83130e2c
  Pietro Braghieri authored Apr 12, 2018
  
  83130e2c
- - fix · 16456889
  Pietro Braghieri authored Apr 12, 2018
  
  16456889
10 Apr, 2018 1 commit
- - fix · 93aeb48d
  Pietro Braghieri authored Apr 10, 2018
  
  93aeb48d
09 Apr, 2018 2 commits
- - some fixes to pom.xml · 8e5f8e9b
  almes authored Apr 09, 2018
  
  8e5f8e9b
- fixed pointer to nebula repository · f6f1a6bc
  almes authored Apr 09, 2018
  
  f6f1a6bc
20 Mar, 2018 1 commit
- - fixed assertion formatting · 14300dfc
  Pietro Braghieri authored Mar 20, 2018
  
  14300dfc
19 Mar, 2018 1 commit
- - fixed portid formatting in case of multiple component names · b40caf5b
  Pietro Braghieri authored Mar 19, 2018
  
  b40caf5b
14 Mar, 2018 1 commit
- - PortId now can be composed by dotted component names sequence like · 5034cedb
  Pietro Braghieri authored Mar 14, 2018
```
C1.C2.portA
```
  5034cedb
13 Mar, 2018 1 commit
- - added missing option -i to model checking command in case of ic3 · f8c0be7b
  Pietro Braghieri authored Mar 13, 2018
  
  f8c0be7b
12 Mar, 2018 1 commit
- - extended ocra grammar with new keyword ASSERTION · f71171a4
  Pietro Braghieri authored Mar 12, 2018
  
  f71171a4
07 Mar, 2018 1 commit
- - fixed command parameter for ic3 check model · e15296ba
  Pietro Braghieri authored Mar 07, 2018
  
  e15296ba
02 Mar, 2018 1 commit
- - refactoring · 6300eb7d
  Pietro Braghieri authored Mar 02, 2018
  
  6300eb7d
28 Feb, 2018 1 commit
- - refactoring · 0b598b7b
  Pietro Braghieri authored Feb 28, 2018
  
  0b598b7b
12 Feb, 2018 2 commits
- - fixed wrong profile name · be4ebf3d
  Pietro Braghieri authored Feb 12, 2018
  
  be4ebf3d
- - added old smv file format to print_system_implementation · 4eb676b5
  Pietro Braghieri authored Feb 12, 2018
  
  4eb676b5
09 Feb, 2018 2 commits
- Merge branch 'refactoring' into 'master' · 0e501501
  Pietro Braghieri authored Feb 09, 2018
```
Refactoring

See merge request ESProjects/SDE!7
```
  0e501501
- - added check contract composite implementation · a38b81fb
  braghieri authored Feb 09, 2018
  
  a38b81fb
07 Feb, 2018 3 commits
- . · b8b29cf6
  braghieri authored Feb 07, 2018
  
  b8b29cf6
- - added behaviour trace view · 43addc6c
  braghieri authored Feb 07, 2018
  
  43addc6c
- - improvement to oss validation · 3600dfb4
  braghieri authored Feb 07, 2018
  
  3600dfb4
06 Feb, 2018 4 commits
- - added viewer of contract implementation trace · 52a1ce66
  braghieri authored Feb 06, 2018
  
  52a1ce66
- - fix · d02d27e3
  braghieri authored Feb 06, 2018
  
  d02d27e3
- Merge branch 'master' into refactoring · b5b15586
  braghieri authored Feb 06, 2018
  
  b5b15586
- . · f9da2fcc
  braghieri authored Feb 06, 2018
  
  f9da2fcc
02 Feb, 2018 4 commits
- - fix of ports hints (icons were missing) · 2501fcbb
  braghieri authored Feb 02, 2018
  
  2501fcbb
- Merge remote-tracking branch 'origin/master' into refactoring · 31aaba57
  braghieri authored Feb 02, 2018
  
  31aaba57
- Merge branch 'master' of git@gitlab.fbk.eu:ESProjects/SDE.git · 2bcacec3
  Pietro Braghieri authored Feb 02, 2018
  
  2bcacec3
- - added fix to some adapter test · 5178ecb7
  Pietro Braghieri authored Feb 02, 2018
  
  5178ecb7
01 Feb, 2018 5 commits
- Update .gitlab-ci.yml · 447d062b
  Pietro Braghieri authored Feb 01, 2018
  
  447d062b
- Update .gitlab-ci.yml · 73e2821d
  Pietro Braghieri authored Feb 01, 2018
  
  73e2821d
- - fix path in test file · e82021bc
  Pietro Braghieri authored Feb 01, 2018
  
  e82021bc
- Merge branch 'refactoring' into 'master' · e2c4b9c8
  Pietro Braghieri authored Feb 01, 2018
```
Refactoring

See merge request ESProjects/SDE!5
```
  e2c4b9c8
- - little project structure refactoring · 74525295
  braghieri authored Feb 01, 2018
  
  74525295
30 Jan, 2018 4 commits
- - fix to pom.xml · 743e964b
  braghieri authored Jan 30, 2018
  
  743e964b
- . · dfddc0e2
  braghieri authored Jan 30, 2018
  
  dfddc0e2
- Merge branch 'refactoring' of git@gitlab.fbk.eu:ESProjects/SDE.git into refactoring · 3d06132a
  braghieri authored Jan 30, 2018
  
  3d06132a
- - improved editor validation · a6bcc629
  braghieri authored Jan 30, 2018
  
  a6bcc629
25 Jan, 2018 2 commits
- Update .gitlab-ci.yml · ee129b82
  Pietro Braghieri authored Jan 25, 2018
  
  ee129b82
- Update .gitlab-ci.yml · d69c8997
  Pietro Braghieri authored Jan 25, 2018
  
  d69c8997