aboutsummaryrefslogtreecommitdiff
path: root/plugins/micromega/persistent_cache.ml
AgeCommit message (Expand)Author
2020-11-24Keep accessed objects in memory in Persistent_cache.Pierre-Marie Pédrot
2020-11-24Alternative implementation of the Micromega persistent cache.Pierre-Marie Pédrot
2020-11-24Preserve sharing in the Micromega cache.Pierre-Marie Pédrot
2020-11-17Persistent_cache.t is always OpenGaëtan Gilbert
2020-05-16[micromega] Revert bad change from 5001deed21e8f4027411cc6413a9d2b98e1bcceeEmilio Jesus Gallego Arias
2020-04-01[lib] Remove custom backtrace destroying finalizersEmilio Jesus Gallego Arias
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-04[micromega] Add numerical compatibility layer.Emilio Jesus Gallego Arias
2019-12-13[micromega] Enable ocamlformat.Emilio Jesus Gallego Arias
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-10-03Improved handling of micromega cachesFrédéric Besson
2019-09-16Re-implementation of zifyFrédéric Besson
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-05-23Fixing typos - Part 2JPR
2018-10-16[micromega] remove dead codeVincent Laporte
2018-02-27Update headers following #6543.Théo Zimmermann
2017-12-05Replacing Hashtbl.add by Hashtbl.replace in micromega cache building.Hugo Herbelin
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-05-20Disable memoization rather than failing when files cannot be opened.Guillaume Melquiond
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2014-10-22Bugfix 3604 : more robust Unix.lockfFrédéric Besson
2014-03-03Fixing some generic equalities in Micromega.Pierre-Marie Pédrot
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 15)letouzey
2012-08-08Updating headers.herbelin
2012-08-06Try to make the use of Unix.lockf in micromega compatible with Win32letouzey
2011-04-21bug fix: concurrent access of persistent_cachefbesson
2010-07-24Updated all headers for 8.3 and trunkherbelin
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-08-20new csdp cache + improved error messagefbesson
2009-07-31addition of lia.cache - csdp.cache is now handled by micromega not csdpcertfbesson
2009-07-30micromega : Better parsing of formulae - smaller proof terms for Z - redesign...fbesson
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:30:15 +0000