lp:ubuntu/wily-proposed/creduce

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

12. By Matthias Klose on 2015-08-18

* C-Reduce 2.3.0 release.
* Build using llvm-3.6.

11. By Matthias Klose on 2015-08-08

* C-Reduce 2.3.0 release.
* Build using llvm-3.6.

10. By Matthias Klose on 2014-10-10

C-Reduce 2.2.1 release.

9. By Matthias Klose on 2014-08-12

* Bump dependency on clang-format-3.x.
* Drop the unversioned build dependency on clang, and allow the
  tests to use a versioned clang-x.y binary.
* Build-depend on frama-c-base.

8. By Matthias Klose on 2014-08-11

Build-depend on libedit-dev and zlib1g-dev, missing dependencies
of llvm-3.5-dev.

7. By Matthias Klose on 2014-03-27

Build-depend on flex.

6. By Matthias Klose on 2014-03-27

* New upstream snapshot (trunk 20140327).
* Build using llvm-3.4.

5. By Matthias Klose on 2013-11-01

New upstream version.

4. By Matthias Klose on 2013-04-05

Fix a crash, taken from the trunk.

3. By Matthias Klose on 2013-01-28

* Initial release. Closes: #678645.
* Add a build-using field, as long as clang doesn't provide a complete
  set of shared libraries. See #698247.