| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-01-20 | Update copyright headers. | Maxime Dénès | |
| 2015-01-12 | Update headers. | Maxime Dénès | |
| 2014-07-24 | Revert "Adding a "is_val" primitive to IStream." | Pierre-Marie Pédrot | |
| This reverts commit 062d07eb5446c1032fda232b9a09e20e5410dd92. | |||
| 2014-07-22 | Adding a "is_val" primitive to IStream. | Pierre-Marie Pédrot | |
| 2014-07-03 | Adding a coiterator to IStream. | Pierre-Marie Pédrot | |
| 2014-02-24 | IStream: a concat_map primitive. | Arnaud Spiwack | |
| 2014-02-24 | IStream: change type of thunk, spare allocations. | Arnaud Spiwack | |
| Two changes: - 'a Lazy.t becomes unit -> 'a - 'a t becomes 'a u (the view type) This spares two Lazy.force, and leverages Lazy.lazy_from_fun. Considering Lazy.force is fairly slow, in particular because of the write-barrier, this should be beneficial. | |||
| 2014-02-24 | A view type for IStream. | Arnaud Spiwack | |
| View types are better practice than option types for pattern-matching. (Plus, they save a minute amount of allocations) | |||
| 2013-08-08 | Small fix in IStream interface. | ppedrot | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16667 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2013-05-28 | Adding a persistent stream data structure. | ppedrot | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16532 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |