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

List:       klee-commits
Subject:    [klee-commits] [klee/klee] fe94a4: Moving to version 1.2.0
From:       Cristian Cadar <c.cadar () imperial ! ac ! uk>
Date:       2016-03-31 16:52:21
Message-ID: 56fd55c5cdbeb_5e343f85dcf432a066096 () hookshot-fe3-cp1-prd ! iad ! github ! net ! mail
[Download RAW message or body]

Branch: refs/heads/master
  Home:   https://github.com/klee/klee
  Commit: fe94a48dc4508a2e498d51b6dd3bbca8e0c594d2
      https://github.com/klee/klee/commit/fe94a48dc4508a2e498d51b6dd3bbca8e0c594d2
  Author: Cristian Cadar <c.cadar@imperial.ac.uk>
  Date:   2016-03-31 (Thu, 31 Mar 2016)

  Changed paths:
    M autoconf/configure.ac
    M configure

  Log Message:
  -----------
  Moving to version 1.2.0


  Commit: 6609a03e68bf551f433ddd0fd8cf64a8683ee2ee
      https://github.com/klee/klee/commit/6609a03e68bf551f433ddd0fd8cf64a8683ee2ee
  Author: Cristian Cadar <c.cadar@imperial.ac.uk>
  Date:   2016-03-31 (Thu, 31 Mar 2016)

  Changed paths:
    M NEWS

  Log Message:
  -----------
  Updated NEWS file with 1.2.0 changes


Compare: https://github.com/klee/klee/compare/58f947302c98...6609a03e68bf

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