Commits · master · Tutoren / Formale Syntax / xle-docker

Browse files

May 26, 2022
- Document changes in output · 6089ff29
  Jakob Moser authored May 26, 2022
  
  6089ff29
- Output error to stderr · 9eb99c1e
  Jakob Moser authored May 26, 2022
  
  9eb99c1e
- Use different exit code · c20aff86
  Jakob Moser authored May 26, 2022
  
  c20aff86
- Let container output XLE log on errors · b8e7c5db
  Jakob Moser authored May 26, 2022
  
  b8e7c5db
Apr 13, 2022
- Setup CI · e27a6dd0
  Jakob Moser authored Apr 13, 2022
  
  e27a6dd0
- Receive input via base64 encoded JSON · 3528a818
  Jakob Moser authored Apr 13, 2022
  3528a818
Apr 12, 2022
- Add documentation for the new feature · c9da3dce
  Jakob Moser authored Apr 12, 2022
  
  c9da3dce
- Also accept grammar from stdin · 46c1e71e
  Jakob Moser authored Apr 12, 2022
  
  46c1e71e
Mar 10, 2022
- Write parsed file directly to stdout · f251727a
  Jakob Moser authored Mar 10, 2022
  
  f251727a
- Rewrite Dockerfile to output packed fs XMLs instead · 92a32394
  Jakob Moser authored Mar 10, 2022
  
  92a32394
Mar 08, 2022
- Add Nico's blog · c9985d53
  Jakob Moser authored Mar 08, 2022
  
  View commits for tag screenshot-output screenshot-output
  c9985d53
- Remove superfluous newline · e5132a88
  Jakob Moser authored Mar 08, 2022
  
  e5132a88
- Add advanced information on xvfb, change title of advanced info sections · 02e312c6
  Jakob Moser authored Mar 08, 2022
  
  02e312c6
- Explain entrypoint · edc58a2b
  Jakob Moser authored Mar 08, 2022
  
  edc58a2b
- Add further sources · 3c03c45f
  Jakob Moser authored Mar 08, 2022
  
  3c03c45f
- Add about section · 0ac7a65d
  Jakob Moser authored Mar 08, 2022
  
  0ac7a65d
- Add trailing newline · 4bb94b7f
  Jakob Moser authored Mar 08, 2022
  
  4bb94b7f
- Add language type · a1f8f267
  Jakob Moser authored Mar 08, 2022
  
  a1f8f267
- Rename screenshot.png to parse.png · 09c40f24
  Jakob Moser authored Mar 08, 2022
  
  09c40f24
- Fix advanced tips display · 898a444c
  Jakob Moser authored Mar 08, 2022
  
  898a444c
- Add run and build instructions · bc00795a
  Jakob Moser authored Mar 08, 2022
  
  bc00795a
- Add Zinnwerk key and sources file · d796097a
  Jakob Moser authored Mar 08, 2022
  
  d796097a
- Add first draft of README · 17a67e9f
  Jakob Moser authored Mar 08, 2022
  
  17a67e9f
- Add entrypoint to run within Docker · d9bdc734
  Jakob Moser authored Mar 08, 2022
  
  d9bdc734
- Add Dockerfile · 0879448f
  Jakob Moser authored Mar 08, 2022
  
  0879448f