Skip to content

Changes

#31 (Oct 14, 2019, 12:45:05 AM)

  1. add a new line between rules — adrian.pop / githubweb
  2. more processing — adrian.pop / githubweb

#30 (Oct 13, 2019, 6:43:13 PM)

  1. more processing to minimize the grammar diff — adrian.pop / githubweb

#29 (Oct 11, 2019, 7:07:44 PM)

  1. use make again to build the pdf and html — adrian.pop / githubweb

#28 (Oct 11, 2019, 2:54:21 PM)

  1. Add make to the latexml image — Martin Sjölund / githubweb

#27 (Oct 11, 2019, 2:47:43 PM)

  1. fix include extension — adrian.pop / githubweb

#26 (Oct 11, 2019, 2:42:03 PM)

  1. change grammar/ to chapters/ for include — adrian.pop / githubweb

#25 (Oct 11, 2019, 2:38:50 PM)

  1. prepare for syntax generation — adrian.pop / githubweb

#24 (Oct 11, 2019, 1:55:13 PM)

  1. call make in .CI/Jenkinsfile — adrian.pop / githubweb

#22 (Oct 11, 2019, 1:35:35 PM)

  1. use generated .g.tex files in syntax.tex — adrian.pop / githubweb

#19 (Oct 11, 2019, 11:33:26 AM)

  1. switch to k=3 — adrian.pop / githubweb

#19 (Oct 11, 2019, 11:33:26 AM)

  1. switch to k=3 — adrian.pop / githubweb

#19 (Oct 11, 2019, 11:33:26 AM)

  1. switch to k=3 — adrian.pop / githubweb

#18 (Oct 11, 2019, 11:31:24 AM)

  1. add missing ; — adrian.pop / githubweb

#18 (Oct 11, 2019, 11:31:24 AM)

  1. add missing ; — adrian.pop / githubweb

#17 (Oct 11, 2019, 11:29:09 AM)

  1. Work flow (#2412) — noreply / githubweb
  2. Update for-statement to refer to for-equation and clarify evaluation. (#2391) — noreply / githubweb
  3. Fix synchronous99 (#2394) — noreply / githubweb
  4. Fix whitespace in the code — Martin Sjölund / githubweb
  5. fix missed rule rename — adrian.pop / githubweb
  6. refs #2431: Fix underscores in rules — thomas.beutlich / githubweb
  7. refs #2433: Fix parentheses — thomas.beutlich / githubweb
  8. refs #2434: Fix more white spaces — thomas.beutlich / githubweb
  9. split der_class_specifier out of short_class_specifier — adrian.pop / githubweb
  10. small changes to the comments — adrian.pop / githubweb

#17 (Oct 11, 2019, 11:29:09 AM)

  1. Work flow (#2412) — noreply / githubweb
  2. Update for-statement to refer to for-equation and clarify evaluation. (#2391) — noreply / githubweb
  3. Fix synchronous99 (#2394) — noreply / githubweb
  4. Fix whitespace in the code — Martin Sjölund / githubweb
  5. fix missed rule rename — adrian.pop / githubweb
  6. refs #2431: Fix underscores in rules — thomas.beutlich / githubweb
  7. refs #2433: Fix parentheses — thomas.beutlich / githubweb
  8. refs #2434: Fix more white spaces — thomas.beutlich / githubweb
  9. split der_class_specifier out of short_class_specifier — adrian.pop / githubweb
  10. small changes to the comments — adrian.pop / githubweb

#15 (Sep 12, 2019, 5:21:15 PM)

  1. allow several classes in stored_definition — adrian.pop / githubweb

#14 (Sep 12, 2019, 2:42:49 PM)

  1. clean ANTLR3 before genrating ANTLR4 java files — adrian.pop / githubweb

#13 (Sep 12, 2019, 2:28:10 PM)

  1. use the section names from the spec, better clean in the Makefile — adrian.pop / githubweb

#12 (Sep 12, 2019, 1:26:23 PM)

  1. fix S_ESCAPE — adrian.pop / githubweb
  2. split grammar into sections — adrian.pop / githubweb

#11 (Sep 11, 2019, 2:28:03 PM)

  1. remove useless comment — adrian.pop / githubweb

#10 (Sep 10, 2019, 4:46:28 PM)

  1. Add a formal grammar using ANTLR — adrian.pop / githubweb
  2. Fixes — adrian.pop / githubweb
  3. WIP see if Jenkins strips CLASSPATH env.var — adrian.pop / githubweb
  4. WIP set CLASSPATH — adrian.pop / githubweb
  5. WIP add . to CLASSPATH — adrian.pop / githubweb
  6. Change grammar for function calls back to as written in the specification — adrian.pop / githubweb
  7. fix .CI/Jenkinsfile conflict — adrian.pop / githubweb

#5 (May 21, 2019, 2:14:44 PM)

  1. WIP add . to CLASSPATH — Martin Sjölund / githubweb

#4 (May 21, 2019, 2:13:46 PM)

  1. WIP set CLASSPATH — Martin Sjölund / githubweb

#3 (May 21, 2019, 1:32:00 PM)

  1. WIP see if Jenkins strips CLASSPATH env.var — Martin Sjölund / githubweb

#2 (May 21, 2019, 1:23:22 PM)

  1. Fixes — Martin Sjölund / githubweb