| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-01-27 | [fake_ide] infrastructure to test the failure of an ADD | Enrico Tassi | |
| 2018-12-13 | [test] for join when error resiliency on and async-proofs off | Enrico Tassi | |
| 2018-12-13 | [test] for #9204 | Enrico Tassi | |
| 2018-10-08 | [ide] [dune] [test-suite] Reorganize `fake_ide` build. | Emilio Jesus Gallego Arias | |
| Even if `fake_ide` was under tools, it depended on libraries from `ide`. Thus, we move `fake_ide` to `ide`, and make it "private" to the test-suite [this means `test-suite` depends on the `ide` folder then]. In the Dune side, we reorganize libraries so `fake_ide` doesn't depend on GTK anymore, this allows to run the test-suite when GTK is not available. In order to achieve this, we had to split the `coqide` package in a server and client version. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |