search

klee / klee-web

KLEE in the browser
Other
50 stars 15 forks source link

Update containers #142

Closed andronat closed 4 years ago

andronat commented 4 years ago

Various container related updates. Also reworked Postgres in order to rely to defaults as much as possible.