| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Move serialization functions out of Stm |  Emilio Jesus Gallego Arias | 2016-06-02 |
| Serialization should be specific to each particular backend, so we let the Stm clients choose how the send the nodes. This should be quite safe to pull in. Test suite passes. Related to #180 | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |