MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
core.cpp File Reference
#include "mim/plug/core/core.h"
#include <mim/config.h>
#include <mim/pass.h>
#include "mim/plug/core/be/ll.h"
#include "mim/plug/core/be/sexpr.h"
Include dependency graph for core.cpp:

Go to the source code of this file.

Namespaces

namespace  mim
namespace  mim::plug
namespace  mim::plug::core
 The core Plugin

Functions

Plugin mim_get_plugin ()
Convert TBound to Sigma

This is WIP.

template<bool up>
const Sigmamim::plug::core::convert (const TBound< up > *b)

Function Documentation

◆ mim_get_plugin()