aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/inference.v
Commit message (Expand)AuthorAge
* Deprecate options that were introduced for compatibility with 8.5.Gravatar Théo Zimmermann2017-07-11
* Support for using type information to infer more precise evar sources.Gravatar Hugo Herbelin2017-05-30
* no-refold patchGravatar Paul Steckler2016-09-09
* Continuation of r16346 on filtering local definitions. RefinedGravatar herbelin2013-03-30
* Evarconv: When doing a iota of a fixpoint, use constant name instead of fixpo...Gravatar pboutill2013-02-25
* A small test for type inference (used to be a regression at some time).Gravatar herbelin2011-12-04