Issues (1–8 of 8)

Title	T	P	Status	Votes	Assignee	Created	Updated	Actions
#8: Refactor the code in OO style, s.t. cleanup phase would be more explicit.	enhancement	major	new			2017-08-07	2017-08-07
#7: Install the dependency files (sample-silver.jar) automatically.	proposal	major	new			2017-08-07	2017-08-07
#6: Add tests.	task	major	new			2017-08-07	2017-08-07
#5: Check that the inference command in VS Code is applicable to Viper programs only.	proposal	major	new			2017-08-07	2017-08-07
#4: Implement cross-platform default locations for sample-silver.jar (as done in Viper-IDE).	proposal	major	new			2017-08-07	2017-08-07
#3: Implement a progress bar for progress reporting if inference takes too long.	proposal	major	new			2017-08-07	2017-08-07
#2: Check that the right Java version is installed in the system.	task	major	new			2017-08-07	2017-08-07
#1: Check if the jar file sample-silver.jar actually exists.	task	major	new			2017-08-07	2017-08-07