WAR load support#608

Closed

mgudemann wants to merge 9 commits intodiffblue:developfrom

mgudemann:war_load_support

Commits on Aug 23, 2017

Add war file regression test
Matthias Güdemann
committed
Change to goto-cc/compile.cpp
Matthias Güdemann
committed
Remove WAR class prefix
Matthias Güdemann
committed
Add .war suffix to language options
Matthias Güdemann
committed
Add .war suffix to class_loader
Matthias Güdemann
committed
Add wiki link as documentation for WAR format
Matthias Güdemann
committed

Commits on Aug 24, 2017

Support empty jar/war JSON array
Matthias Güdemann
committed
Restructure java_bytecode_language
Matthias Güdemann
committed
Update WAR file regression test
Matthias Güdemann
committed