adalib
obj
proof.log
proof.log.tmp
*.o
*.ali
b__*.ad?
*.stdout
*.stderr
*.bexch
examples/area
examples/b64
examples/json
examples/jwt
examples/authproxy
examples/gnatprove
undefined.ciu
graph.vcg
*.ci