Commits · 832da45c0b5ed62ed28d4baf940cff4bc6fed07e · Maximilien COLANGE / tiamo

05 Apr, 2016 4 commits
- 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 13 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
- Merge branch 'tests' · 05214273
  Maximilien Colange authored Mar 29, 2016
  
  05214273
- Add 2 new tests. · c9813d1f
  Maximilien Colange authored Mar 29, 2016
  
  c9813d1f
- Fix tests scripts for a better report of errors. · ff61551f
  Maximilien Colange authored Mar 29, 2016
  
  ff61551f
- Merge branch 'tests' · fe4ec461
  Maximilien Colange authored Mar 29, 2016
  
  fe4ec461
- Merge branch 'master' into tests · 9d76d86d
  Maximilien Colange authored Mar 29, 2016
  
  9d76d86d
- Add tests. · f31aabdb
  Maximilien Colange authored Mar 29, 2016
  
  f31aabdb
- Improve the testing framework. · d3f46391
  Maximilien Colange authored Mar 29, 2016
```
The test runner reports through TeamCity service messages.
The test driver reads TeamCity service messages, and interpret them for a proper integration in the autotools framework.
```
  d3f46391
- Merge branch 'parser' · 192864e4
  Maximilien Colange authored Mar 29, 2016
  
  192864e4
- Remove generated files from version control. · cdd6ad37
  Maximilien Colange authored Mar 29, 2016
  
  cdd6ad37
- Fix deprecated syntax. · e960a3f8
  Maximilien Colange authored Mar 29, 2016
  
  e960a3f8
- Merge branch 'master' into parser · 8335cfd5
  Maximilien Colange authored Mar 29, 2016
  
  8335cfd5
25 Mar, 2016 4 commits
- Force rebuild of the executable, due to a bad interaction between Makefile and... · 9cf45a69
  Maximilien Colange authored Mar 25, 2016
```
Force rebuild of the executable, due to a bad interaction between Makefile and ocamlbuild dependency tracking.
```
  9cf45a69
- Add a test runner and a first non-regression test. · eeaec6de
  Maximilien Colange authored Mar 25, 2016
  
  eeaec6de
- Extend parsing capabilities: compound assignments (+=, -=, ...) are now properly understood. · 16201fd3
  Maximilien Colange authored Mar 25, 2016
  
  16201fd3
- Fix the way the reference clock is declared. · aeeefb7c
  Maximilien Colange authored Mar 25, 2016
```
This fixes a bug introduced with the dynamic loading of models.
```
  aeeefb7c