Add ZIMO-Elektronik to "Built with CPM.cmake" (#490)

This commit is contained in:
Vincent Hamp
2023-09-18 11:45:33 +02:00
committed by GitHub
parent 439bfcf134
commit daf9d766c6

View File

@@ -332,7 +332,14 @@ If you know others, feel free to add them here through a PR.
<p align="center"><b>AALTITOAD - verifier and simulator for Tick Tock Automata</b></p> <p align="center"><b>AALTITOAD - verifier and simulator for Tick Tock Automata</b></p>
</a> </a>
</td> </td>
<td/> <td>
<a href="https://github.com/ZIMO-Elektronik">
<p align="center">
<img src="https://avatars.githubusercontent.com/u/117935012?s=400&u=9a871a46dd13437f0adcae166e9efbe518ff0b99&v=4" alt="ZIMO-Elektronik" width="100pt" />
</p>
<p align="center"><b>ZIMO-Elektronik</b></p>
</a>
</td>
</tr> </tr>
</table> </table>