Commits · master · pseuco / pseuCo Static Semantics

May 31, 2024
- 2.1.1 · d124b67b
  Sebastian Biewer authored 10 months ago
  
  d124b67b
- Fixed bug in return-exhaustiveness check · 65710e79
  Sebastian Biewer authored 10 months ago
  
  65710e79
Mar 28, 2024
- 2.1.0 · 0d19abae
  Sebastian Biewer authored 1 year ago
  
  0d19abae
- Upgraded pseuco/lang version · 35bb2540
  Sebastian Biewer authored 1 year ago
  
  35bb2540
Mar 27, 2024
- updated tests repo · fc6e07b9
  Sebastian Biewer authored 1 year ago
  
  fc6e07b9
- Added JSDoc for the most important methods · 73ca79d9
  Sebastian Biewer authored 1 year ago
  
  73ca79d9
Mar 21, 2024
- v2.0.0 · 36413c5a
  Sebastian Biewer authored 1 year ago
  
  36413c5a
- 2.0.0 · 79c74e8e
  Sebastian Biewer authored 1 year ago
  
  79c74e8e
- Updated change log · 165de0a8
  Sebastian Biewer authored 1 year ago
  
  165de0a8
- Updated change log · 482ec7cb
  Sebastian Biewer authored 1 year ago
  
  482ec7cb
Mar 20, 2024
- Make pseuco-lang a peer dependency · ea2fb1fd
  Sebastian Biewer authored 1 year ago
  
  ea2fb1fd
Mar 19, 2024
- Added support for type warnings · 8cb75a75
  Sebastian Biewer authored 1 year ago
  
  8cb75a75
- added test file · 73254063
  Sebastian Biewer authored 1 year ago
  
  73254063
Mar 07, 2024
- Added readme file and changelog file · 2b90973b
  Sebastian Biewer authored 1 year ago
  
  2b90973b
Mar 06, 2024
- Published v1.0.0 · e3be21c3
  Sebastian Biewer authored 1 year ago
  
  e3be21c3
- fixed tests · 152c0359
  Sebastian Biewer authored 1 year ago
  
  152c0359
- cleaning up before publish · be52c483
  Sebastian Biewer authored 1 year ago
  
  be52c483
Feb 14, 2024
- StaticSemantics.checkTypes() now returns true or false · 5120142e
  Sebastian Biewer authored 1 year ago
  
  5120142e
Feb 13, 2024
- Merge branch 'master' of ssh://dgit.cs.uni-saarland.de:2222/pseuco/pseuco-static-semantics · a64169d3
  Sebastian Biewer authored 1 year ago
  
  a64169d3
- Ignore array size and channel capacity for assignments · 57921310
  Sebastian Biewer authored 1 year ago
  
  57921310
Feb 07, 2024
- Merge branch 'fix-npm' into 'master' · 3596e6e1
  Sebastian Biewer authored 1 year ago
  3596e6e1
- Update pseuco-lang · 3a7222d6
  Felix Freiberger authored 1 year ago
  
  3a7222d6
- Fix CI error · c294f82e
  Felix Freiberger authored 1 year ago
  
  c294f82e
- Enable GitLab CI · 5995cb7e
  Felix Freiberger authored 1 year ago
  
  5995cb7e
- Install pseuco-tests by relative URL · 7eb36bad
  Felix Freiberger authored 1 year ago
  
  7eb36bad
- Do not lint on build as it fails · 08d8ee21
  Felix Freiberger authored 1 year ago
  
  08d8ee21
- Try to make NPM happy · 68ca7cd9
  Felix Freiberger authored 1 year ago
  
  68ca7cd9
- adapted to lang changes · da3c7e6c
  Sebastian Biewer authored 1 year ago
  
  da3c7e6c
Apr 11, 2023
- exposed more type functions · bacb93e2
  Sebastian Biewer authored 2 years ago
  
  bacb93e2
Mar 31, 2023
- changes to make type checker usable externally · 0e8a8305
  Sebastian Biewer authored 2 years ago
  
  0e8a8305
Mar 27, 2023
- several bug fixes · 2b019f57
  Sebastian Biewer authored 2 years ago
  
  2b019f57
Mar 24, 2023
- package.json · fb20e44d
  Sebastian Biewer authored 2 years ago
  
  fb20e44d
Mar 23, 2023
- more test cases · f1989a43
  Sebastian Biewer authored 2 years ago
  
  f1989a43
- remove undesired gitignore file · 01054729
  Sebastian Biewer authored 2 years ago
  
  01054729
Mar 22, 2023
- update · 87c0a69b
  Sebastian Biewer authored 2 years ago
  
  87c0a69b
Mar 21, 2023
- update · d0755b15
  Sebastian Biewer authored 2 years ago
  
  d0755b15
Oct 20, 2021
- Finished TypeEnvironmentVisitor · e568a262
  Sebastian Biewer authored 3 years ago
  
  e568a262
Aug 25, 2021
- Sketched how TypeEnvironmentVistor can be implemented · 37ebb40f
  Sebastian Biewer authored 3 years ago
  
  37ebb40f
- Changed env mappings to declarations instead of types · 11586be1
  Sebastian Biewer authored 3 years ago
  
  11586be1
- WIP: Type environments · 318bb383
  Sebastian Biewer authored 3 years ago
  
  318bb383