clean up

aea49b74 · Mahmoud Khaled · 0202cf09 · 0202cf09 · 0202cf09 · 0202cf09
Commit aea49b74 authored Aug 25, 2019 by Mahmoud Khaled
--- a/.DS_Store
+++ b/.DS_Store
--- a/examples/.DS_Store
+++ b/examples/.DS_Store
--- a/examples/bdd/dcdc2/dcdc
+++ b/examples/bdd/dcdc2/dcdc
--- a/examples/bdd/dcdc2/dcdc.o
+++ b/examples/bdd/dcdc2/dcdc.o
--- a/examples/hscc16/vehicle1/vehicle
+++ b/examples/hscc16/vehicle1/vehicle
--- a/examples/hscc16/vehicle1/vehicle.o
+++ b/examples/hscc16/vehicle1/vehicle.o
--- a/examples/hscc16/vehicle1/vehicle_controller.bdd
+++ b/examples/hscc16/vehicle1/vehicle_controller.bdd
--- a/examples/hscc16/vehicle1/vehicle_obst.bdd
+++ b/examples/hscc16/vehicle1/vehicle_obst.bdd
--- a/examples/hscc16/vehicle1/vehicle_ss.bdd
+++ b/examples/hscc16/vehicle1/vehicle_ss.bdd
--- a/examples/hscc16/vehicle1/vehicle_target.bdd
+++ b/examples/hscc16/vehicle1/vehicle_target.bdd