index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
future.mli
Commit message (
Expand
)
Author
Age
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-21
|
\
|
*
Update copyright headers.
Maxime Dénès
2016-01-20
*
|
Specializing the Dyn module to each usecase.
Pierre-Marie Pédrot
2015-12-04
|
/
*
Miscellaneous typos, spacing, US spelling in comments or variable names.
Hugo Herbelin
2015-10-18
*
Future: make not-here/not-ready messages customizable
Enrico Tassi
2015-10-08
*
Future: human readable name for delegated (Close #4065)
Enrico Tassi
2015-02-21
*
Update headers.
Maxime Dénès
2015-01-12
*
Fix a few typos.
Maxime Dénès
2015-01-12
*
Getting rid of Exninfo hacks.
Pierre-Marie Pédrot
2014-12-16
*
Future: API for blocking futures
Enrico Tassi
2014-11-28
*
STM: primitives to snapshot a .vi while in interactive mode
Enrico Tassi
2014-10-13
*
library/opaqueTables: enable their use in interactive mode
Enrico Tassi
2014-10-13
*
Moving hook code from Future to Lemmas. This seemed to disrupt compilation of
Pierre-Marie Pédrot
2014-06-08
*
Enforce a correct exception handling in declaration_hooks
Enrico Tassi
2014-06-08
*
Declare: fix Future management
Enrico Tassi
2014-05-16
*
Adding a debug printer for futures.
Pierre-Marie Pédrot
2014-04-25
*
Future: make ~greedy:true the default + new sink commodity API
Enrico Tassi
2014-02-26
*
Future: each computation has a uuid
Enrico Tassi
2014-02-26
*
STM: fix valid_id coming from Qed errors
Enrico Tassi
2014-02-10
*
Future: allow custom action when a delegated future is forced
Enrico Tassi
2014-01-04
*
Future: optional greedy chaining
Enrico Tassi
2013-12-24
*
Future: better doc + restore ~pure optimization
gareuselesinge
2013-10-31
*
Future: ported to Ephemeron + exception enhancing
gareuselesinge
2013-10-18
*
lib/future: computations that are Exn can be replaced
gareuselesinge
2013-09-30
*
recdef: restore old semantics (pre STM)
gareuselesinge
2013-08-30
*
Stm: if slave process dies badly go back to local lazy evaluation
gareuselesinge
2013-08-30
*
Future library to represent pure computations
gareuselesinge
2013-08-08