Skip to content

Commit

Permalink
Update link to v1.3
Browse files Browse the repository at this point in the history
  • Loading branch information
@agacek
agacek committed May 20, 2013
1 parent a8e63dc commit fc8b151
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ multi-property k-induction based model checker for Lustre programs.

Downloads
---------
[JKind 1.2](https://github.com/agacek/jkind/blob/uploads/jkind-1.2.zip?raw=true)
[JKind 1.3](https://github.com/agacek/jkind/blob/uploads/jkind-1.3.zip?raw=true)

[Lustre2excel 1.2](https://github.com/agacek/jkind/blob/uploads/lustre2excel-1.2.zip?raw=true) - an optional utility to convert Lustre programs to Excel spreadsheets

Expand Down

0 comments on commit fc8b151

Please sign in to comment.