Remove methods for tracing values within transitions

spirali / kaira

Main repository of project Kaira

http://verif.cs.vsb.cz/kaira

GNU General Public License v3.0

5 stars 8 forks source link

Remove methods for tracing values within transitions #3

Closed msurkovsky closed 9 years ago

msurkovsky commented 9 years ago

Context still provides methods for tracing values within transitions. They should be removed.

spirali commented 9 years ago

I am not 100% sure if some examples still do not used it (aco?). Or if there is still some code in gui that supports it.

msurkovsky commented 9 years ago

As far as I know, there is no example which uses tracing function directly within transition. Moreover, current extensions don not support this. At least, it should be marked as deprecated functionality and deleted after solving special tracing places -- releasing data.

spirali commented 9 years ago

Ok, I have removed C++ API, but but I have left the code in Gui to load old tracelogs. We can removed it in a future version.