delcypher

#include "klee/klee.h"
#include <assert.h>
#include <inttypes.h>
#include <stdio.h>
//types and constants used in the functions below

const uint64_t m1  = 0x5555555555555555; //binary: 0101...
const uint64_t m2  = 0x3333333333333333; //binary: 00110011..
const uint64_t m4  = 0x0f0f0f0f0f0f0f0f; //binary:  4 zeros,  4 ones ...
const uint64_t m8  = 0x00ff00ff00ff00ff; //binary:  8 zeros,  8 ones ...

delcypher

#include "klee/klee.h"
#include <assert.h>
#include <math.h>
#include <stdio.h>

int is_subnormal(float f) {
  return fpclassify(f) == FP_SUBNORMAL;
}

int main() {

delcypher

#include <assert.h>
#include <inttypes.h>
#include <math.h>
#include <stdlib.h>
#include <stdint.h>
#include <stdio.h>
#include <string.h>

int is_subnormal(float f) {
  return fpclassify(f) == FP_SUBNORMAL;

delcypher

#include <assert.h>
#include <fenv.h>
#include <inttypes.h>
#include <math.h>
#include <stdlib.h>
#include <stdint.h>
#include <stdio.h>
#include <string.h>

int is_subnormal(float f) {

delcypher

Homebrew build logs for homebrew/versions/llvm34 on macOS 10.12.2
Build date: 2016-12-18 23:15:29

delcypher

# Maintainer: Michael Schubert <mschu.dev at gmail>
# Contributor: Mikkel Oscar Lyderik <mikkeloscar at gmail dot com>
pkgname=git-lfs
pkgver=1.5.5
pkgrel=1
pkgdesc="An open source Git extension for versioning large files"
arch=('i686' 'x86_64' 'armv7h')
url="https://${pkgname}.github.com"
license=('MIT')
makedepends=('go' 'ruby-ronn')

delcypher

#!/bin/bash
# Based on http://lists.us.dell.com/pipermail/linux-poweredge/2013-April/047905.html
set -x
set -e
set -o pipefail

function usage() {
  echo "$0 <user_id>"
}

delcypher

;;
;; Prove that
;; (x -y) >> 3 != ((x >> 3)  - (y >> 3))
;;
;; if x >= y
;;
;;
(declare-fun x () (_ BitVec 32))
(declare-fun y () (_ BitVec 32))
(declare-fun shift () (_ BitVec 32))