aboutsummaryrefslogtreecommitdiffstats
path: root/src/versions/native/Structures_native.v
Commit message (Expand)AuthorAgeFilesLines
* getting rid of native-coq (#95)vblot2021-05-281-59/+0
* Update copyrightChantal Keller2021-05-261-1/+1
* Merge from LFSC (#26)ckeller2019-01-281-0/+20
* More modularity on the format of traces depending on the version of coqChantal Keller2016-09-231-0/+39