Commits · master · TASTE / properties

21 Feb, 2017 1 commit
- Make repo deprecated · bfaa6f18
  Maxime Perrotin authored Feb 21, 2017
  
  bfaa6f18
31 Jan, 2017 1 commit
- Use the model checker lib from asn1-iterators · 18435290
  Maxime Perrotin authored Jan 31, 2017
  
  18435290
30 Jan, 2017 1 commit
- Align with latest version of ASN1_Iterators · 89c1cab0
  Maxime Perrotin authored Jan 30, 2017
  
  89c1cab0
23 Jan, 2017 1 commit
- Add generation of scenario · ccdfe658
  Maxime Perrotin authored Jan 23, 2017
  
  ccdfe658
20 Jan, 2017 1 commit
- Create a full graph including edges · 35412d34
  Maxime Perrotin authored Jan 20, 2017
  
  35412d34
09 Jan, 2017 1 commit
- Optimize using ordered sets in place of vectors · d73ce7d5
  Maxime Perrotin authored Jan 09, 2017
```
Thanks Thanassis
```
  d73ce7d5
08 Jan, 2017 2 commits
- Update the model checker backend · 168e24e1
  Maxime Perrotin authored Jan 08, 2017
```
use the latest API of asn1-iterators
```
  168e24e1
- Add checker.py · 688a4805
  Maxime Perrotin authored Jan 08, 2017
```
Template file for generating a model checker for the given sdl model
```
  688a4805
31 Dec, 2016 3 commits
- Use flag wisely · bf1383dc
  Maxime Perrotin authored Dec 31, 2016
  
  bf1383dc
- Generate code that imports the context at runtime · c0e6d824
  Maxime Perrotin authored Dec 31, 2016
  
  c0e6d824
- Add option for non-dll targets · 2f293d07
  Maxime Perrotin authored Dec 31, 2016
  
  2f293d07
23 Dec, 2016 1 commit
- Flatten the model with proper separator · 7200c986
  Maxime Perrotin authored Dec 23, 2016
  
  7200c986
01 Dec, 2016 1 commit
- Generate Makefile to build the properties · bfb195fd
  Maxime Perrotin authored Nov 30, 2016
  
  bfb195fd
30 Nov, 2016 1 commit
- Update makefile to use pip · 9e477bef
  Maxime Perrotin authored Nov 30, 2016
  
  9e477bef
19 Jul, 2016 1 commit
- Fix setup.py and version number · 3e2fedc3
  Maxime Perrotin authored Jul 19, 2016
  
  3e2fedc3
22 Aug, 2015 1 commit
- Update testcase to match opengeode test-simu · 84968d20
  Maxime Perrotin authored Aug 22, 2015
  
  84968d20
19 Mar, 2015 2 commits
- Makefile create DLL for testing · 182b6615
  Maxime Perrotin authored Mar 19, 2015
  
  182b6615
- Add remote procedure flag to get export to C · e99fcf90
  Maxime Perrotin authored Mar 19, 2015
  
  e99fcf90
18 Mar, 2015 1 commit
- Use -gnat2012 flag · ff869dfd
  Maxime Perrotin authored Mar 18, 2015
  
  ff869dfd
17 Mar, 2015 4 commits
- Add test rule in makefile · 72b430a5
  Maxime Perrotin authored Mar 17, 2015
  
  72b430a5
- Properties compile on test case · 6b8b42f5
  Maxime Perrotin authored Mar 17, 2015
  
  6b8b42f5
- Add code of properties as return statement · d9b270a7
  Maxime Perrotin authored Mar 17, 2015
  
  d9b270a7
- Generate first layout of Ada code · 976b5af3
  Maxime Perrotin authored Mar 17, 2015
  
  976b5af3
16 Mar, 2015 2 commits
- Add properties to test · 03b9b1c5
  Maxime Perrotin authored Mar 16, 2015
  
  03b9b1c5
- Parse properties in one shot · c20dbdb3
  Maxime Perrotin authored Mar 16, 2015
  
  c20dbdb3
15 Mar, 2015 3 commits
- Parse, generate code and print the result · 5ba1bf19
  Maxime Perrotin authored Mar 15, 2015
  
  5ba1bf19
- Add testcase · 1fe01443
  Maxime Perrotin authored Mar 15, 2015
  
  1fe01443
- first commit · 955fa303
  Maxime Perrotin authored Mar 15, 2015
  
  955fa303