* New example of PSL inherit usage * Add example to formal tests * Add issue_1899 to issues tests * Add inherit to README
* Stop simulation by using a cycle-counting procedure (simulation only) * Remove stop-time option from ghdl run command line
* Add example for simple SERE * Add formal test for simple SERE example * Restructure lists in README