lp:~diego-biurrun/hipl/s2e

Created by Diego Biurrun on 2013-03-26 and last modified on 2013-03-26
Get this branch:
bzr branch lp:~diego-biurrun/hipl/s2e
Only Diego Biurrun can upload to this branch. If you are Diego Biurrun please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Diego Biurrun
Project:
HIPL
Status:
Development

Recent revisions

6059. By Diego Biurrun on 2013-03-26

s2e: Add missing #includes to ife.h.

6058. By Diego Biurrun on 2013-03-26

s2e: Simplify excessively broad ifdeffery.

6057. By Diego Biurrun on 2013-03-26

build: Improve S2E help string wording

6056. By Diego Biurrun on 2013-03-26

Merge current HIPL HEAD revision.

6055. By Raimondas Sasnauskas on 2011-08-12

Kill states upon HIP_ASSERT/HIP_IFE(L) failure.

6054. By René Hummen on 2011-05-30

allow to pass s2e library path to configure

6053. By René Hummen on 2011-05-06

integrate s2e framework into build system

6052. By Diego Biurrun on 2011-08-10

hipd: eliminate some HIP_IFE(L) abuse; simplify return handling

6051. By Diego Biurrun on 2011-08-10

openwrt: generate Makefile from a template by configure to substitute version

This saves the trouble of changing HIPL version numbers in multiple
places after each release.

6050. By Diego Biurrun on 2011-08-10

sync-all: drop version number from temporary directory name

The version number keeps changing and this script is simple enough not to
need it. Having it generated by configure would thus be overkill.

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:hipl
This branch contains Public information 
Everyone can see this information.

Subscribers