Commits · 67bb7ec7be695e0d2e0ddc3e97553bbd094718e5 · general / stups / tlc4b

Mar 29, 2022
- Fix indents and add .editorconfig · 67bb7ec7
  dgelessus authored 3 years ago
  
  67bb7ec7
- remove accidentally added file · 9db404bf
  Michael Leuschel authored 3 years ago
  9db404bf
- add example · 3c60679a
  Michael Leuschel authored 3 years ago
  
  3c60679a
Feb 08, 2022
- Fix GitLab CI badge in README · 643fae5b
  dgelessus authored 3 years ago
  
  643fae5b
Feb 04, 2022
- update makefile · 5e70dd4b
  Michael Leuschel authored 3 years ago
  5e70dd4b
- Set parser version to lowest compatible with tla2bAST 1.1.0 · 8f315380
  dgelessus authored 3 years ago
  8f315380
- Update build status badge in README · bdfed330
  dgelessus authored 3 years ago
  
  bdfed330
- Migrate from Travis CI to GitLab CI · 133b9604
  dgelessus authored 3 years ago
  
  133b9604
- Normalize to Unix newlines · 898bb02b
  dgelessus authored 3 years ago
  
  898bb02b
- try and fix issue with ENABLED for LTL formulas · c0600330
  Michael Leuschel authored 3 years ago
  c0600330
- add more standard ProB DEFINITIONS · 0b17bfb9
  Michael Leuschel authored 3 years ago
  0b17bfb9
Aug 16, 2021
- bump parser version from 2.9.12 to 2.9.17 · ccee43ad
  Michael Leuschel authored 3 years ago
  ccee43ad
Jan 29, 2019
- use dumb terminal · e29427b3
  David Schneider authored 6 years ago
  
  e29427b3
Jan 16, 2019
- Mark Makefile targets as PHONY · f2642b11
  David Schneider authored 6 years ago
  
  f2642b11
- Update Makefile, use gradle wrapper · bf57a3e2
  David Schneider authored 6 years ago
  
  bf57a3e2
Jan 15, 2019
- add Makefile as a reminder of what to call in gradle · 96eaff11
  Michael Leuschel authored 6 years ago
  
  96eaff11
- set version to 1.0.5-SNAPSHOT · deb4ba6b
  Michael Leuschel authored 6 years ago
  
  deb4ba6b
- bump version number to 1.0.4 · 357667b8
  Michael Leuschel authored 6 years ago
  
  357667b8
- Merge branches 'develop' and 'develop' of github.com:hhu-stups/tlc4b into develop · 89e5f6f4
  dohan authored 6 years ago
  
  89e5f6f4
- update to be compatible with gradle 5.0 · 3d93cc9b
  dohan authored 6 years ago
  
  3d93cc9b
- fix treatment of .sys file ending · e5930255
  Michael Leuschel authored 6 years ago
  
  e5930255
- try and allow .sys files · 442ca327
  Michael Leuschel authored 6 years ago
  
  442ca327
Nov 30, 2018
- Remove slack notifications · eadfdc80
  David Schneider authored 6 years ago
  
  eadfdc80
- Update travis ci · 40ef2955
  David Schneider authored 6 years ago
  
  40ef2955
- Merge pull request #1 from bivab/develop · 0d55630b
  David Schneider authored 6 years ago
  0d55630b
Nov 29, 2018
- Update .travis.yml · b2a0afb2
  David Schneider authored 6 years ago
  
  b2a0afb2
- Updated tests to use local copy of public examples · 82cd59b6
  David Schneider authored 6 years ago
  
  82cd59b6
- Add gradle tasks to download and extract and remove prob public examples · 4747bc77
  David Schneider authored 6 years ago
  
  4747bc77
- Use plugins block for plugins · ef4c75f1
  David Schneider authored 6 years ago
  
  ef4c75f1
- Set unix newlines on build.gradle · a7b65029
  David Schneider authored 6 years ago
  
  a7b65029
- Add generated test files to gitignore · 499c5e53
  David Schneider authored 6 years ago
  
  499c5e53
- Add gradle wrapper · 09e29db3
  David Schneider authored 6 years ago
  
  09e29db3
Aug 31, 2018
- bump version number to 1.0.4-SNAPSHOT · b76069dc
  dohan authored 6 years ago
  
  b76069dc
- Merge tag '1.0.3' into develop · 52941615
  dohan authored 6 years ago
  52941615
- Merge branch 'release/1.0.3' · a9e8bfbf
  dohan authored 6 years ago
  
  View commits for tag 1.0.3 1.0.3
  
  a9e8bfbf
- bump version number · 1c03809d
  dohan authored 6 years ago
  
  1c03809d
- adapt to new parser version · ed6f7312
  dohan authored 6 years ago
  
  ed6f7312
- Merge branch 'master' into develop · 310f43d9
  dohan authored 6 years ago
  310f43d9
Aug 07, 2017
- change order of statements · 54663046
  dohan authored 7 years ago
  
  54663046
- remove unused import · 2fd8d3be
  dohan authored 7 years ago
  
  2fd8d3be