| Merge branch 'abstract-rac-for-loops' into 'master' |
|
More...
|
over 4 years ago
|
| Merge branch 'fix-cvc4-ce-variables' into 'master' |
|
More...
|
over 4 years ago
|
| fix CE bench, with additional attributes generated |
|
More...
|
over 4 years ago
|
| propagate code attributes to written variables by corresponding statement |
|
More...
|
over 4 years ago
|
| Check loop variants |
|
More...
|
over 4 years ago
|
| Merge branch 'install-cmt' into 'master' |
|
More...
|
over 4 years ago
|
| Install "-bin-annot" files for Merlin users (fix #523). |
|
More...
|
over 4 years ago
|
| Merge branch 'fix-ci' into 'master' |
|
More...
|
over 4 years ago
|
| Fix continuous integration (partly revert 333c915e). |
|
More...
|
over 4 years ago
|
| Merge branch 'generated-doc' into 'master' |
|
More...
|
over 4 years ago
|
| extraction to OCaml: fixed printing of constructor types |
|
More...
|
over 4 years ago
|
| Move the generation of library-*.dot files to Makefile. |
|
More...
|
over 4 years ago
|
| other fixes in extraction of peano/onetime |
|
More...
|
over 4 years ago
|
| Fix broken reference. |
|
More...
|
over 4 years ago
|
| Make sphinxcontrib-bibtex 2.0 happy. |
|
More...
|
over 4 years ago
|
| fixed extraction of one-time integers |
|
More...
|
over 4 years ago
|
| Use artifacts to propagate the generated documentation. |
|
More...
|
over 4 years ago
|
| Install a font on the Docker image for documentation (fix #529). |
|
More...
|
over 4 years ago
|
| Use "extends" instead of anchors. |
|
More...
|
over 4 years ago
|
| doc: document auto-dereference in chapter 7 |
|
More...
|
over 4 years ago
|
| doc: document old and at |
|
More...
|
over 4 years ago
|
| doc: fixed operators precedences and moved some paragraphs |
|
More...
|
over 4 years ago
|
| doc: added bibtex_bibfiles to Sphinx's conf.py |
|
More...
|
over 4 years ago
|
| Merge branch 'shortener' into 'master' |
|
More...
|
over 4 years ago
|
| Merge branch 'fix_453' into 'master' |
|
More...
|
over 4 years ago
|
| Merge branch 'dynlink_exn' into 'master' |
|
More...
|
over 4 years ago
|
| Restore plugin hypothesis_selection (fix #453). |
|
More...
|
over 4 years ago
|
| [Doc] Add documentation for Tagset |
|
More...
|
over 4 years ago
|
| doc: fixed type of for loop index |
|
More...
|
over 4 years ago
|
| Improve error reporting when parsing SMT models |
|
More...
|
over 4 years ago
|
