koehlma

# -*- coding: utf-8 -*-

# Copyright (C) 2016, Maximilian Köhl <mail@koehlma.de>

"""
Python interface to the ModelSim simulator. The simulator is instrumented using FIFO pipes
such that it becomes fully controllable from within Python using TCL commands.
"""

import contextlib

koehlma

# -*- coding: utf-8 -*-

# Copyright (C) 2017, Maximilian Köhl <mail@koehlma.de>


def _literal(string):
    literal = int(string)
    return -(literal // 2) if literal & 1 else literal // 2

koehlma

Require Import Relations.

Set Implicit Arguments.

Section LTL.
  Variable State : Type.
  
  (* Traces *)
  CoInductive Trace : Type :=
    | Cons : State -> Trace -> Trace.