aboutsummaryrefslogtreecommitdiff
path: root/toplevel/stm.mli
AgeCommit message (Expand)Author
2014-04-25Adding a stm/ folder, as asked during last workgroup. It was essentially movingPierre-Marie Pédrot
2014-03-13STM: perspective (tell the scheduler what the user sees)Enrico Tassi
2014-03-12Stm: smarter delegation policyEnrico Tassi
2014-03-11vi2vo: universes handling finally fixedEnrico Tassi
2014-02-26New compilation mode -vi2voEnrico Tassi
2014-01-30STM + CoqIDE: stop_worker message and UIEnrico Tassi
2014-01-26-schedule-vi-checking ported to spawnEnrico Tassi
2014-01-14-schedule-vi-checking generates better scriptEnrico Tassi
2014-01-05coqtop: -check-vi-tasks and -schedule-vi-checkingEnrico Tassi
2014-01-04STM: use sec vars in aux file if no Proof using when building .viEnrico Tassi
2014-01-04.vi files: .vo files without proofsEnrico Tassi
2013-09-30STM: some refactoring, support revised CoqIDE protocolgareuselesinge
2013-08-19Modulification and removing of structural equality in Stateid.ppedrot
2013-08-08stm: (initial) support for -coq-slavesgareuselesinge
2013-08-08State Transaction Machinegareuselesinge
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 23:22:53 +0000