search

Ecdar / Ecdar-GUI

A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
MIT License
3 stars 5 forks source link

Backend to engine #131

Closed Nielswps closed 1 year ago

Nielswps commented 1 year ago

The PR changes 'backend' to 'engine' where engines are referenced, in order to be consistent with the rationalization of the architecture. However, some files still use 'backend', as they operate at an abstraction level, where 'engine' is an irrelevant implementation detail.

Nielswps commented 1 year ago

GitHub is out of sync due to issues with rebase. Closing this PR and opening an identical one will result in showing the 25 actually changes files instead of the 109 shown in this PR