Commits · master · Benoit Barbot / Tiamo-fork · GitLab

25 Apr, 2016 1 commit
- Print usage when tiamo is called with no argument. · 46503451
  Maximilien Colange authored Apr 25, 2016
  
  46503451
19 Apr, 2016 2 commits
- Merge branch 'packaging' · abc2b598
  Maximilien Colange authored Apr 19, 2016
  
  abc2b598
- rework readme, and cite equalis project. · 0ee6d4c0
  Maximilien Colange authored Apr 19, 2016
  
  0ee6d4c0
18 Apr, 2016 5 commits
- Merge branch 'packaging' · c9ef10bf
  Maximilien Colange authored Apr 18, 2016
  
  c9ef10bf
- Improved README. · 3ac158ed
  Maximilien Colange authored Apr 18, 2016
  
  3ac158ed
- Use markdown syntax in README for a better compatibility with gitlab. · 0fe3e076
  Maximilien Colange authored Apr 18, 2016
  
  0fe3e076
- Update the build script. · c331eab0
  Maximilien Colange authored Apr 18, 2016
  
  c331eab0
- Merge branch 'master' into packaging · e309d144
  Maximilien Colange authored Apr 18, 2016
  
  e309d144
07 Apr, 2016 1 commit
- Merge branch 'tests' · 1bc7cdf2
  Maximilien Colange authored Apr 07, 2016
  
  1bc7cdf2
06 Apr, 2016 5 commits
- Fix nominal statistical values in tests. · 0850e631
  Maximilien Colange authored Apr 06, 2016
  
  0850e631
- Test runner compares stats against nominal values, and reports discrepancies. · 419b5e22
  Maximilien Colange authored Apr 06, 2016
  
  419b5e22
- properly catch failure of the test driver even if piped · bcc9efea
  Maximilien Colange authored Apr 06, 2016
  
  bcc9efea
- Add new tests. · 9b28838d
  Maximilien Colange authored Apr 06, 2016
  
  9b28838d
- Merge branch 'master' into tests · 7c787430
  Maximilien Colange authored Apr 06, 2016
  
  7c787430
05 Apr, 2016 5 commits
- Optimize LU bounds computation. · a0eda0df
  Maximilien Colange authored Apr 06, 2016
  
  a0eda0df
- Optimize array cells storage in VarContext. · 832da45c
  Maximilien Colange authored Apr 01, 2016
  
  832da45c
- Constant propagation in expressions used for LU bounds computation. · 23353de9
  Maximilien Colange authored Apr 04, 2016
  
  23353de9
- Small refactoring. · d1311e43
  Maximilien Colange authored Apr 05, 2016
  
  d1311e43
- Fix inconsistencies in array printing. · 1ec44203
  Maximilien Colange authored Apr 04, 2016
  
  1ec44203
04 Apr, 2016 4 commits
- Fix an issue on the number of clocks introduced in commit 5c1cb14e . · 87cad902
  Maximilien Colange authored Apr 04, 2016
  
  87cad902
- Fix the way the reference clock is handled. · 269e7e8b
  Maximilien Colange authored Apr 04, 2016
  
  269e7e8b
- Turn a test into an assertion. · 39e824e0
  Maximilien Colange authored Apr 01, 2016
  
  39e824e0
- Restore the original aircraft landing system from CORA. · 709e0e4e
  Maximilien Colange authored Apr 01, 2016
```
Change tests accordingly.
```
  709e0e4e
01 Apr, 2016 5 commits
- Remove inefficient sorted list representation for waiting lists. · b8618979
  Maximilien Colange authored Apr 01, 2016
```
Use the existing (yet a bit hidden) implementation based on balanced trees instead.
```
  b8618979
- Merge branch 'tests' · c8b80c06
  Maximilien Colange authored Apr 01, 2016
  
  c8b80c06
- Merge branch 'master' into tests · 7e66225e
  Maximilien Colange authored Apr 01, 2016
  
  7e66225e
- Properly escape characters for TeamCity. · e31af3d8
  Maximilien Colange authored Apr 01, 2016
  
  e31af3d8
- Fix test driver for more accurate report to TeamCity. · 31562ed6
  Maximilien Colange authored Apr 01, 2016
  
  31562ed6
31 Mar, 2016 9 commits
- Two more tests. · aca9c86d
  Maximilien Colange authored Apr 01, 2016
  
  aca9c86d
- Fix test driver to report TeamCity messages in real-time. · 6e9e324f
  Maximilien Colange authored Mar 31, 2016
```
This allows TeamCity to time tests individually.
```
  6e9e324f
- Add more tests. · d2de471c
  Maximilien Colange authored Mar 31, 2016
  
  d2de471c
- Tests report more data to teamcity. · 0a58952a
  Maximilien Colange authored Mar 31, 2016
  
  0a58952a
- Consistent output between reachability and optimal reachability. · ffa4209e
  Maximilien Colange authored Mar 31, 2016
  
  ffa4209e
- Merge branch 'master' into tests · 871192b3
  Maximilien Colange authored Mar 31, 2016
  
  871192b3
- LU bounds are now computed locally and on-the-fly. · 5c1cb14e
  Maximilien Colange authored Mar 31, 2016
```
It is no longer possible to compute a global M bounds.
```
  5c1cb14e
- Remove the option to automatically bound the input automaton. · 84a2fc7f
  Maximilien Colange authored Mar 31, 2016
  
  84a2fc7f
- CORA support activated by runtime option, not by configure-time macro. · 423341f7
  Maximilien Colange authored Mar 31, 2016
  
  423341f7
30 Mar, 2016 1 commit
- Add a function to time another function. · 52571dd3
  Maximilien Colange authored Mar 30, 2016
  
  52571dd3
29 Mar, 2016 2 commits
- Duplicate a transition to get rid of a conditional update. · b09d246f
  Maximilien Colange authored Mar 29, 2016
  
  b09d246f
- Remove CORA-specific "remaining" variable from model. · 807077ac
  Maximilien Colange authored Mar 29, 2016
  
  807077ac