Skip to content

Commit

Permalink
Add ZIMO-Elektronik to "Built with CPM.cmake" (#490)
Browse files Browse the repository at this point in the history
  • Loading branch information
higaski authored Sep 18, 2023
1 parent 439bfcf commit daf9d76
Showing 1 changed file with 8 additions and 1 deletion.
9 changes: 8 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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>
</a>
</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>
</table>

Expand Down

0 comments on commit daf9d76

Please sign in to comment.