https://github.com/uuverifiers/eldarica
Tip revision: ceeddefe97a0e137a05af5367c52c97e82a7bf68 authored by Philipp Ruemmer on 27 August 2024, 14:09:33 UTC
updated answers
updated answers
Tip revision: ceeddef
File | Mode | Size |
---|---|---|
.github | ||
cc-parser | ||
flata | ||
project | ||
regression-tests | ||
src | ||
template-parser | ||
tools | ||
.travis.yml | -rw-r--r-- | 230 bytes |
AUTHORS | -rw-r--r-- | 262 bytes |
LICENSE | -rw-r--r-- | 1.5 KB |
README.md | -rw-r--r-- | 3.6 KB |
build.sbt | -rw-r--r-- | 7.5 KB |
eld | -rwxr-xr-x | 211 bytes |
eld-client | -rwxr-xr-x | 2.3 KB |
eldEnv | -rw-r--r-- | 1.2 KB |