add .png files for feedback

aa6c3784 · Kateřina Sloupová · 5030af0d · 5030af0d · aa6c3784 · aa6c3784
Commit aa6c3784 authored Jul 15, 2020 by Kateřina Sloupová
--- a/evalweb/static/img/disjunction.png
+++ b/evalweb/static/img/disjunction.png
--- a/evalweb/static/img/eq.png
+++ b/evalweb/static/img/eq.png
--- a/evalweb/static/img/eq_universal.png
+++ b/evalweb/static/img/eq_universal.png
--- a/evalweb/static/img/intersection.png
+++ b/evalweb/static/img/intersection.png
--- a/evalweb/static/img/s_in_t.png
+++ b/evalweb/static/img/s_in_t.png
--- a/evalweb/static/img/s_in_t_universal.png
+++ b/evalweb/static/img/s_in_t_universal.png
--- a/evalweb/static/img/t_in_s.png
+++ b/evalweb/static/img/t_in_s.png
--- a/evalweb/static/img/t_in_s_universal.png
+++ b/evalweb/static/img/t_in_s_universal.png
--- a/regenerate_grammars.sh
+++ b/regenerate_grammars.sh
+#!/bin/bash
+export CLASSPATH=".:/usr/local/lib/antlr-4.8-complete.jar:\$CLASSPATH"
+alias antlr4='java -Xmx500M -cp "/usr/local/lib/antlr-4.8-complete.jar:\$CLASSPATH" org.antlr.v4.Tool'
+antlr4 -Dlanguage=Python3 lib/parsing/DFA.g4
+antlr4 -Dlanguage=Python3 lib/parsing/NFA.g4
+antlr4 -Dlanguage=Python3 lib/parsing/CFG.g4
+antlr4 -Dlanguage=Python3  -visitor lib/parsing/RegEx.g4