Commits · f5698acd43d0d6542a046cf7af9ae1d604a8feb5 · Spot / spins-ltsmin-deb

11 Sep, 2019 7 commits
- finish migration to gitlab-ci · f5698acd
  Alexandre Duret-Lutz authored Jan 26, 2018
```
* .gitlab-ci.yml: Add dput tag.
* debian/changelog: Bump version.
```
  f5698acd
- setup gitlab CI · c3fcafc2
  Alexandre Duret-Lutz authored Jan 24, 2018
  
  c3fcafc2
- * debian/gbp.conf: Always upload the source. · 4d0488bb
  Alexandre Duret-Lutz authored Nov 11, 2016
  
  4d0488bb
- Do not systematically declare spins_reach(). · 67ab30ee
  Alexandre Duret-Lutz authored Jun 22, 2016
  
  67ab30ee
- * spins: update to match newer upstream version of spins.sh · d3697a1c
  Alexandre Duret-Lutz authored Jun 22, 2016
  
  d3697a1c
- depends on ant · 822312f6
  Alexandre Duret-Lutz authored Jun 09, 2016
  
  822312f6
- First version of the Debian files. · 2ce40d45
  Alexandre Duret-Lutz authored Jun 06, 2016
  
  2ce40d45
02 Dec, 2018 11 commits
- Turn off copy vector · bcc898c3
  Alfons Laarman authored Dec 02, 2018
  
  bcc898c3
- Print errors in lieu of static exceptions · 2a5d3a27
  Alfons Laarman authored Dec 02, 2018
```
TODO: new for loop construction
```
  2a5d3a27
- Improve printer performance · 88ce17cb
  Alfons Laarman authored Dec 02, 2018
  
  88ce17cb
- Fix test suite · 442ef4a6
  Alfons Laarman authored Dec 02, 2018
  
  442ef4a6
- Optimize perpetual exception creation 2 · 467490da
  Alfons Laarman authored Dec 02, 2018
  
  467490da
- Optimize predicates · 25022086
  Alfons Laarman authored Dec 02, 2018
  
  25022086
- Remove perpetual exception creation · 5bc54f32
  Alfons Laarman authored Dec 02, 2018
  
  5bc54f32
- Indent fixes · 4685e5d9
  Alfons Laarman authored Dec 02, 2018
  
  4685e5d9
- Optimize unless code · 6c19dc8f
  Alfons Laarman authored Dec 02, 2018
  
  6c19dc8f
- 32 bit PCs · b81fb4a0
  Alfons Laarman authored Dec 02, 2018
  
  b81fb4a0
- Merge pull request #11 from PimW/master · d72ebddd
  Alfons Laarman authored Dec 02, 2018
```
Fixed output formatting bug 
```
  d72ebddd
21 Nov, 2018 2 commits
- Fixed problem with syntax errors differently · aa05f548
  Pim Wijn authored Nov 21, 2018
  
  aa05f548
- Fixed output formatting bug where models compiled without -T would get syntax errors · 8d8f1727
  Pim Wijn authored Nov 21, 2018
  
  8d8f1727
20 Aug, 2018 1 commit
- Generate bounds checks (assertions) · 186182e1
  Alfons Laarman authored Aug 14, 2018
```
-T implements a total transition function
```
  186182e1
14 Jan, 2018 7 commits
- Ignore never by default · 5f8d058c
  Alfons Laarman authored Jan 14, 2018
  
  5f8d058c
- Fix timeouts · ecb14071
  Alfons Laarman authored Jan 14, 2018
  
  ecb14071
- Fix assignedTo for structs · 4bac1afd
  Alfons Laarman authored Jan 14, 2018
  
  4bac1afd
- Support structs in channels · 8e0eb28f
  Alfons Laarman authored Jan 14, 2018
  
  8e0eb28f
- Fix GIOP models · 41d0d5a6
  Alfons Laarman authored Jan 14, 2018
  
  41d0d5a6
- Fix GARP models · 174a304c
  Alfons Laarman authored Jan 14, 2018
  
  174a304c
- Total transition function with -T (see LTSmin --local · c344d3ed
  Alfons Laarman authored Nov 04, 2017
  
  c344d3ed
31 Aug, 2017 1 commit
- Fix GCC warning. · bfca30be
  Jeroen Meijer authored Aug 31, 2017
  
  bfca30be
19 Aug, 2017 1 commit
- Fix compilation issue · a414f8b1
  Alfons Laarman authored Aug 19, 2017
  
  a414f8b1
08 Jul, 2017 2 commits
- Allow procs to end on a label · c31f7539
  Alfons Laarman authored Jul 08, 2017
  
  c31f7539
- Fix label writing for copied transitions · 5aadce7d
  Alfons Laarman authored Jul 08, 2017
  
  5aadce7d
14 Feb, 2017 1 commit
- Export ICE matrix · 873b4f2c
  Alfons Laarman authored Feb 14, 2017
  
  873b4f2c
13 Feb, 2017 2 commits
- Export EdgeIn information (for GBedgeInGroup implementaiton) · 518bde9e
  Alfons Laarman authored Feb 13, 2017
  
  518bde9e
- Export assertion labels (for visibility in LTSmin) · 41996d74
  Alfons Laarman authored Feb 13, 2017
  
  41996d74
19 Nov, 2016 2 commits
- Fix DM · e90e1347
  Alfons Laarman authored Nov 19, 2016
  
  e90e1347
- Fix spins script (—help was now displayed without file option parameter) · 32769270
  Alfons Laarman authored Apr 06, 2016
```
also allow options to test script
```
  32769270
04 Nov, 2016 1 commit
- Do not add values for native LTSmin type formats anymore. · d6347952
  Jeroen Meijer authored Nov 04, 2016
  
  d6347952
31 Mar, 2016 2 commits
- Small refactor · 3c94f62c
  Alfons Laarman authored Mar 31, 2016
  
  3c94f62c
- Option ignore atomics · b543e6c6
  Alfons Laarman authored Mar 31, 2016
```
Better for LTSmin POR and symbolic
```
  b543e6c6