aboutsummaryrefslogtreecommitdiff
path: root/library/states.ml
AgeCommit message (Expand)Author
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-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-01-20Update copyright headers.Maxime Dénès
2015-09-29Make the interface of System.raw_extern_intern much saner.Guillaume Melquiond
2015-09-29Prevent States.intern_state and System.extern_intern from looking up files in...Guillaume Melquiond
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
2014-12-16Getting rid of Exninfo hacks.Pierre-Marie Pédrot
2014-04-25Fixing various backtrace recordings.Pierre-Marie Pédrot
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
2013-04-02Revised infrastructure for lazy loading of opaque proofsletouzey
2013-03-26Moved the Loadpath part of Library to its own file, and documentedppedrot
2013-03-21Removing mandatory suffixes for library files.ppedrot
2012-08-08Updating headers.herbelin
2012-03-02Noise for nothingpboutill
2011-04-03Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksletouzey
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-22Protection against anomaly when loading a state with bad magic number.herbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-04-24Backporting 12080 (fixing bug #2091 on bad rollback in the "where"herbelin
2008-07-24moved magic numbers to configure (share coq/coqchk)barras
2008-06-29Lissage de la gestion des chemins de chargement de fichiers :herbelin
2006-08-31Un peu de delta-réduction...herbelin
2005-02-06Nettoyage et documentation de Libraryherbelin
2004-07-16Nouvelle en-têteherbelin
2001-11-06corrections mineures suite au commit de restructuration du noyaubarras
2001-03-15entetesfilliatr
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
2000-09-10Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path. Abstract...herbelin
1999-12-10 - erreurs Pretypefilliatr
1999-12-02modifs pour premiere edition de liensfilliatr
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 12:13:21 +0000