Commits · 3f6de4311dc312adfacb7c433503c8ac87c0d065 · TASTE / OpenGEODE

09 Apr, 2017 2 commits
- Update README · 3f6de431
  Maxime Perrotin authored Apr 09, 2017
  
  3f6de431
- Update README · dc54cd0c
  Maxime Perrotin authored Apr 09, 2017
  
  dc54cd0c
20 Mar, 2017 7 commits
- Fix symbol creation · 1d099988
  Maxime Perrotin authored Mar 20, 2017
  
  1d099988
- Add icon for process type · f9325401
  Maxime Perrotin authored Mar 20, 2017
  
  f9325401
- Z100 fix · 2b5ed1d5
  Maxime Perrotin authored Mar 20, 2017
  
  2b5ed1d5
- Complete support of process type · 2bca53d2
  Maxime Perrotin authored Mar 20, 2017
  
  2bca53d2
- Complete syntax and semantic checks of process types · 75737f20
  Maxime Perrotin authored Mar 20, 2017
  
  75737f20
- Iterate on the rendering of process type · 8778e665
  Maxime Perrotin authored Mar 20, 2017
  
  8778e665
- Add Process type symbol (incomplete) · 2c285cb5
  Maxime Perrotin authored Mar 20, 2017
  
  2c285cb5
19 Mar, 2017 5 commits
- Update version and README · 2236effb
  Maxime Perrotin authored Mar 19, 2017
  
  2236effb
- Add test-instance · 99607f26
  Maxime Perrotin authored Mar 19, 2017
  
  99607f26
- Test instantiation · c22b3857
  Maxime Perrotin authored Mar 19, 2017
  
  c22b3857
- Iterate on the Ada generation of process type · 04f80b2d
  Maxime Perrotin authored Mar 19, 2017
  
  04f80b2d
- Setup the grounds to support PROCESS TYPE construct and instances · cb7bf438
  Maxime Perrotin authored Mar 19, 2017
  
  cb7bf438
17 Mar, 2017 2 commits
- Elaborate the test case for DEFAULT values · bd071849
  Maxime Perrotin authored Mar 17, 2017
  
  bd071849
- Put in place test case for DEFAULT values · 3be69601
  Maxime Perrotin authored Mar 17, 2017
  
  3be69601
21 Feb, 2017 1 commit
- Remove misplaced printf · 7033b22a
  Maxime Perrotin authored Feb 21, 2017
  
  7033b22a
20 Feb, 2017 1 commit
- Fix minor issues with statechart configuration · 1333fdcb
  Maxime Perrotin authored Feb 20, 2017
  
  1333fdcb
19 Feb, 2017 2 commits
- Update version · f553b25b
  Maxime Perrotin authored Feb 19, 2017
  
  f553b25b
- Allow configuration of statecharts · 48af1941
  Maxime Perrotin authored Feb 18, 2017
  
  48af1941
16 Feb, 2017 1 commit
- Incomplete, add statechart configuration file · 28cb9527
  Maxime Perrotin authored Feb 16, 2017
  
  28cb9527
31 Jan, 2017 1 commit
- Generate aliased context in Ada backend · ebe7b22f
  Maxime Perrotin authored Jan 31, 2017
  
  ebe7b22f
30 Jan, 2017 1 commit
- Cleanup test-iterators · 7c382840
  Maxime Perrotin authored Jan 30, 2017
```
based on taste-properties 1.1.3 and installed version of asn1-iterators
```
  7c382840
23 Jan, 2017 2 commits
- Update auto-generated iterators · 4a4cc367
  Maxime Perrotin authored Jan 23, 2017
  
  4a4cc367
- [test-iterators] Don't delete working file · b34c8bea
  Maxime Perrotin authored Jan 23, 2017
  
  b34c8bea
22 Jan, 2017 2 commits
- Manual version of the model checker (work in progress) · ab0b54c3
  Maxime Perrotin authored Jan 22, 2017
  
  ab0b54c3
- Update iterators · 278fbb31
  Maxime Perrotin authored Jan 22, 2017
  
  278fbb31
16 Jan, 2017 1 commit
- In the PR file indent nicely the Text areas · f868ae2c
  Maxime Perrotin authored Jan 16, 2017
  
  f868ae2c
08 Jan, 2017 2 commits
- Update test-iterators · 21bb65d3
  Maxime Perrotin authored Jan 08, 2017
```
Model checker is now auto-generated
```
  21bb65d3
- Update test-iterators · 203cd372
  Maxime Perrotin authored Jan 08, 2017
  
  203cd372
04 Jan, 2017 1 commit
- Condition on the state for exhausting transitions · 5a6ba38e
  Maxime Perrotin authored Jan 04, 2017
  
  5a6ba38e
03 Jan, 2017 4 commits
- Update test-iterators · 02654e92
  Maxime Perrotin authored Jan 03, 2017
  
  02654e92
- test-iterator displays execution time · b7c5a419
  Maxime Perrotin authored Jan 03, 2017
  
  b7c5a419
- Optimize test-iterators · 74a59dd6
  Maxime Perrotin authored Jan 03, 2017
```
Use Containers.Ordered_Maps instead of Hashed_Sets.
```
  74a59dd6
- Simplify the SDL model of demo-iterators · ba8d4a08
  Maxime Perrotin authored Jan 03, 2017
  
  ba8d4a08
02 Jan, 2017 4 commits
- Increment test case · d1c553c9
  Maxime Perrotin authored Jan 03, 2017
  
  d1c553c9
- Setup more elements for model checking · 4bf129ed
  Maxime Perrotin authored Jan 02, 2017
  
  4bf129ed
- Add data to the state graph · c067f775
  Maxime Perrotin authored Jan 02, 2017
  
  c067f775
- Work on implementing an state graph · 9913222b
  Maxime Perrotin authored Jan 02, 2017
  
  9913222b
01 Jan, 2017 1 commit
- Add hash function, prepare state graph · 0ea9edae
  Maxime Perrotin authored Jan 02, 2017
  
  0ea9edae