CBMC

cbmc:i-cbmc

  1. Git
  2. lp:cbmc
  3. i-cbmc
Last commit made on 2017-05-04
Get this branch:
git clone -b i-cbmc https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
i-cbmc
Repository:
lp:cbmc

Recent commits

1920bc4... by Lihao Liang <email address hidden>

Merge branch 'i-seq' into i-cbmc

50cd927... by Lihao Liang <email address hidden>

Replace empty ; with {}

7a84c75... by Lihao Liang <email address hidden>

Line length cleanup

0feae64... by Lihao Liang <email address hidden>

Spaces cleanup

41f9258... by Lihao Liang <email address hidden>

Some final cleanup

c83ae56... by Lihao Liang <email address hidden>

Add regression tests for --irq

4615e84... by Lihao Liang <email address hidden>

Add command line option --irq

07219ac... by Lihao Liang <email address hidden>

Update Makefile

07eb4a0... by Lihao Liang <email address hidden>

Add interrupt memory model

3a86a6d... by Lihao Liang <email address hidden>

Add fields priority and is_start_thread to CBMC's symbolic execution