Commits · 93799d28a273cf1f8678802108c9a3aa379b62ea · TASTE / buildsupport

13 Jan, 2017 2 commits
- Make set/reset timer functions protected · 93799d28
  Maxime Perrotin authored Jan 13, 2017
  
  93799d28
- Fix email and add --help · 35bf61b4
  Maxime Perrotin authored Jan 13, 2017
  
  35bf61b4
15 Dec, 2016 1 commit
- Make timer resolution user-defined · 43ecb12e
  Maxime Perrotin authored Dec 15, 2016
  
  43ecb12e
25 Nov, 2016 1 commit
- Report semantic errors after preprocessing backend · 63b0d5c3
  Maxime Perrotin authored Nov 25, 2016
  
  63b0d5c3
10 Nov, 2016 1 commit
- Go back to the right directory in case of errors · 810fe06a
  Maxime Perrotin authored Nov 10, 2016
  
  810fe06a
02 Nov, 2016 1 commit
- Initialize properly check_queue result · b1a70279
  Maxime Perrotin authored Nov 02, 2016
  
  b1a70279
16 Oct, 2016 1 commit
- Fix code that was generating warnings at compile time · 3c6cca85
  Maxime Perrotin authored Oct 16, 2016
  
  3c6cca85
14 Oct, 2016 1 commit
- Update build script to support V2 tools from Ellidiss · 336c16b0
  Maxime Perrotin authored Oct 14, 2016
  
  336c16b0
11 Oct, 2016 1 commit
- Generate VHDL code skeletons · fc390db8
  Maxime Perrotin authored Oct 11, 2016
  
  fc390db8
05 Oct, 2016 1 commit
- Detect GUI messages that exceed system limit · 8d679aa1
  Maxime Perrotin authored Oct 05, 2016
  
  8d679aa1
22 Sep, 2016 4 commits
- Call user-provided script from build script · 09da4d3f
  Maxime Perrotin authored Sep 22, 2016
```
user can provide init_script_pre.sh and init_script_post.sh containing
some commands to influence the build

e.g.
$ cat init_script_pre.sh
USE_POHIC=1
```
  09da4d3f
- Add missing newline and extern statement in vm_if.c · b57d7979
  Maxime Perrotin authored Sep 22, 2016
  
  b57d7979
- Fix regression with const in RI declarations · c2d5b23a
  Maxime Perrotin authored Sep 22, 2016
  
  c2d5b23a
- Ada wrappers use Unsigned_32 to store the length of buffers · 1d30fb5d
  Maxime Perrotin authored Sep 22, 2016
  
  1d30fb5d
01 Sep, 2016 2 commits
- Use pointers as expected by vdm B mappers · 6cc5648e
  Maxime Perrotin authored Sep 01, 2016
  
  6cc5648e
- Improve VDM backend · a4728995
  Maxime Perrotin authored Sep 01, 2016
  
  a4728995
31 Aug, 2016 7 commits
- Use proper VDM typename · 9c93d745
  Maxime Perrotin authored Aug 31, 2016
  
  9c93d745
- Remove badly placed semicolon · 4d234abf
  Maxime Perrotin authored Aug 31, 2016
  
  4d234abf
- Generate C glue for VDM systems · c495663a
  Maxime Perrotin authored Aug 31, 2016
  
  c495663a
- Fix buildsupport - Keep ASN.1 module name case · 998b482e
  Maxime Perrotin authored Aug 31, 2016
  
  998b482e
- Generate the call to VDM (commented) · 80770559
  Maxime Perrotin authored Aug 31, 2016
  
  80770559
- VDM bridge introduced · 1abcde63
  Maxime Perrotin authored Aug 31, 2016
  
  1abcde63
- Add VDM to mini-CV · 3685658d
  Maxime Perrotin authored Aug 31, 2016
  
  3685658d
30 Aug, 2016 4 commits
- Cosmetic · f0053de7
  Maxime Perrotin authored Aug 30, 2016
  
  f0053de7
- Fix Vdm return params · f0a9eef2
  Maxime Perrotin authored Aug 30, 2016
  
  f0a9eef2
- More VDM support · 9e3040bc
  Maxime Perrotin authored Aug 30, 2016
  
  9e3040bc
- More vdm support · 05eff342
  Maxime Perrotin authored Aug 30, 2016
  
  05eff342
29 Aug, 2016 1 commit
- Add preliminary support for vdm · 2590d82c
  Maxime Perrotin authored Aug 29, 2016
  
  2590d82c
04 Aug, 2016 1 commit
- Use a lock that does not require root access (Linux only) · 5455eb83
  Maxime Perrotin authored Aug 04, 2016
```
Patch pending on Jerome's approval before merging in the TASTE VM
```
  5455eb83
29 Jul, 2016 1 commit
- Add debug mode for checkQ · fc436bed
  Maxime Perrotin authored Jul 29, 2016
  
  fc436bed
24 Jul, 2016 4 commits
- STG configure graphviz with proper default values · d2f8e032
  Maxime Perrotin authored Jul 24, 2016
  
  d2f8e032
- Complete string template for dot · 4b28e43c
  Maxime Perrotin authored Jul 24, 2016
  
  4b28e43c
- Target creation of a neato graph · 26a93905
  Maxime Perrotin authored Jul 24, 2016
  
  26a93905
- Add stringtemplate backend for buildsupport · c3ce914a
  Maxime Perrotin authored Jul 24, 2016
  
  c3ce914a
22 Jul, 2016 1 commit

Remove local stack of calling threads · 5ead7462

Maxime Perrotin authored Jul 22, 2016

Sync functions need to know their calling threads when they call RIs.
This is not obtained via a POHIC interface
(POHIC only)

5ead7462

17 Jul, 2016 1 commit

In ads file (ada skeletons) generate RI with two names · da83a4e1

Maxime Perrotin authored Jul 17, 2016

Opengeode RI use a prefix RI<sep>RIname to avoid compilation name
clashes. However legacy TASTE systems using Ada are not expecting it.
Both must be supported.

da83a4e1

07 Jul, 2016 1 commit
- gui backend: add prototypes · 44dc769f
  Maxime Perrotin authored Jul 07, 2016
  
  44dc769f
01 Jul, 2016 3 commits
- Iterate · 81e7210d
  Maxime Perrotin authored Jul 01, 2016
  
  81e7210d
- Add new backend to work on model optimization · b9fd4328
  Maxime Perrotin authored Jul 01, 2016
  
  b9fd4328
- Fix minor typos · 4bd02e39
  Maxime Perrotin authored Jul 01, 2016
  
  4bd02e39