~jgross-h/coq/v8.2

Viewing all changes in revision 10120.

  • Committer: Maxime Dénès
  • Author(s): Catalin Hritcu
  • Date: 2015-09-09 08:15:07 UTC
  • Revision ID: git-v1:369e82d2cdcd0d66d0c474dc1d062a4fc62aa24a
Fixed critical bug in 31 bit arithmetic of VM

ADDMULDIVINT31 was missing pops in some cases

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: