swh:1:snp:cb56ce13ac0807dbb699694ea4ec17024ae99aeb
Revision 8c6dd6c7f18e188b4e19b83e10a50e4975bcf570 authored by Dominique Larchey-Wendling on 25 October 2019, 14:16:22 UTC, committed by Dominique Larchey-Wendling on 25 October 2019, 14:16:22 UTC
a bug in 8.10.0, hopefully getting fixed in 8.10.1 also remove unnecessary Check and Print Assumptions that were bloating the output of make all The one should compile under 8.9.1 (I tested it)
1 parent b5c5e7d
Tip revision: e24a92af25746f6758a09ea1dc51e57491508e60 authored by Fabian Kunze on 03 February 2021, 23:29:51 UTC
added missing html doc
added missing html doc
Tip revision: e24a92a
| File | Mode | Size |
|---|---|---|
| external | ||
| theories | ||
| website | ||
| .gitignore | -rw-r--r-- | 93 bytes |
| .gitmodules | -rw-r--r-- | 218 bytes |
| .travis.yml | -rw-r--r-- | 1.2 KB |
| CeCILL_LICENSE.txt | -rw-r--r-- | 20.6 KB |
| Makefile | -rw-r--r-- | 222 bytes |
| README.md | -rw-r--r-- | 6.2 KB |
| opam | -rw-r--r-- | 980 bytes |
Computing file changes ...
