Commit b807d51

authored

Merge pull request #380 from formal-land/guillaume-claret@translate-drop.v

Translate drop.v

2 parents fda53b9 + f8b99e0 commit b807d51Copy full SHA for b807d51

5 files changed

+595

-560

lines changed

CoqOfRust
- CoqOfRust.v
- alloc
  - fmt.v
- blacklist.txt
- core
  - mem.v
  - ops.v

5 files changed

+595

-560

lines changed

Comments

(0)