pyk.kllvm.hints package

Submodules

• pyk.kllvm.hints.prooftrace module
  • KoreHeader
    • KoreHeader._kore_header
    • KoreHeader.__init__()
    • KoreHeader.create()
  • LLVMArgument
    • LLVMArgument._argument
    • LLVMArgument.__init__()
    • LLVMArgument.__repr__()
    • LLVMArgument.is_kore_pattern()
    • LLVMArgument.is_step_event()
    • LLVMArgument.kore_pattern
    • LLVMArgument.step_event
  • LLVMEventAnnotated
    • LLVMEventAnnotated._annotated_llvm_event
    • LLVMEventAnnotated.__init__()
    • LLVMEventAnnotated.event
    • LLVMEventAnnotated.type
  • LLVMEventType
    • LLVMEventType._event_type
    • LLVMEventType.__init__()
    • LLVMEventType.is_initial_config
    • LLVMEventType.is_pre_trace
    • LLVMEventType.is_trace
  • LLVMFunctionEvent
    • LLVMFunctionEvent._function_event
    • LLVMFunctionEvent.__init__()
    • LLVMFunctionEvent.__repr__()
    • LLVMFunctionEvent.args
    • LLVMFunctionEvent.name
    • LLVMFunctionEvent.relative_position
  • LLVMHookEvent
    • LLVMHookEvent._hook_event
    • LLVMHookEvent.__init__()
    • LLVMHookEvent.__repr__()
    • LLVMHookEvent.args
    • LLVMHookEvent.name
    • LLVMHookEvent.relative_position
    • LLVMHookEvent.result
  • LLVMRewriteEvent
    • LLVMRewriteEvent.rule_ordinal
    • LLVMRewriteEvent.substitution
  • LLVMRewriteTrace
    • LLVMRewriteTrace._rewrite_trace
    • LLVMRewriteTrace.__init__()
    • LLVMRewriteTrace.__repr__()
    • LLVMRewriteTrace.initial_config
    • LLVMRewriteTrace.parse()
    • LLVMRewriteTrace.pre_trace
    • LLVMRewriteTrace.trace
    • LLVMRewriteTrace.version
  • LLVMRewriteTraceIterator
    • LLVMRewriteTraceIterator._rewrite_trace_iterator
    • LLVMRewriteTraceIterator.__init__()
    • LLVMRewriteTraceIterator.__iter__()
    • LLVMRewriteTraceIterator.__next__()
    • LLVMRewriteTraceIterator.__repr__()
    • LLVMRewriteTraceIterator.from_file()
    • LLVMRewriteTraceIterator.version
  • LLVMRuleEvent
    • LLVMRuleEvent._rule_event
    • LLVMRuleEvent.__init__()
    • LLVMRuleEvent.__repr__()
    • LLVMRuleEvent.rule_ordinal
    • LLVMRuleEvent.substitution
  • LLVMSideConditionEventEnter
    • LLVMSideConditionEventEnter._side_condition_event
    • LLVMSideConditionEventEnter.__init__()
    • LLVMSideConditionEventEnter.__repr__()
    • LLVMSideConditionEventEnter.rule_ordinal
    • LLVMSideConditionEventEnter.substitution
  • LLVMSideConditionEventExit
    • LLVMSideConditionEventExit._side_condition_end_event
    • LLVMSideConditionEventExit.__init__()
    • LLVMSideConditionEventExit.__repr__()
    • LLVMSideConditionEventExit.check_result
    • LLVMSideConditionEventExit.rule_ordinal
  • LLVMStepEvent