c merge requestshttps://gitlab.rts.mpi-sws.org/iris/c/-/merge_requests2019-11-07T13:01:41Zhttps://gitlab.rts.mpi-sws.org/iris/c/-/merge_requests/2Use Coq 8.10.1 for CI2019-11-07T13:01:41ZRobbert KrebbersUse Coq 8.10.1 for CICC @jungCC @junghttps://gitlab.rts.mpi-sws.org/iris/c/-/merge_requests/1Add [Hint Mode]s to the reification typeclasses.2019-05-24T07:26:45ZDan FruminAdd [Hint Mode]s to the reification typeclasses.I though I'd make an effort into documenting those, instead of trying to figure out what does each typeclass do every time I look at them.
@robbertkrebbers, can you take a look?I though I'd make an effort into documenting those, instead of trying to figure out what does each typeclass do every time I look at them.
@robbertkrebbers, can you take a look?