Case Study Log


Commit Date  
[eb523c] by Jaroslav Kotrc Jaroslav Kotrc

Moved resource file to separate package and load it as resources.
Fixed main so it does not use libraries.
Fixed SPL config - jdom project separeted to 2 projects because init revision has to be build differently.

2012-11-25 16:24:23 Tree
[cc2171] by Frantisek Haas Frantisek Haas

Formated spl.xml.

2012-11-20 12:15:17 Tree
[933ee2] by Jaroslav Kotrc Jaroslav Kotrc

Changed spl.xml configuration to new interface.

2012-11-20 11:50:07 Tree
[c0f212] by Jaroslav Kotrc Jaroslav Kotrc

Added JDOM library for better debugging.
Added new generator for parsing file.
Added first annotation formula to measure Verifier.

2012-11-13 11:56:41 Tree
[eba7ce] by Jaroslav Kotrc Jaroslav Kotrc

Initial commit just to sketch case study projet structure. Needs to be revised and fixed.

Does not have any formulas, just one generator alias.
SPL configuration files have to be fixed with correct values especially JDOM project repository has to be set.

2012-11-13 00:37:50 Tree