Commits · master · ba-lukasngl / CrySL

Browse files

Jun 14, 2023
- Add LICENSE · 1c140599
  Lukas Nagel authored Jun 14, 2023
  
  1c140599
Aug 29, 2022
- Add README · 33027bf0
  Lukas Nagel authored Aug 29, 2022
  
  33027bf0
- deploy artifacts · 87fe97b2
  Lukas Nagel authored Aug 29, 2022
  
  87fe97b2
- add gitlab deployment · cd023491
  Lukas Nagel authored Aug 29, 2022
  
  cd023491
- regenerate project with lsp support · 80cc218b
  Lukas Nagel authored Aug 26, 2022
  
  80cc218b
Oct 01, 2020
- Merge pull request #38 from CROSSINGTUD/ci/update-jenkins · c143d393
  schlichtig authored Oct 1, 2020
  View commits for tag 2.0.1 2.0.1 Unverified
  
  c143d393
- Change folder name. · 431b6bed
  Stefan Krueger authored May 15, 2020
  431b6bed
- Update jenkins file. · 12b0110b
  Stefan Krueger authored May 15, 2020
  12b0110b
- Merge pull request #37 from CROSSINGTUD/release/release-201 · b06797d1
  schlichtig authored Oct 1, 2020
  Unverified
  
  b06797d1
- increase version from 2.0.0 to 2.0.1 for missing files · 3439f837
  AnakinSklavenwalker authored Oct 1, 2020
  3439f837
- increase version from 2.0.0 to 2.0.1 · e9566c4c
  AnakinSklavenwalker authored Oct 1, 2020
  
  e9566c4c
- update generated comments · dd0f5ab1
  AnakinSklavenwalker authored Oct 1, 2020
  
  dd0f5ab1
May 27, 2020
- Add support for predicate => predicate in ENSURES block. · 8d06e773
  Stefan Krueger authored May 27, 2020
  8d06e773
- Add correct repos for distribution management. · 0e190308
  Stefan Krueger authored May 27, 2020
  0e190308
Apr 07, 2020
- Release 2.0 · 19692b6e
  Stefan Krueger authored Apr 7, 2020
  View commits for tag v2.0 v2.0
  
  19692b6e
Mar 31, 2020
- Fix generation of XText artefacts. · d227a572
  Stefan Krueger authored Mar 31, 2020
  Unverified
  
  d227a572
Mar 30, 2020
- Adding back missing dependency. · 8210ea94
  Stefan Krueger authored Mar 30, 2020
  Unverified
  
  8210ea94
- Lift version restrictions on dependencies as they are not necessary. · 0d89b85a
  Stefan Krueger authored Mar 30, 2020
  Unverified
  
  0d89b85a
- Updated some generated code. · 45aa0dc7
  Stefan Krueger authored Mar 30, 2020
  Unverified
  
  45aa0dc7
- Remove dead repository. · 66bcd6b2
  Stefan Krueger authored Mar 30, 2020
  Unverified
  
  66bcd6b2
- Increasing versions of several dependencies. · e34e6632
  Stefan Krueger authored Mar 30, 2020
  Unverified
  
  e34e6632
Dec 24, 2019
- Update Jenkinsfile to use custom SSH and SCP port · d247ee85
  Stefan Krüger authored Dec 24, 2019
  
  Unverified
  
  d247ee85
Dec 02, 2019
- Merge pull request #31 from gokcekrky/cryslRefactor · 571a3ac5
  Stefan Krüger authored Dec 2, 2019
  Unverified
  
  571a3ac5
Nov 22, 2019
- update version to 2.0.0 · 80d501de
  gkarakaya authored Nov 22, 2019
  
  80d501de
Nov 09, 2019
- issue #20 Refactor name of language · 4f512689
  gokcekrky authored Nov 9, 2019
  
  4f512689
- issue #20 Refactor name of language · 8d8615ed
  gokcekrky authored Nov 9, 2019
  
  8d8615ed
- issue #20 Refactor name of language · a89ff856
  gokcekrky authored Nov 9, 2019
  
  a89ff856
- issue #20 Refactor name of language · ac2584f7
  gokcekrky authored Nov 9, 2019
  
  ac2584f7
Nov 06, 2019
- Merge pull request #30 from AndreSonntag/master · 41f7fa1e
  Stefan Krüger authored Nov 6, 2019
  Unverified
  
  41f7fa1e
Nov 04, 2019
- Merge branch 'masterUpstream' · 5d4d0686
  AndreSonntag authored Nov 4, 2019
  5d4d0686
Oct 25, 2019
- Merge pull request #29 from gokcekrky/master · 13c1ba0f
  Stefan Krüger authored Oct 25, 2019
  Unverified
  
  13c1ba0f
Oct 23, 2019
- requested changes for new rule wizard (pull request #29) · d20892e9
  gokcekrky authored Oct 23, 2019
  
  d20892e9
Oct 10, 2019
- requested changes for new rule wizard (pull request #29) · a735d269
  gokcekrky authored Oct 10, 2019
  
  a735d269
Oct 09, 2019
- Merge pull request #6 from gokcekrky/newrulewizard · d372e453
  gokcekrky authored Oct 9, 2019
  Unverified
  
  d372e453
- Changes for New Rule Wizard (issue #17) · 69d167d8
  gokcekrky authored Oct 9, 2019
  
  69d167d8
Oct 07, 2019
- Merge branch 'masterUpstream' · 40f69472
  AndreSonntag authored Oct 7, 2019
  40f69472
- Updated binary files. · 86f04648
  Stefan Krueger authored Oct 7, 2019
  
  86f04648
- Merge branch 'ExtendEnsuresSection2' · 85d04571
  AndreSonntag authored Oct 7, 2019
  85d04571
Sep 18, 2019
- Adding binary files. · 2dc6aa2d
  Stefan Krueger authored Sep 18, 2019
  
  2dc6aa2d
- Some minor refactoring. · f96bfc54
  Stefan Krueger authored Sep 18, 2019
  
  f96bfc54