autosave - model,properties, data, data_intervals, constrainsts, and space in /tmp

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

Closed xhajnal closed 4 years ago

xhajnal commented 4 years ago

autosave the things after being changed as the last used

xhajnal commented 4 years ago

see e8e505affc0e4e6c276d7d02c08b1a537205d400 and bb0967b19e0db806078b36879dd2aeafea8c4e42