Changes

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

1. Update dependences (in progress). — Alberto Debiasi / detail
2. Remove unused dependency with eu.fbk.tools.adapter.core. — Alberto Debiasi / detail
3. Switch from Java 1.8 to 11. — Alberto Debiasi / detail
4. Change Java compiler (from 1.8 to 11). — Alberto Debiasi / detail
5. Fix wrong function name xsap_compute_fault_tree. — Alberto Debiasi / detail

#60 (Sep 23, 2022, 11:27:39 AM)

1. Fix properties formatter — Luca Cristoforetti / detail

#59 (Sep 23, 2022, 9:42:55 AM)

1. Handle context in nuxmv/xsap operations. — Alberto Debiasi / detail
2. Fix FMEAXSapHandler call. — Alberto Debiasi / detail

#48 (Jul 15, 2022, 4:08:09 AM)

1. Remove nebula and sirius refs. — Alberto Debiasi / detail

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

1. Use EST fei generation. — Alberto Debiasi / detail
2. Update manifest.mf. — Alberto Debiasi / detail
3. Remove unused dep. — Alberto Debiasi / detail
4. Remove unused code. — Alberto Debiasi / detail

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

1. Handle warnings (2). — Alberto Debiasi / detail