Commits · b18ceaef1aa4ba4abb526ad3963ae46da58ce440 · TASTE / Ocarina

10 Dec, 2014 11 commits
- * Integrate patch for ticket #16 · b18ceaef
  yoogx authored Dec 10, 2014
  
  b18ceaef
- * Update reference output · 9f824e6d
  yoogx authored Dec 10, 2014
  
  9f824e6d
- * (Add_File_To_Parse_List): change the semantics of · b2ce8696
  yoogx authored Dec 10, 2014
```
          Add_Suffix, if Add_Suffix is false, and no .aadl suffix is
          found, then simply discard the name.

          Fix for ticket #20
```
  b2ce8696
- * Remove useless package · 75b97566
  yoogx authored Dec 10, 2014
  
  75b97566
- * Update reference output · 63eac827
  yoogx authored Dec 10, 2014
  
  63eac827
- * Simple test · 732e59ea
  yoogx authored Dec 10, 2014
  
  732e59ea
- * Start implementing accessors for new ARINC653 property set · 5e0695e3
  yoogx authored Dec 10, 2014
  
  5e0695e3
- * Initial support for instanciating record properties · bba0a978
  yoogx authored Dec 10, 2014
```
        For ticket #17
```
  bba0a978
- * Minor reformatting · 175c9d20
  yoogx authored Dec 10, 2014
  
  175c9d20
- * Minor reformatting · a040eb79
  yoogx authored Dec 10, 2014
  
  a040eb79
- * Convert_Value_To_Time_Type: make it public · 6ace1843
  yoogx authored Dec 10, 2014
  
  6ace1843
09 Dec, 2014 2 commits
- remove the space in the beginning of the · ae6fbe3d
  Julien authored Dec 09, 2014
```
identifier. Fix deos configuration generation.
```
  ae6fbe3d
- * Update reference output · 3220cfd0
  yoogx authored Dec 09, 2014
  
  3220cfd0
08 Dec, 2014 3 commits
- Generation of DeOS configuration works · e6a977f7
  Julien authored Dec 08, 2014
  
  e6a977f7
- Add files to avoid conflicts with deos · c1b6edcd
  Julien authored Dec 08, 2014
  
  c1b6edcd
- Code that can compile on deos · 0229a69d
  Julien authored Dec 07, 2014
  
  0229a69d
06 Dec, 2014 2 commits
- improve configuration file generation · 45ac55a3
  Julien authored Dec 06, 2014
  
  45ac55a3
- Update the deployment, do not generate kernel · 4c6893bc
  Julien authored Dec 06, 2014
```
deployment when using DEOS
```
  4c6893bc
05 Dec, 2014 7 commits
- update runtime for pok_c, remove multiple blank lines · d5b0a556
  Julien authored Dec 05, 2014
  
  d5b0a556
- update memory properties · 3cd6f146
  Julien authored Dec 05, 2014
  
  3cd6f146
- Add comment · 754372fc
  Julien authored Dec 05, 2014
  
  754372fc
- Add the -k deos option to the pok generation tool · 61ec3cee
  Julien authored Dec 05, 2014
  
  61ec3cee
- Start to generate DEOS specific code · fca3678e
  Julien authored Dec 05, 2014
  
  fca3678e
- Add the main structure of the XML configuration file · ab215fe1
  Julien authored Dec 05, 2014
  
  ab215fe1
- start to generate partition/ elements · 5437f6b4
  Julien authored Dec 04, 2014
  
  5437f6b4
04 Dec, 2014 5 commits
- * Update reference output · 728cc734
  yoogx authored Dec 04, 2014
  
  728cc734
- update configuration generator · dd249b83
  Julien authored Dec 04, 2014
  
  dd249b83
- First start of the DeOS configuration generator · 40075cae
  Julien authored Dec 04, 2014
  
  40075cae
- Add deos config files · c601a5f2
  Julien authored Dec 04, 2014
  
  c601a5f2
- * Defend against a dubious iteration over Expanded_Multi_Value · c8e7379f
  yoogx authored Dec 04, 2014
```
          that is null for record properties.

          For github ticket #17
```
  c8e7379f
01 Dec, 2014 1 commit
- * Also ignore GNAT Project temp files · 1c7c282a
  yoogx authored Dec 01, 2014
  
  1c7c282a
28 Oct, 2014 1 commit
- * Update Alloy backend to consider two kind of root systems · dbc15b29
  yoogx authored Oct 28, 2014
  
  dbc15b29
15 Oct, 2014 1 commit
- * Finally include machinery to compile Python code · f37afb13
  yoogx authored Oct 15, 2014
  
  f37afb13
15 Sep, 2014 3 commits
- * Typo · 40a12b24
  yoogx authored Sep 15, 2014
  
  40a12b24
- * Adjust mapping rules · c08f8865
  yoogx authored Sep 15, 2014
  
  c08f8865
- * Add rule for mapping "::" to "__" · 80decb60
  yoogx authored Sep 15, 2014
  
  80decb60
09 Sep, 2014 1 commit
- * Adjust file name + header · 61a1be84
  yoogx authored Sep 09, 2014
  
  61a1be84
04 Sep, 2014 3 commits
- * Update reference output · 257886c5
  yoogx authored Sep 04, 2014
  
  257886c5
- * First prototype of Alloy backend · 31027ba1
  yoogx authored Sep 04, 2014
  
  31027ba1
- * Minor reformatting · b112ca94
  yoogx authored Sep 04, 2014
  
  b112ca94