Move all docker files to BESSPIN-Environment, update them, and clean them up - Githubissues

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.

Other

6 stars 2 forks source link

Move all docker files to BESSPIN-Environment, update them, and clean them up #1046

Closed rtadros125 closed 3 years ago

rtadros125 commented 3 years ago

Related to #831 and #1004

[x] Move docker directory to BESSPIN-Environment
[x] Clean-up the documentation
[x] Add the besspin:gfe docker
[x] Add the gcc-8.3 docker
[x] Add the besspin-tool-suite docker container (imported from ticket #831)
[x] ~~Unify all container destinations~~ (This is covered by #1076)
[x] gfe ci
[x] besspin-tool-suite ci