aboutsummaryrefslogtreecommitdiffhomepage
path: root/interp/discharge.ml
Commit message (Expand)AuthorAge
* Simplification: cumulativity information is variance information.Gravatar Gaëtan Gilbert2018-02-10
* Using a dedicated type for Lib.abstr_info.Gravatar Pierre-Marie Pédrot2017-12-30
* [api] Move structures deprecated in the API to the core.Gravatar Emilio Jesus Gallego Arias2017-11-06
* [deps] Move `Discharge` to `interp`Gravatar Emilio Jesus Gallego Arias2017-10-09