aboutsummaryrefslogtreecommitdiff
path: root/stm/vio_checking.ml
AgeCommit message (Expand)Author
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-08-26[glob/aux files] Remove undocumented Stdout dump, cleanup flags.Emilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-06-04Remove the discharge segment from vo files.Pierre-Marie Pédrot
2019-05-14Ensuring suffix of file to compile also for -vio2vo checking.Hugo Herbelin
2019-01-11[STM] set the mtime of files generated via vio2vo (fix #9334)Enrico Tassi
2019-01-10[vio] free resources (file descriptors) as soon as a worker endsEnrico Tassi
2018-02-27Update headers following #6543.Théo Zimmermann
2017-11-01Fix FIXME: use OCaml 4.02 generative functors when available.Gaëtan Gilbert
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-05-27[cleanup] Unify all calls to the error function.Emilio Jesus Gallego Arias
2017-04-25[location] Remove Loc.ghost.Emilio Jesus Gallego Arias
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-12-01vio: fix argument parsing (progress on #4442)Enrico Tassi
2015-09-29Remove some uses of Loadpath.get_paths.Guillaume Melquiond
2015-06-24Splitting the library representation on disk in two.Pierre-Marie Pédrot
2015-02-09Fix bug #4014.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2015-01-06rename: vi -> vioEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:41:23 +0000