Commits · master · Lars Schieffer / JANI2PINS

22 Sep, 2020 1 commit
- fix typo in README · c84931a7
  Lars Schieffer authored Sep 22, 2020
  
  c84931a7
18 Sep, 2020 1 commit
- update test models · b97338b1
  Lars Schieffer authored Sep 18, 2020
  
  b97338b1
04 Sep, 2020 1 commit
- fix typo in README · 3072472d
  Lars Schieffer authored Sep 04, 2020
  
  3072472d
03 Sep, 2020 1 commit
- server: allow connections from different machines · c98339e0
  Lars Schieffer authored Sep 03, 2020
  
  c98339e0
02 Sep, 2020 1 commit
- update typo in README · 041fa8b0
  Lars Schieffer authored Sep 02, 2020
  
  041fa8b0
28 Aug, 2020 1 commit
- update readme · 051d14af
  Lars Schieffer authored Aug 28, 2020
  
  051d14af
21 Aug, 2020 1 commit
- update supported models · ac15601d
  Lars Schieffer authored Aug 21, 2020
  
  ac15601d
13 Aug, 2020 1 commit
- update tests · 502c972e
  Lars Schieffer authored Aug 13, 2020
  
  502c972e
07 Aug, 2020 1 commit
- update README · 0175bb7c
  Lars Schieffer authored Aug 07, 2020
  
  0175bb7c
29 Jul, 2020 1 commit
- update implementation according to jani-model specification · e2331113
  Lars Schieffer authored Jul 29, 2020
  
  e2331113
14 Jul, 2020 1 commit
- implementing jsonschema for validating jani input files · 2910a46b
  Lars Schieffer authored Jul 14, 2020
  
  2910a46b
30 Jun, 2020 1 commit
- update readme · 0640dd1e
  Lars Schieffer authored Jun 30, 2020
  
  0640dd1e
29 Jun, 2020 2 commits
- add protocol · 59702507
  Lars Schieffer authored Jun 29, 2020
  
  59702507
- Initial commit · 398a89db
  Lars Schieffer authored Jun 29, 2020
  
  398a89db