-- initial structure of Jandom

git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@588 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
-- initial import of Jandom

git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@607 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Implemented a parser and abstract tree for Random programs

git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@728 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
* Jandom almost works...

git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@732 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
* new type-safe version of analyzer
* support for BoxDouble using PPL


git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@733 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
- fixed the PPLBoxDouble domain. Now it works with the example program.

git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@734 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Many improvements to the Random target/parser


git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@735 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Removing .classpath from the SVN since it depends from the local 
build environment.

git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@798 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Renamed package LinearCondition into linercondition.

git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@799 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Moved the SLIL Target in its package "targets.SLIL".

git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@800 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Removed classpath from the repository.

git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@801 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
The Environment class does not use the Variable class anymore. The Variable class
might turn useful in the future, but for now it just creates and useless 
indirection level.

git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@802 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Parser for Linear Transition Systems is ready.

git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@803 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Renamed packages SLIL and LTS in order to consistently user lowercase
for package names.


git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@804 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Factored out the parsers for linear expressions and linear conditions.

git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@805 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Preliminary implementation of analyzer for linear transition system using naive iteration and
widening on all locations.

git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@806 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Implemented the closed convex polyhedra domain using the PPL, with a fake narrowing.

git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@807 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Actually, it appears no narrowing operators for polyedra has ever been defined, so
we remove some commented code hinting to a possible implementation of narrowing.


git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@808 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Included descending narrowing steps in the LTS analyzer.


git-svn-id: http://sci138.sci.unich.it/svn/main/pca/Jandom/trunk@809 44c9cf90-bc9d-4a98-8a8d-f359a031bbce
Separated the widening from the rest of the abstract operators. Implemented the delayed widening.

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