Commits · 63608c1264490ac1d50eb4a967ed2e25d0841bfb · TASTE / asn1-value-editor

15 Feb, 2018 1 commit
- create test application for msc streaming · 63608c12
  Maxime Perrotin authored Feb 15, 2018
  
  63608c12
28 Nov, 2017 1 commit
- .gitignore · ec5f56ac
  Thanassis Tsiodras authored Nov 28, 2017
  
  ec5f56ac
31 Oct, 2017 1 commit
- Fix checks for type case · aed1c704
  Maxime Perrotin authored Oct 31, 2017
  
  aed1c704
03 Aug, 2017 1 commit
- Fix buffers with ctypes properly · 222c849f
  Maxime Perrotin authored Aug 03, 2017
  
  222c849f
02 Aug, 2017 2 commits
- Update version · 90bbd93e
  Maxime Perrotin authored Aug 02, 2017
  
  90bbd93e
- Fix Scenario for MSC handling · fe939c7e
  Maxime Perrotin authored Aug 02, 2017
```
Create a buffer for each received message.
There are unclear issues with the use of .raw with ctypes String
buffers.
```
  fe939c7e
22 Jul, 2017 1 commit
- Update version · 2d014f91
  Maxime Perrotin authored Jul 22, 2017
  
  2d014f91
08 May, 2017 1 commit
- Add support for new VM's MSC Editor · 0e47ad76
  Maxime Perrotin authored May 08, 2017
  
  0e47ad76
23 Dec, 2016 2 commits
- Remove old comments · 56520265
  Maxime Perrotin authored Dec 23, 2016
  
  56520265
- Fix list of active tc for random simulation · dc427a7e
  Maxime Perrotin authored Dec 23, 2016
  
  dc427a7e
05 Oct, 2016 1 commit
- Fix missing "self" · 12329335
  Maxime Perrotin authored Oct 05, 2016
  
  12329335
03 Oct, 2016 1 commit
- Fix accomodation for the MSC editor · 18aa74b9
  Maxime Perrotin authored Oct 03, 2016
  
  18aa74b9
05 Sep, 2016 2 commits
- Update version · 960f8249
  Maxime Perrotin authored Sep 05, 2016
  
  960f8249
- Fix state selection when highlightning symbol · be896382
  Maxime Perrotin authored Sep 05, 2016
  
  be896382
03 Sep, 2016 1 commit
- Fix minor issues · 83f44008
  Maxime Perrotin authored Sep 03, 2016
  
  83f44008
21 Aug, 2016 1 commit
- Register check queue only if needed · 6576108e
  Maxime Perrotin authored Aug 21, 2016
  
  6576108e
20 Aug, 2016 2 commits
- Timeout to close dialog if user does not react · 34b8ec6f
  Maxime Perrotin authored Aug 20, 2016
  
  34b8ec6f
- SDL simulator: handle continuous signals · 8ed31b01
  Maxime Perrotin authored Aug 20, 2016
  
  8ed31b01
18 Aug, 2016 2 commits
- Use new OG API to get/restore context · 15cac722
  Maxime Perrotin authored Aug 18, 2016
  
  15cac722
- Generate proper, tested ctypes instances with ValueGenerator · 0cb468d7
  Maxime Perrotin authored Aug 18, 2016
  
  0cb468d7
16 Aug, 2016 2 commits
- ValueGenerator: process strings like the other types · 038ec9c2
  Maxime Perrotin authored Aug 16, 2016
  
  038ec9c2
- ValueGenerator fills up ctypes instances · 0a457745
  Maxime Perrotin authored Aug 16, 2016
  
  0a457745
10 Aug, 2016 1 commit
- Make exhaustive simulation interruptible · cdcfd4e8
  Maxime Perrotin authored Aug 10, 2016
  
  cdcfd4e8
09 Aug, 2016 1 commit
- Use custom product function also for seqof · a7245d8c
  Maxime Perrotin authored Aug 09, 2016
  
  a7245d8c
08 Aug, 2016 1 commit
- Complete exhaustive generation of SEQUENCE type · e459ff9b
  Maxime Perrotin authored Aug 08, 2016
  
  e459ff9b
04 Aug, 2016 5 commits
- Add tons of tests and fix bug found by tests · def89c60
  Maxime Perrotin authored Aug 04, 2016
  
  def89c60
- Keep dash in VN parsed strings · 009190c5
  Maxime Perrotin authored Aug 04, 2016
  
  009190c5
- Create test cases for the random value generator · 268ab8ee
  Maxime Perrotin authored Aug 04, 2016
  
  268ab8ee
- Increase version · d1cca318
  Maxime Perrotin authored Aug 04, 2016
  
  d1cca318
- Implement breadth first search · 8d62bb9b
  Maxime Perrotin authored Aug 04, 2016
  
  8d62bb9b
02 Aug, 2016 1 commit
- Add function that yields neighbor states · 35674081
  Maxime Perrotin authored Aug 02, 2016
  
  35674081
01 Aug, 2016 2 commits
- Store internal state with uPER encoding · 896f78c0
  Maxime Perrotin authored Aug 01, 2016
  
  896f78c0
- Check constraints and detect uninitialized variables · 4f2f2a5c
  Maxime Perrotin authored Aug 01, 2016
  
  4f2f2a5c
30 Jul, 2016 5 commits
- Minor edit · 644c52f4
  Maxime Perrotin authored Jul 30, 2016
  
  644c52f4
- Add placeholder for new model checker · c15e3fa7
  Maxime Perrotin authored Jul 30, 2016
```
..to run in a separate thread
```
  c15e3fa7
- Randomize strings · 3984b00b
  Maxime Perrotin authored Jul 30, 2016
  
  3984b00b
- Parse SDL with C target to get proper EnumID values · 6ac288e0
  Maxime Perrotin authored Jul 30, 2016
  
  6ac288e0
- Move out ASN.1 Random and Exhaustive value generation · a5629bc6
  Maxime Perrotin authored Jul 30, 2016
  
  a5629bc6
20 Jul, 2016 2 commits
- Update version · 82c4a2c5
  Maxime Perrotin authored Jul 20, 2016
  
  82c4a2c5
- GUIs: custom widget to store TC in databases · 16f6cf3f
  Maxime Perrotin authored Jul 20, 2016
  
  16f6cf3f