Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

D

DIVINE
- Activity
- Members
- Environments

Snippets Groups Projects

45fa72a8

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

Commit 45fa72a8 authored 5 years ago by Petr Rockai

Downloads
- Patches
- Plain Diff

VM: Refactor the computation context into a stack of components.

parent 513beace

No related branches found

No related tags found

Loading

Changes 9

Expand all Hide whitespace changes

Inline Side-by-side

Showing

divine/dbg/context.hpp 5 additions, 1 deletion

divine/dbg/context.hpp
divine/mc/context.hpp 1 addition, 1 deletion

divine/mc/context.hpp
divine/mc/machine.hpp 4 additions, 2 deletions

divine/mc/machine.hpp
divine/vm/context.cpp 0 additions, 59 deletions

divine/vm/context.cpp
divine/vm/context.hpp 244 additions, 187 deletions

divine/vm/context.hpp
divine/vm/context.tpp 89 additions, 56 deletions

divine/vm/context.tpp
divine/vm/loops.hpp 14 additions, 3 deletions

divine/vm/loops.hpp
divine/vm/program.hpp 3 additions, 2 deletions

divine/vm/program.hpp
divine/vm/t-eval.hpp 4 additions, 1 deletion

divine/vm/t-eval.hpp

with 364 additions and 312 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