Content deleted Content added
Undid revision 1272341544 by Coadon Pile (talk) There was no error here. "Means" as used here is a singular noun meaning "method", just as in the phrase "a means of communication". |
Zapashcanon (talk | contribs) add the Owi tool Tag: Disambiguation links added |
||
Line 181:
| C
| https://bitbucket.org/khooyp/otter/overview
| {{free | yes}}
|-
| Owi <ref>{{Cite book
| chapter= Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
| title= The Art, Science, and Engineering of Programming, 2025, Vol. 9, Issue 1
| doi = 10.22152/programming-journal.org/2025/9/3
| year = 2024
| last1 = Andrès
| first1 = Léo
| url = https://programming-journal.org/2025/9/3/
}}</ref>
| [[C]], [[C++]], [[Rust]], [[WebAssembly]], [[Zig]]
| https://github.com/ocamlpro/owi
| {{free | yes}}
|-
| |||