Search results

HolBA legacy code

Status: Open.

#172 In kth-step/HolBA;

· palmskog opened on Mar 11, 2024

Move tools for SMT interface and symbolic execution from tutorial to main tool directory

enhancement

Status: Open.

#140 In kth-step/HolBA;

· didriklundberg opened on Oct 28, 2020

Unify WP interface

enhancement

Status: Open.

#139 In kth-step/HolBA;

· didriklundberg opened on Oct 28, 2020

Unify lifter interface

enhancement

Status: Open.

#138 In kth-step/HolBA;

· didriklundberg opened on Oct 28, 2020

Tidy up dependency inclusions in various files

Status: Open.

#137 In kth-step/HolBA;

· andreaslindner opened on Oct 24, 2020

Fix dependency diagram

Status: Open.

#136 In kth-step/HolBA;

· andreaslindner opened on Oct 24, 2020

Proof procedures for using program composition theorem

enhancement

Status: Open.

#118 In kth-step/HolBA;

· didriklundberg opened on Jun 15, 2020

Standalone, portable specification of BIR syntax and semantics

Status: Open.

#105 In kth-step/HolBA;

· palmskog opened on Nov 4, 2019

Generation of documentation

Status: Open.

#103 In kth-step/HolBA;

· palmskog opened on Oct 17, 2019

Releasing and tagging

Status: Open.

#102 In kth-step/HolBA;

· palmskog opened on Oct 17, 2019

Use composition at ARM level for the example in tutorial

Status: Open.

#100 In kth-step/HolBA;

· guancio opened on Oct 2, 2019

Automation for building and installation

Status: Open.

#99 In kth-step/HolBA;

· palmskog opened on Oct 2, 2019