`eventstruct.v` refactoring - Githubissues

Event-Structures / event-struct

Mechanized Theory of Event Structures

MIT License

16 stars 1 forks source link

`eventstruct.v` refactoring #91

Closed eupp closed 3 years ago

eupp commented 3 years ago

rename lprf into edescr (event descriptor)
use synch relation \>> on labels to encode constraint on rf
rename fpred into fpo (program order)
other minor cleanups