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

List:       klee-commits
Subject:    [klee-commits] [klee/klee] f33130: tools/klee/main: remove whitespaces
From:       Cristian Cadar <c.cadar () imperial ! ac ! uk>
Date:       2015-08-21 17:09:35
Message-ID: 55d75b4f321ea_6b483fa90e4d32c0339a3 () hookshot-fe3-cp1-prd ! iad ! github ! net ! mail
[Download RAW message or body]

Branch: refs/heads/master
  Home:   https://github.com/klee/klee
  Commit: f33130e48366422d00a8aba2d349b2288e5bd14b
      https://github.com/klee/klee/commit/f33130e48366422d00a8aba2d349b2288e5bd14b
  Author: Riccardo Schirone <sirmy15@gmail.com>
  Date:   2015-08-14 (Fri, 14 Aug 2015)

  Changed paths:
    M tools/klee/main.cpp

  Log Message:
  -----------
  tools/klee/main: remove whitespaces


  Commit: aff25c9879751fc02298069ed6c93975cfdb08c9
      https://github.com/klee/klee/commit/aff25c9879751fc02298069ed6c93975cfdb08c9
  Author: Riccardo Schirone <sirmy15@gmail.com>
  Date:   2015-08-14 (Fri, 14 Aug 2015)

  Changed paths:
    M tools/klee/main.cpp

  Log Message:
  -----------
  tools/klee: pass the entry function name as argument


  Commit: 792059626d3b669a90b3e256cf72ab95946840bf
      https://github.com/klee/klee/commit/792059626d3b669a90b3e256cf72ab95946840bf
  Author: Riccardo Schirone <sirmy15@gmail.com>
  Date:   2015-08-14 (Fri, 14 Aug 2015)

  Changed paths:
    A test/Feature/EntryPoint.c

  Log Message:
  -----------
  test: add Feature test for EntryPoint option


  Commit: 8f6c2fd67c34a9725f79652fb6bcb24f42b0f432
      https://github.com/klee/klee/commit/8f6c2fd67c34a9725f79652fb6bcb24f42b0f432
  Author: Cristian Cadar <c.cadar@imperial.ac.uk>
  Date:   2015-08-21 (Fri, 21 Aug 2015)

  Changed paths:
    A test/Feature/EntryPoint.c
    M tools/klee/main.cpp

  Log Message:
  -----------
  Merge pull request #251 from ret2libc/entryFnParam

Added option to specify a different entry point from main().  Remove some whitespaces.


Compare: https://github.com/klee/klee/compare/efc5bde08a61...8f6c2fd67c34

_______________________________________________
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]