Issues

• Unable to build CIL due to unbound module Big_int

  jburnim/crest#20 · Filter by author charmoniumQ opened on Jul 29, 2024

• Question about running example uniform.c

  jburnim/crest#19 · Filter by author yh570 opened on Oct 14, 2020

• bits/libc-header-start.h

  jburnim/crest#17 · Filter by author quinzio opened on Jul 3, 2019
  1

• Error when trying to run test: uniform_test.c

  jburnim/crest#13 · Filter by author ramayyala opened on Jul 31, 2018
  1

• Prediction failed #2

  jburnim/crest#12 · Filter by author kren1 opened on Jun 6, 2017

• How to use CREST with muti-files program?How to build the executable program?

  jburnim/crest#11 · Filter by author SOSCapture opened on May 15, 2017
  1

• structs with non 32bit width

  jburnim/crest#9 · Filter by author kren1 opened on Jan 22, 2017

• return struct crestc error

  jburnim/crest#7 · Filter by author kren1 opened on Jan 15, 2017
  1

• Error while compiling CREST : base/basic_types.cc

  jburnim/crest#5 · Filter by author uwevil opened on Jan 14, 2017
  7

• Question about kMinValue array

  jburnim/crest#2 · Filter by author nobe0716 opened on May 25, 2015
  1