Changes in Core:
- Re-establish class Undef to solve compilation errors. Note: this class disappears in version 2.0
Changes in Core 2.0:

 - Solve error in Network implementation saying the address is already taken
 - Minor modifications to comply to syntax standard
 - Change object package relation to package relation
 - Add a WrappedValue trait to treat expression extensions
 - Add a Printer trait to provide pretty printing functionalities (work in progress)
 - Solve errors in test class CriojoMapTest
 - Add a test for distributed computation
 - Include a TestCham trait with testing features: Assert, etc
 - Modify CriojoNetwork project to work with Criojo core 2.0
Changes in Core 2.0:

 - Solve error in Network implementation saying the address is already taken
 - Minor modifications to comply to syntax standard
 - Change object package relation to package relation
 - Add a WrappedValue trait to treat expression extensions
 - Add a Printer trait to provide pretty printing functionalities (work in progress)
 - Solve errors in test class CriojoMapTest
 - Add a test for distributed computation
 - Include a TestCham trait with testing features: Assert, etc
 - Modify CriojoNetwork project to work with Criojo core 2.0
 - Modify Scala types implementation to separate Patterns from Expressions
Two versions of Sierpinski example
Changes in Core 2.0:

- Two versions of Sierpinski example
Refactoring of expressions

- Creates traits CriojoInt, CriojoString ...
- Separates implementation into package scala
- Simplifies List and Tuple2 implementations
- Renames typed variables to IntVar, StringVar, etc

TODO:
- Refactor map
- Verify guards with changes
Refactoring of expressions

- Corrects examples
Simplified Version of Guards

- Modifies CriojoGuard with a simplified evaluation
- Adds TrueGuard and FalseGuard
- TODO: implement in the language the guard construction: g := m --> g'
Simplified Version of Guards II

- Adds guard of the form "m(x) -> g"
- Adds object $Sol to represent the solution variable: when $Sol is at the left side of the rule, all the atoms of the solution are removed
- Adds method removeExecutions() to State.scala, which removes all the executions from the state
- Adds methods to remove all atoms to: StateMachine, Cham, Agent, etc
- TODO: implement removeAll() method in ObserverPatternCham
Simplified Version of Guards II

- Corrects optimMaxTest
New Version 2.0-snapshot

- Temporally remove sequential version
- Replaces criojo-core with version 2.0
Adds file to .gitignore