[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [klee/klee] 71a7e3: Split creation of symbolic files and stdin in two ...
From:       Cristian Cadar <c.cadar () imperial ! ac ! uk>
Date:       2016-05-27 17:43:05
Message-ID: 574887299ef55_396b3fc3528512b819132f () hookshot-fe3-cp1-prd ! iad ! github ! net ! mail
[Download RAW message or body]

Branch: refs/heads/master
  Home:   https://github.com/klee/klee
  Commit: 71a7e31ed99625e2f493ad99972b8446744da54e
      https://github.com/klee/klee/commit/71a7e31ed99625e2f493ad99972b8446744da54e
  Author: Andrea Mattavelli <andreamattavelli@gmail.com>
  Date:   2016-05-24 (Tue, 24 May 2016)

  Changed paths:
    M runtime/POSIX/fd.h
    M runtime/POSIX/fd_init.c
    M runtime/POSIX/klee_init_env.c
    M test/Runtime/POSIX/Isatty.c
    M test/Runtime/POSIX/Stdin.c

  Log Message:
  -----------
  Split creation of symbolic files and stdin in two distinct options


  Commit: d91432084ddb54ed528ae059c114cc5b225241c2
      https://github.com/klee/klee/commit/d91432084ddb54ed528ae059c114cc5b225241c2
  Author: Cristian Cadar <c.cadar@imperial.ac.uk>
  Date:   2016-05-27 (Fri, 27 May 2016)

  Changed paths:
    M runtime/POSIX/fd.h
    M runtime/POSIX/fd_init.c
    M runtime/POSIX/klee_init_env.c
    M test/Runtime/POSIX/Isatty.c
    M test/Runtime/POSIX/Stdin.c

  Log Message:
  -----------
  Merge pull request #397 from andreamattavelli/refactoring_stdin

Distinct options for symbolic files and symbolic stdin


Compare: https://github.com/klee/klee/compare/a8012548f2cc...d91432084ddb

_______________________________________________
klee-commits mailing list
klee-commits@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-commits


[prev in list] [next in list] [prev in thread] [next in thread]