Skip to content

Tags: Frama-C/headache

Tags

v1.08

Toggle v1.08's commit message 
bump version for release, update installation instructions

v1.07

Toggle v1.07's commit message 
[dune] remove explicit dependency on bytes

v1.06

Toggle v1.06's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #2 from Frama-C/feature/add-verbose

add -v (verbose) option, unset by default

v1.05

Toggle v1.05's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
version 1.05

v1.04

Toggle v1.04's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
Migration to dune

v1.03-utf8

Toggle v1.03-utf8's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
version 1.03-utf8 with updated documentation