Logic_utils and Logic_const documentation ...
ID0000554: This issue was created automatically from Mantis Issue 554. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000554 | Frama-C | Documentation | public | 2010-08-11 | 2016-06-21 |
| Reporter | nstouls | Assigned To | signoles | Resolution | fixed |
| Priority | low | Severity | trivial | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | Frama-C Carbon-20101201-beta1 |
Description :
The command : make doc
does not generate documentation for, at least, Logic_utils and Logic_const. It could be appreciate to have a complete documentation when making it.
Thanks, Nicolas.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information