Skip to content

Changes

#61 (Nov 24, 2022, 9:28:16 AM)

  1. Update dependences (in progress). — Alberto Debiasi / detail
  2. Fix errors on dependences. — Alberto Debiasi / detail
  3. Fix diagrams objects reference. — Alberto Debiasi / detail
  4. Switch from Java 1.8 to 11. — Alberto Debiasi / detail
  5. Change Java compiler (from 1.8 to 11). — Alberto Debiasi / detail
  6. Add missing printStackTrace, improve Contract creation. — Alberto Debiasi / detail
  7. Fix NullPointer in PaletteManager. — Alberto Debiasi / detail
  8. Update UMLStateMAchineModel. — Alberto Debiasi / detail
  9. Add condition in setPaletteVisibility(); — Alberto Debiasi / detail

#45 (Jul 7, 2022, 8:10:02 AM)

  1. Create folder if not exists. — Alberto Debiasi / detail
  2. Implement methods to handle fei generation. — Alberto Debiasi / detail

#44 (Jul 1, 2022, 4:34:45 AM)

  1. Implement method on SMAbstractClass, update oracles. — Alberto Debiasi / detail

#37 (Jan 24, 2022, 4:03:04 AM)

  1. Extend support to timed domain — Andrea Perri / detail
  2. remove extra comments — Andrea Perri / detail
  3. Fix getStateInvariant() method. — Alberto Debiasi / detail

#35 (Dec 17, 2021, 5:27:16 AM)

  1. Handle isAsyncComponent(). — Alberto Debiasi / detail

#32 (Nov 29, 2021, 9:50:25 AM)

  1. Update ChessSystemModel wrt AbstractSystemModel. — Alberto Debiasi / detail

#31 (Nov 11, 2021, 11:12:51 AM)

  1. Add block2k2 command, update UMLStateMachineModel. — Alberto Debiasi / detail
  2. Handle selection of StateMachine in SelectionUtil. — Alberto Debiasi / detail
  3. Handle warnings. — Alberto Debiasi / detail

#26 (Sep 20, 2021, 5:55:05 AM)

  1. Handle Time Events, use AbstractClasses. — Alberto Debiasi / detail
  2. Update methods on events. — Alberto Debiasi / detail

#19 (Aug 19, 2021, 8:30:08 AM)

  1. Add new method to select multiple files in DialogUtils — Luca Cristoforetti / detail