summaryrefslogtreecommitdiffstats
path: root/verigraph
ModeNameSize
-rw-r--r--LICENSE601logstatsplain
-rw-r--r--README.md14598logstatsplain
-rw-r--r--buildVeriGraph_gRPC.xml8093logstatsplain
d---------examples107logstatsplain
-rw-r--r--pom.xml6159logstatsplain
d---------service / src30logstatsplain
d---------src / main31logstatsplain
d---------target / m2e-wtp / web-resources / META-INF34logstatsplain
d---------tester156logstatsplain