Statistics
| Branch: | Tag: | Revision:

root @ master

Name Size Revision Age Author Comment
  .travis 18f01e9f over 3 years Martin Nowack Travis: Run TCMalloc runs explicitly
  autoconf fe94a48d over 3 years Cristian Cadar Moving to version 1.2.0
  docs 1fdb4ef4 about 7 years Cristian Cadar Patch by Dan Liew that adds support for buildin...
  documentation 340cb80f over 3 years Ralf Penners changed Docker URL in documentation dionadar ->...
  examples c16f3329 over 5 years Mate Soos Fixing missing include from get_sign.c
  include 99c91247 over 3 years Ralf Penners fixed merge conflicts
  lib 3e3d2733 about 3 years Ralf Penners fixed: 'error: declaration of template paramete...
  runtime 77bc728d about 2 years Ralf Penners compatibility for newer glibc versions
  scripts 99c91247 over 3 years Ralf Penners fixed merge conflicts
  test 66f53aac over 3 years Omer Anson Added support to load libraries from command li...
  tools 99c91247 over 3 years Ralf Penners fixed merge conflicts
  unittests 1aef38cd over 3 years Marko Dimjašević Added missing copyright headers per klee/issue ...
  utils 1aef38cd over 3 years Marko Dimjašević Added missing copyright headers per klee/issue ...
.clang-format 44 Bytes d33fa33f over 3 years Andrew Santosa Removed Language: Cpp entry from .clang-format ...
.dockerignore 27 Bytes 01933d1b over 4 years Dan Liew Add initial Dockerfile for building a KLEE Dock...
.gitattributes 42 Bytes 185e2f9d over 4 years Cristian Cadar Added .gitattribute file that takes care of lin...
.gitignore 323 Bytes 6ab013c4 almost 4 years Dan Liew Ignore some generated files that will be visibl...
.travis.yml 6.7 KB 45d8a085 over 3 years Laszlo Szekeres Fix SELinux signatures in runtime The SELinux ...
Dockerfile 5.02 KB 7f9afaba over 3 years Dan Liew Add TravisCI and Docker support for building KL...
LICENSE.TXT 2.99 KB 74160196 over 4 years Cristian Cadar Slight updates in license file, acknowledging m...
Makefile 1.74 KB e677492e over 4 years Dan Liew During install, install the klee intrinsic head...
Makefile.common 2.73 KB 37694e11 over 3 years Dan Liew Add some of the basic plumbing required to supp...
Makefile.config.in 2.21 KB c813f146 over 3 years Martin Nowack Add support for tcmalloc Beside improving perf...
Makefile.rules 74.2 KB 85d95bab over 4 years Cristian Cadar Fix compilation under MacOS, see https://github...
MetaSMT.mk 920 Bytes cece05ca over 3 years Dan Liew Refactor the MetaSMT makefile commands into its...
NEWS 3.82 KB 6609a03e over 3 years Cristian Cadar Updated NEWS file with 1.2.0 changes
README.md 1.2 KB 67aee6e7 about 4 years unknown Added link to coverage information
TODO.txt 3.57 KB 93b56715 over 4 years Cristian Cadar Consistent capitalization of "KLEE"
configure 193 KB fe94a48d over 3 years Cristian Cadar Moving to version 1.2.0

Latest revisions

# Date Author Comment
77bc728d 13/09/2017 08:10 Ralf Penners

compatibility for newer glibc versions

3e3d2733 29/06/2016 14:06 Ralf Penners

fixed: 'error: declaration of template parameter ‘Chain’ shadows template parameter'

340cb80f 12/04/2016 15:30 Ralf Penners

changed Docker URL in documentation dionadar -> comsys

a52bffbf 06/04/2016 12:48 Ralf Penners

added documentation folder from 'original' kleenet2-branch

5e6ca565 06/04/2016 08:09 Ralf Penners

Merge https://github.com/klee/klee into kleenet2

99c91247 06/04/2016 08:07 Ralf Penners

fixed merge conflicts

6609a03e 31/03/2016 16:56 Cristian Cadar

Updated NEWS file with 1.2.0 changes

fe94a48d 31/03/2016 16:48 Cristian Cadar

Moving to version 1.2.0

0f813167 29/03/2016 13:03 Ralf Penners

Merge https://github.com/klee/klee into kleenet2

58f94730 22/03/2016 16:27 Cristian Cadar

Merge pull request #361 from MartinNowack/fix_determ_expprinter

ExprPPrinter: Print out arrays deterministically

View all revisions | View revisions

Also available in: Atom