| fix sessions |
|
More...
|
about 3 years ago
|
| Reimplement the transf in two phases and tail recursive functions |
|
More...
|
about 3 years ago
|
| more renaming |
|
More...
|
about 3 years ago
|
| Merge branch 'master' into eliminate_unused_symbols |
|
More...
|
about 3 years ago
|
| renaming, WIP |
|
More...
|
about 3 years ago
|
| Merge branch 'mlcfg_body_attributes' into 'master' |
|
More...
|
about 3 years ago
|
| Added a CHANGE entry. |
|
More...
|
about 3 years ago
|
| Merge branch 'default_loadpath_honors_why3data' into 'master' |
|
More...
|
about 3 years ago
|
| MLCFG: allow attributes to the body of a function. |
|
More...
|
about 3 years ago
|
| whyconf: memoize environment variables |
|
More...
|
about 3 years ago
|
| Merge branch '627-document-vc-xxx-attributes' into 'master' |
|
More...
|
about 3 years ago
|
| why3extract: read datadir from user config |
|
More...
|
about 3 years ago
|
| whyconf: honor WHY3DATA when computing default loadpath |
|
More...
|
about 3 years ago
|
| cleaning up |
|
More...
|
about 3 years ago
|
| gallery: yet another sorting algorithm |
|
More...
|
about 3 years ago
|
| Allow refining with mutually recursive types |
|
More...
|
about 3 years ago
|
| Reset owner and group of generated files. |
|
More...
|
about 3 years ago
|
| Fix typos. |
|
More...
|
about 3 years ago
|
| Move non-usr attributes to technical section, add references |
|
More...
|
about 3 years ago
|
| Improve and extend the chapter 8 of the documentation, on VC gen |
|
More...
|
about 3 years ago
|
| Use Stdlib instead of Pervasives. |
|
More...
|
about 3 years ago
|
| Use semantic tags instead of plain format tags. |
|
More...
|
about 3 years ago
|
| Remove functions that are no longer supported in module Ephemeron. |
|
More...
|
about 3 years ago
|
| Implement a simple replacement for Stream. |
|
More...
|
about 3 years ago
|
| Merge branch 'master' into eliminate_unused_symbols |
|
More...
|
about 3 years ago
|
| Merge branch '645-wish-use-a-multi-line-format-for-source-locations' into 'master' |
|
More...
|
about 3 years ago
|
| Resolve "wish: use a multi-line format for source locations" |
|
More...
|
about 3 years ago
|
| Merge branch '658-no-libdir-nor-datadir-in-the-why3-conf-please' into 'master' |
|
More...
|
about 3 years ago
|
| Do not enforce storage of libdir and datadir in the config file |
|
More...
|
about 3 years ago
|
| Merge branch '657-fix-call-val-function' into 'master' |
|
More...
|
about 3 years ago
|
