Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

D

DIVINE
- Activity
- Members
- Environments

Snippets Groups Projects

513beace

There was an error fetching the commit references. Please try again later.

Commit 513beace authored 5 years ago by Petr Rockai

Downloads
- Patches
- Plain Diff

VM: Move and rename dbg::print::opcode() to vm::opname().

parent f2659451

No related branches found

No related tags found

No related merge requests found

Changes 5

Hide whitespace changes

Inline Side-by-side

Showing

divine/dbg/print.cpp 0 additions, 112 deletions

divine/dbg/print.cpp
divine/dbg/print.hpp 0 additions, 5 deletions

divine/dbg/print.hpp
divine/dbg/print.tpp 3 additions, 2 deletions

divine/dbg/print.tpp
divine/vm/opnames.cpp 141 additions, 0 deletions

divine/vm/opnames.cpp
divine/vm/opnames.hpp 7 additions, 0 deletions

divine/vm/opnames.hpp

with 151 additions and 119 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment