https://github.com/statycc/pymwp
Tip revision: 0f004aa33b5531e935a524969924d231beb15572 authored by Neea Rusch on 08 March 2022, 03:10:52 UTC
changes to eval and choice representation (#78)
changes to eval and choice representation (#78)
Tip revision: 0f004aa
examples.md
# Examples
The project repository [c_files](https://github.com/statycc/pymwp/tree/main/c_files)
directory contains example programs in C language that can be analyzed using pymwp.
Also see the [demo](demo.md) which enables running the analysis on these examples online.
<style>
.md-typeset table {border-top:none!important;}
.md-typeset table thead {display:none}
.md-typeset table tr > td:first-child{ min-width:180px }
.md-typeset table tbody > tr:first-child td{ font-size: 110%; background: var(--md-code-bg-color); border-bottom: 0.05rem solid var(--md-typeset-table-color); }
.md-typeset table:not([class]) tbody tr:hover {background-color: transparent}
</style>
{%
include-markdown "../c_files/readme.md"
heading-offset=1
start="<!--start-->"
end="<!--end-->"
%}