Commits · master · TASTE / taste-model-checker

18 Jun, 2021 1 commit
- Use .NET Core version of asn1scc · 0d7e58a2
  Maxime Perrotin authored Jun 18, 2021
  
  0d7e58a2
23 Jun, 2018 5 commits
- Merge branch 'master' of https://gitrepos.estec.esa.int/taste/taste-model-checker · d2dd4c2d
  Maxime Perrotin authored Jun 23, 2018
  
  d2dd4c2d
- Create a Generic_Simple iterator for SeqOf · 1f8180b4
  Maxime Perrotin authored Jun 23, 2018
  
  1f8180b4
- Update readme of asn-iterators · c21445c9
  Maxime Perrotin authored Jun 23, 2018
  
  c21445c9
- Complete iteration of enumerated · 28e95302
  Maxime Perrotin authored Jun 23, 2018
  
  28e95302
- Code reformat and refactoring · 4bc8737a
  Maxime Perrotin authored Jun 23, 2018
  
  4bc8737a
22 Jun, 2018 4 commits
- Improve iteration of enumerated arrays · dc4c6e87
  Maxime Perrotin authored Jun 22, 2018
  
  dc4c6e87
- Improve the rendering of Enumerated · 43bca318
  Maxime Perrotin authored Jun 22, 2018
```
strip the asn1scc prefix and lowercase the string
```
  43bca318
- Improve a bit the enumerated · 7ec8bc4d
  Maxime Perrotin authored Jun 22, 2018
  
  7ec8bc4d
- Add iterators for enumerated types · 4aeaa78f
  Maxime Perrotin authored Jun 22, 2018
  
  4aeaa78f
21 Jun, 2018 2 commits
- Update README · 7797eab0
  Maxime Perrotin authored Jun 21, 2018
  
  7797eab0
- Add LICENSE · 7f16c91a
  Maxime Perrotin authored Jun 21, 2018
  
  7f16c91a
19 Jun, 2018 6 commits
- Regression in ASN1SCC v4 was fixed · 7665d48e
  Maxime Perrotin authored Jun 19, 2018
  
  7665d48e
- Add bit of documentation · 3aef348d
  Maxime Perrotin authored Jun 19, 2018
  
  3aef348d
- Work around an ASN1SCCv4 regression · 33290a60
  Maxime Perrotin authored Jun 19, 2018
  
  33290a60
- Improve installation scripts · d82b3ac3
  Maxime Perrotin authored Jun 19, 2018
  
  d82b3ac3
- Make a single call to ASN1SCC_V4 · 73595ac3
  Maxime Perrotin authored Jun 19, 2018
  
  73595ac3
- Update makefile · 82eb1398
  Maxime Perrotin authored Jun 19, 2018
  
  82eb1398
18 Jun, 2018 8 commits
- Update makefiles · e979576b
  Maxime Perrotin authored Jun 18, 2018
  
  e979576b
- Use gprinstall to install the library · 659176ba
  Maxime Perrotin authored Jun 18, 2018
  
  659176ba
- Add project file for the build of asn1_iterators · 143525f7
  Maxime Perrotin authored Jun 18, 2018
  
  143525f7
- Fix current build of iterators · ee28b08b
  Maxime Perrotin authored Jun 18, 2018
  
  ee28b08b
- Add iterator for unsigned integer · c1b6a44f
  Maxime Perrotin authored Jun 18, 2018
  
  c1b6a44f
- Prepare support for unsigned integers · ca099f01
  Maxime Perrotin authored Jun 18, 2018
  
  ca099f01
- Update stg files with latest templates · e040ff21
  Maxime Perrotin authored Jun 18, 2018
  
  e040ff21
- Update stg to be compliant with ASN1SCC_V4 · 6c9ee7f1
  Maxime Perrotin authored Jun 18, 2018
  
  6c9ee7f1
13 Jun, 2018 4 commits
- Use pip2, not pip, for installation · 119bf0b8
  Maxime Perrotin authored Jun 13, 2018
  
  119bf0b8
- Only install taste-properties in the Makefile · 318bd0ca
  Maxime Perrotin authored Jun 13, 2018
  
  318bd0ca
- use $(shell ....) in generated Makefile · 76dab5cd
  Maxime Perrotin authored Jun 13, 2018
  
  76dab5cd
- Update generated makefiles · 8eaf970c
  Maxime Perrotin authored Jun 13, 2018
```
List of ASN.1 files placed at the end of the call to asn1scc (mandatory
in asn1sccv4)
```
  8eaf970c
11 Sep, 2017 2 commits
- Merge branch 'master' of https://gitrepos.estec.esa.int/taste/taste-model-checker · 74ecb73c
  Maxime Perrotin authored Sep 11, 2017
  
  74ecb73c
- Fix missing mono in calls · 8dda67e1
  Maxime Perrotin authored Sep 11, 2017
  
  8dda67e1
03 May, 2017 1 commit
- .gitignore · 441fa4b3
  Thanassis Tsiodras authored May 03, 2017
  
  441fa4b3
24 Mar, 2017 1 commit
- Name archive properly!! · 2b66503a
  Maxime Perrotin authored Mar 24, 2017
  
  2b66503a
05 Mar, 2017 1 commit
- Iterate on the iterators (work in progress) · 4c18a8f1
  Maxime Perrotin authored Mar 05, 2017
  
  4c18a8f1
03 Mar, 2017 1 commit
- Start working on Initialize for SeqOf · e3be2a4d
  Maxime Perrotin authored Mar 03, 2017
  
  e3be2a4d
02 Mar, 2017 1 commit
- Skeleton of new seqof iterables · 49aaae94
  Maxime Perrotin authored Mar 02, 2017
  
  49aaae94
01 Mar, 2017 1 commit
- Introduce new generation of iterators · d4bc42b8
  Maxime Perrotin authored Mar 01, 2017
  
  d4bc42b8
21 Feb, 2017 2 commits
- Add makefile for installation · b0a70e95
  Maxime Perrotin authored Feb 21, 2017
  
  b0a70e95
- Create new repo for taste model checker · 905a87f6
  Maxime Perrotin authored Feb 21, 2017
  
  905a87f6