Commits · abcbef6acf2dc8945c8f1bb082bd02750e9c8e36 · TASTE / Ocarina

19 Jun, 2016 6 commits
- * Update reference output · abcbef6a
  yoogx authored Jun 19, 2016
  
  abcbef6a
- Merge branch 'master' of https://github.com/OpenAADL/ocarina · b11527ae
  yoogx authored Jun 19, 2016
  
  b11527ae
- * Extend special rules of generation for protected objects to all · 62eeff57
  yoogx authored Jun 19, 2016
```
      types
```
  62eeff57
- * Update Scheduling protocol to · c3864fc1
  yoogx authored Jun 19, 2016
```
      POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL
```
  c3864fc1
- * Update files to latest revision · 6e20a0d8
  yoogx authored Jun 19, 2016
  
  6e20a0d8
- * Add Immediate_Priority_Ceiling_Protocol as · a6331d00
  yoogx authored Jun 19, 2016
```
      Supported_Concurrency_Control_Protocol
```
  a6331d00
17 Jun, 2016 9 commits
- * Update reference output · 8d9b777a
  Jerome Hugues authored Jun 17, 2016
  
  8d9b777a
- * Update refernce outputs · 9c238e0a
  Jerome Hugues authored Jun 17, 2016
  
  9c238e0a
- * Reset list of theorems to run · 46cd5ac2
  Jerome Hugues authored Jun 17, 2016
  
  46cd5ac2
- * Remove useless trace · 18ff7fb6
  Jerome Hugues authored Jun 17, 2016
  
  18ff7fb6
- * Add function to load REAL libraries and set main theorem to · 46bfbed8
  Jerome Hugues authored Jun 17, 2016
```
          evaluate
```
  46bfbed8
- * Add helper functions to load REAL libraries and set theorem to evaluate · 5f6b0787
  Jerome Hugues authored Jun 17, 2016
  
  5f6b0787
- * Typos · bdba0a16
  Jerome Hugues authored Jun 17, 2016
  
  bdba0a16
- * Add a separate function to load REAL libraries · 81ed76e3
  Jerome Hugues authored Jun 17, 2016
  
  81ed76e3
- * Analyze library theorems · 7af45062
  Jerome Hugues authored Jun 17, 2016
  
  7af45062
15 Jun, 2016 3 commits
- * Clean-up · 36397eb3
  Jerome Hugues authored Jun 15, 2016
  
  36397eb3
- * Take into account the Output_Filename variable to store REAL · 73f0aedf
  yoogx authored Jun 15, 2016
```
          output in a separate file
```
  73f0aedf
- * Use Outfiles functions directly · 1f8c026c
  yoogx authored Jun 15, 2016
  
  1f8c026c
11 Jun, 2016 2 commits
- Merge branch 'master' of https://github.com/OpenAADL/ocarina · 2bbd1b82
  yoogx authored Jun 11, 2016
  
  2bbd1b82
- * Adjust startup time of PolyORB-HI/C threads · d8cd7bfc
  yoogx authored Jun 11, 2016
  
  d8cd7bfc
10 Jun, 2016 5 commits
- * Remove outdated ChangeLog · bf46eacf
  yoogx authored Jun 10, 2016
  
  bf46eacf
- * Add AADLib as a regular runtime · 5ab130a1
  yoogx authored Jun 10, 2016
  
  5ab130a1
- * Added empty reference output · 60e635b1
  yoogx authored Jun 10, 2016
  
  60e635b1
- * Properly reinitialize root for resolution · b3da7dd7
  yoogx authored Jun 10, 2016
```
        Fix for github issue #66
```
  b3da7dd7
- * File test case for github issue #66 · e4e675f3
  yoogx authored Jun 10, 2016
  
  e4e675f3
31 May, 2016 2 commits
- * Typo · de5a40b2
  yoogx authored May 31, 2016
  
  de5a40b2
- * Update path to repositories, add AADLib · 4538b045
  yoogx authored May 31, 2016
  
  4538b045
30 May, 2016 2 commits
- * Do not count as errors failures when compiling files from · 7702ece2
  yoogx authored May 30, 2016
```
          the testsuite
```
  7702ece2
- * Remove -fPIC · 3371dac9
  yoogx authored May 30, 2016
  
  3371dac9
22 May, 2016 6 commits
- * Clean up · a143e9d8
  yoogx authored May 22, 2016
  
  a143e9d8
- * Minor corrections, for alignment with XtratuM 4.2.1 · 3b8f9bae
  yoogx authored May 22, 2016
  
  3b8f9bae
- * Correctly add processor frequency · c94f639e
  yoogx authored May 22, 2016
  
  c94f639e
- * Add support for Frequency type, and Processor_Frequency property · e0524786
  yoogx authored May 22, 2016
  
  e0524786
- * (Add_ULL_To_Name_Buffer): this function is now part of Ocarina.Namet · 99834e70
  yoogx authored May 22, 2016
  
  99834e70
- * (Add_ULL_To_Name_Buffer): new function to print an unsigned · e0b0793e
  yoogx authored May 22, 2016
```
          long long in any base.
```
  e0b0793e
28 Apr, 2016 1 commit
- * Add support for "-k pok" · 9a82469c
  yoogx authored Apr 28, 2016
  
  9a82469c
21 Apr, 2016 1 commit
- * Merge QGen patches from ESA repository · 4d78920e
  assert authored Apr 21, 2016
```
    For issue #64
```
  4d78920e
19 Apr, 2016 3 commits
- * Report error when a theorem is false · 6402581d
  Jerome Hugues authored Apr 19, 2016
  
  6402581d
- * Add processing of other types of messages, e.g. REAL traces · 30fa0438
  Jerome Hugues authored Apr 19, 2016
  
  30fa0438
- * Move instantiation and analyse part of REAL to its backend, · ed6fcec6
  Jerome Hugues authored Apr 19, 2016
```
          for symmetry with other backends
```
  ed6fcec6