cprover
jsil/README.md
Go to the documentation of this file.
1 \ingroup module_hidden
2 \defgroup jsil jsil
3 
4 # Folder jsil
5 
6 `jsil/` contains a JavaScript front end.