Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
sillydan1 authored Dec 25, 2022
1 parent c63f814 commit 96a9666
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -18,9 +18,9 @@ aaltitoad - a verification engine for tick tock automata models

<p align="center">
<picture>
<source media="(prefers-color-scheme: dark)" srcset="https://raw.githubusercontent.com/sillydan1/AALTITOAD/major/reimplementation/.github/resources/logo/toad_title_darkmode.svg">
<source media="(prefers-color-scheme: light)" srcset="https://raw.githubusercontent.com/sillydan1/AALTITOAD/major/reimplementation/.github/resources/logo/toad_title_lightmode.svg">
<img alt="aaltitoad" width="256" src="https://raw.githubusercontent.com/sillydan1/AALTITOAD/major/reimplementation/.github/resources/toad_title_darkmode.svg" style="max-width: 100%;">
<source media="(prefers-color-scheme: dark)" srcset="https://raw.githubusercontent.com/sillydan1/AALTITOAD/master/.github/resources/logo/toad_title_darkmode.svg">
<source media="(prefers-color-scheme: light)" srcset="https://raw.githubusercontent.com/sillydan1/AALTITOAD/master/.github/resources/logo/toad_title_lightmode.svg">
<img alt="aaltitoad" width="256" src="https://raw.githubusercontent.com/sillydan1/AALTITOAD/master/.github/resources/toad_title_darkmode.svg" style="max-width: 100%;">
</picture>
</p>

Expand All @@ -40,9 +40,9 @@ Below is an example of a simple TTA that controls a light based on a button inpu

<p align="center">
<picture>
<source media="(prefers-color-scheme: dark)" srcset="https://raw.githubusercontent.com/sillydan1/AALTITOAD/major/reimplementation/.github/resources/docs/simple_tta_darkmode.svg">
<source media="(prefers-color-scheme: light)" srcset="https://raw.githubusercontent.com/sillydan1/AALTITOAD/major/reimplementation/.github/resources/docs/simple_tta_lightmode.svg">
<img alt="simple tta" src="https://raw.githubusercontent.com/sillydan1/AALTITOAD/major/reimplementation/.github/resources/simple_tta_darkmode.svg" style="max-width: 100%;">
<source media="(prefers-color-scheme: dark)" srcset="https://raw.githubusercontent.com/sillydan1/AALTITOAD/master/.github/resources/docs/simple_tta_darkmode.svg">
<source media="(prefers-color-scheme: light)" srcset="https://raw.githubusercontent.com/sillydan1/AALTITOAD/master/.github/resources/docs/simple_tta_lightmode.svg">
<img alt="simple tta" src="https://raw.githubusercontent.com/sillydan1/AALTITOAD/master/.github/resources/simple_tta_darkmode.svg" style="max-width: 100%;">
</picture>
</p>

Expand Down

0 comments on commit 96a9666

Please sign in to comment.