Skip to content

symbooglix/icst16-tools-docker-files

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

11 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Dockerfiles for Boogie tools used in the FIXME paper

This repository contains the Dockerfiles needed to build the tools used in the Symbooglix FIXME paper.

Some images are dependent on each other so just use the Makefile to build them.

$ make

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published