Commits · e73e99c7c2e60909f9c7f9d9a45401f6a9239da5 · TASTE / kazoo

25 Mar, 2019 1 commit
- Rename tool to kazoo · e73e99c7
  Maxime Perrotin authored Mar 25, 2019
  
  e73e99c7
20 Jul, 2018 1 commit
- Use Sets and not vectors when more relevant · 9e7f00ce
  Maxime Perrotin authored Jul 20, 2018
  
  9e7f00ce
11 Jun, 2018 2 commits
- Complete skeleton generation in GMV test · 9050a13c
  Maxime Perrotin authored Jun 11, 2018
  
  9050a13c
- Add large test case (from GMV) · 67847675
  Maxime Perrotin authored Jun 11, 2018
  
  67847675
02 Apr, 2018 1 commit
- Add system with mixed pro/unpro/spo/cyc · b24f1cbf
  Maxime Perrotin authored Apr 02, 2018
  
  b24f1cbf
23 Mar, 2018 3 commits
- Add test for the semantic checker · c881e011
  Maxime Perrotin authored Mar 23, 2018
  
  c881e011
- Verify that all functions are bound to a partition · 1b541f68
  Maxime Perrotin authored Mar 23, 2018
  
  1b541f68
- Add test for semantic check · d4baa069
  Maxime Perrotin authored Mar 23, 2018
  
  d4baa069
16 Mar, 2018 1 commit
- template for compiling Ada functions · a3b8f0c4
  Maxime Perrotin authored Mar 16, 2018
  
  a3b8f0c4
14 Mar, 2018 1 commit
- Removed need to pass TASTE_IV/DV_Properties.aadl · bb92976f
  Maxime Perrotin authored Mar 14, 2018
```
Files are now part of Ocarina library
```
  bb92976f
28 Feb, 2018 1 commit
- Improve templates · fc5a47bc
  Maxime Perrotin authored Feb 28, 2018
  
  fc5a47bc
24 Jan, 2018 2 commits
- Dump models into dedicated files in debug mode · cc53cbe0
  Maxime Perrotin authored Jan 24, 2018
  
  cc53cbe0
- Create output directory structure · 89bf5a8b
  Maxime Perrotin authored Jan 24, 2018
  
  89bf5a8b
21 Dec, 2017 1 commit
- Complete command line parser · 56aed8f1
  Maxime Perrotin authored Dec 21, 2017
  
  56aed8f1
29 Nov, 2017 1 commit
- Parse busses · e794562a
  Maxime Perrotin authored Nov 29, 2017
  
  e794562a
18 Jul, 2017 1 commit
- Make connection parsing return option type · e5c29d42
  Maxime Perrotin authored Jul 18, 2017
  
  e5c29d42
16 Jul, 2017 1 commit
- Setup test environment · 8da97961
  Maxime Perrotin authored Jul 16, 2017
  
  8da97961