Commits · master · verimag / bip / sbip2

16 Nov, 2018 1 commit
- Fixed bug with trace parsing · b6505144
  LotfiMed authored Nov 16, 2018
  
  b6505144
29 Oct, 2018 2 commits
- Modified Hoeffding bound · b0e2ee54
  LotfiMed authored Oct 29, 2018
  
  b0e2ee54
- remove empty trace · eb75c356
  LotfiMed authored Oct 29, 2018
  
  eb75c356
27 Oct, 2018 5 commits
- Modifications for jre8 support · 8f0b629e
  LotfiMed authored Oct 27, 2018
  
  8f0b629e
- Merge branch 'rare-events' · c5d3dc4a
  LotfiMed authored Oct 27, 2018
  
  c5d3dc4a
- removed empty comments · c858f5ec
  LotfiMed authored Oct 27, 2018
  
  c858f5ec
- conflict solving · e1cf44c2
  LotfiMed authored Oct 27, 2018
  
  e1cf44c2
- Added monitoring of non-saved traces (in traceViewer) · 6c483815
  LotfiMed authored Oct 27, 2018
  
  6c483815
26 Oct, 2018 4 commits
- removed empty trace · 03c954fb
  LotfiMed authored Oct 26, 2018
  
  03c954fb
- - removed placeholder in formula field · d8c3905d
  LotfiMed authored Oct 26, 2018
  
  d8c3905d
- - Added text highlighting in monitor log · ab6fa6aa
  LotfiMed authored Oct 26, 2018
  
  ab6fa6aa
- - Added log in abstract class Monitor · 29f3cd67
  LotfiMed authored Oct 26, 2018
```
- Implemented the log of a check in MTL/LTL monitor
- Improved display of traces
- Added debug options for saved traces (parce and monitor)
```
  29f3cd67
23 Aug, 2018 3 commits
- conflit resolution - for merging rare-events branch · 879a4c88
  LotfiMed authored Aug 23, 2018
  
  879a4c88
- resolve conflict - merge rare-event branch · 841956d0
  LotfiMed authored Aug 23, 2018
  
  841956d0
- Version 2.2.3: · aa56d48b
  LotfiMed authored Aug 23, 2018
```
- Fixed bug in P0-P1 calculation for hypothesis testing
- Added import for .C and .h files in the Model selection tab
- Silenced sysout
- Updated test18() in the testing class
```
  aa56d48b
18 May, 2018 2 commits
- Clear case studies from ./system files + update help file · 46635e36
  LotfiMed authored May 18, 2018
  
  46635e36
- Automatized copyright year in splash screen · 01a0969f
  LotfiMed authored May 18, 2018
```
Automatized Month Year of the version in AboutUs dialog window 
Centralized version info in an attribute of the UserInterface
```
  01a0969f
05 May, 2018 3 commits
- remove traces · 8f7a73b2
  LotfiMed authored May 05, 2018
  
  8f7a73b2
- rename case study · 5d42637c
  LotfiMed authored May 05, 2018
  
  5d42637c
- Modify IP_interval-granularity · bf6c08dc
  LotfiMed authored May 05, 2018
  
  bf6c08dc
27 Apr, 2018 2 commits
- reviewing the help · b3ce31ae
  LotfiMed authored Apr 27, 2018
  
  b3ce31ae
- update text · be54ad05
  LotfiMed authored Apr 27, 2018
  
  be54ad05
24 Apr, 2018 1 commit
- Updated ContactUs for version 2.2.1 · 5a0c3bff
  LotfiMed authored Apr 24, 2018
  
  5a0c3bff
23 Apr, 2018 2 commits
- Added new images for splash screen and tool help · e1542895
  LotfiMed authored Apr 23, 2018
  
  e1542895
- New release 2.2.1 for ATVA 2018 · 183cb438
  LotfiMed authored Apr 23, 2018
  
  183cb438
16 Apr, 2018 1 commit
- updated some test for ESROCOS report · 39caeb15
  Ayoub Nouri authored Apr 16, 2018
  
  39caeb15
16 Mar, 2018 3 commits
- fixing nullPointerException in save function - PanelRareEvent · 73d63e51
  LotfiMed authored Mar 16, 2018
  
  73d63e51
- Removed trace in untimed_PTP · 076156ff
  LotfiMed authored Mar 16, 2018
  
  076156ff
- fixed bug in LTL monitor : adding multiple times the parametric variable · 0ce7d245
  LotfiMed authored Mar 16, 2018
  
  0ce7d245
15 Mar, 2018 4 commits
- Commenting println · db11429d
  LotfiMed authored Mar 15, 2018
  
  db11429d
- adding test project for Rare Event analysis · 27275e91
  LotfiMed authored Mar 15, 2018
  
  27275e91
- Extend functionalities of rare-event panel to the GUI platform · e1165515
  LotfiMed authored Mar 15, 2018
  
  e1165515
- adding rare-event button and actions · 37d65b22
  LotfiMed authored Mar 15, 2018
  
  37d65b22
14 Mar, 2018 2 commits
- add runtime computation of IP algo · 6afca9db
  LotfiMed authored Mar 14, 2018
  
  6afca9db
- add importance splitting algorithm · cd0fc183
  LotfiMed authored Mar 14, 2018
  
  cd0fc183
13 Mar, 2018 1 commit
- implementing panel rare-event mechanisms + save-load score function · bb076787
  LotfiMed authored Mar 13, 2018
  
  bb076787
02 Mar, 2018 4 commits
- Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/bip/sbip2 · bc21a984
  LotfiMed authored Mar 02, 2018
  
  bc21a984
- remove comment · c517332a
  LotfiMed authored Mar 02, 2018
  
  c517332a
- adding comment · 0dd90614
  LotfiMed authored Mar 02, 2018
  
  0dd90614
- adding comment · ed96fd70
  LotfiMed authored Mar 02, 2018
  
  ed96fd70