Workaround for new bugs added in Breeze!

git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1350 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Modified Jandom parser to work with all the examples in the Random directory.
The analyzer has not yet been modified accordingly.


git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1351 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Piccoli migliorate parser per Random.

git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1352 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Aggiunto support per assegnamento non deterministico ai domini numerici.

git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1353 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Included domain operations to alter the number of dimensions. Needed to handle 
generic (even not linear) expressions.


git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1354 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Improved scaladoc.

git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1355 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Fixed new operation in BoxDouble and added test unit.

git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1356 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Modified sbt configuration to add a new Benchmark configuration.


git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1357 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
The "sbt eclipse" command will now correctly set the location of native PPL libraries in the
Eclipse project.


git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1358 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Remove the work-arounds for bugs in breeze, since they have been fixed.


git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1359 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Integrated the support for benchmarking with Caliper.

git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1360 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Fix for the sbt project.


git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1361 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Fixed the Caliper plugin to handle:
1) many benchmark classes
2) executing the benchmarks with JVM options.


git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1362 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Added a benchmark to test different implementation of boxes.


git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1363 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Added some examples and moved the ones relevant to localized widening/narrowing in the
WideningPaper directory.


git-svn-id: http://sci138.sci.unich.it/svn/main/Jandom/trunk@1364 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Merge commit 'a6107fd2e8f6ff68fff519d59770828e087dc71b' into sas2013
Fix tests for the integer based atomic conditions found in the SAS2013
branch
Added .gitignore
Add computation and reporting of performance measures: widenings and
narrowings.

Number of times widening and narrowing is called is now computed and
reported by the GUI.