aboutsummaryrefslogtreecommitdiff
path: root/library/states.mli
AgeCommit message (Expand)Author
2020-06-30[states] Move States to vernacEmilio Jesus Gallego Arias
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-08-30[library] Move library to vernacEmilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-12-13Move shallow state logic to the function preparing state for workersMaxime Dénès
2018-02-27Update headers following #6543.Théo Zimmermann
2017-10-17[stm] Remove state-handling from Futures.Emilio Jesus Gallego Arias
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-02-25STM: proof state also includes meta countersEnrico Tassi
2015-01-12Update headers.Maxime Dénès
2014-12-17Summary: more surgery functionsEnrico Tassi
2013-08-30recdef: restore old semantics (pre STM)gareuselesinge
2013-08-08enhance marshallable option for freeze (minor TODO in safe_typing)gareuselesinge
2013-08-08State Transaction Machinegareuselesinge
2013-05-06States: frozen states can hold closuresgareuselesinge
2013-04-23coqtop -compile: avoid with_heavy_rollback when non-interactiveletouzey
2012-08-08Updating headers.herbelin
2010-09-18Fixing bugs #2347 (part 2) and #2388: error message printing was doneherbelin
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-06-22New script dev/tools/change-header to automatically update Coq files headers.herbelin
2010-04-29Various minor improvements of comments in mli for ocamldocletouzey
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-29Move from ocamlweb to ocamdoc to generate mli documentationpboutill
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-04-24Backporting 12080 (fixing bug #2091 on bad rollback in the "where"herbelin
2004-07-16Nouvelle en-têteherbelin
2001-03-15entetesfilliatr
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
1999-12-02modifs pour premiere edition de liensfilliatr
1999-10-01documentation interfacefilliatr
1999-09-29with_heavy_rollback deplace dans Statesfilliatr
1999-09-10modules System, Lib et Statesfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:31:16 +0000