Skip to content

Commit

Permalink
Update README
Browse files Browse the repository at this point in the history
  • Loading branch information
@Yiannis128
Yiannis128 committed Feb 3, 2024
1 parent 6e0accc commit 318d605
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 4 deletions.
4 changes: 1 addition & 3 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,9 +8,7 @@ This is an area of active research.

## Demonstration

[Basic Usage Demo](https://user-images.githubusercontent.com/9535618/235352993-b54c47ef-a1c6-422c-aa5b-07edc2988521.webm)

[Fix Code Demo](https://github.com/Yiannis128/esbmc-ai/assets/9535618/e35882ee-7e50-4c10-9879-d19e73d7f45d)
[![Fix Code Demo](https://img.youtube.com/vi/anpRa6GpVdU/0.jpg)](https://www.youtube.com/watch?v=anpRa6GpVdU)

More videos can be found on the [ESBMC-AI Youtube Channel](https://www.youtube.com/@esbmc-ai)

Expand Down
2 changes: 1 addition & 1 deletion esbmc_ai/__about__.py
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Author: Yiannis Charalambous

__version__ = "v0.4.0.dev2"
__version__ = "v0.4.0.dev3"
__author__: str = "Yiannis Charalambous"

0 comments on commit 318d605

Please sign in to comment.