search

Verites / verigraph

Software specification and verification system based on graph rewriting
https://verites.github.io/verigraph/
Apache License 2.0
37 stars 4 forks source link

Resolve warnings from compiler #28

Closed lm-rodrigues closed 7 years ago

lm-rodrigues commented 7 years ago

With the changes introduced on the api by #11 there are a big number of warnings from the compiler. We should make an effort to resolve them as soon as possible, since this makes logs difficult to read.