updates versions and changelog for 2.3.0 (#1316)

Author: ivg

CHANGES.md

@@ -1,3 +1,44 @@
+2.3.0
+=====
+
+- #1263 fixes PE/COFF sections decoding
+- #1265 introduces BIL special encodings and publishes BIL CT parser
+- #1266 introduces the BIL code slot and a few convenience functions
+- #1268 adds a Primus Lisp fronted
+- #1273 rewrites the read-symbols plugin to enable multiple files support
+- #1274 updates the raw loader to enable better support for targets
+- #1275 overhauls target/value abstraction and introduces roles (4/n)
+- #1276 adds the --target parameter to disassemble and compare commands
+- #1277 enables writing program semantics (lifting) in Primus Lisp
+- #1278 moves to centralized and uniform path handling
+- #1286 adds namepspaces (packages) to Primus Lisp
+- #1287 adds riscv32 and riscv64 support
+- #1288 restores output for non-empty instructions
+- #1289 fixes the unit tracking mechanism
+- #1290 implements ABI description eDSL
+- #1291 adds armv8 (aarch64) lifter
+- #1293 implements the array to pointer conversion in C ABI processor
+- #1294 introduces bap dependencies command
+- #1296 uses ARM EABI for Thumb binaries
+- #1295 adds YAML as an alternative output of the specification command
+- #1297 adds the missing ux*, sx*, s?bz instructions
+- #1298 adds more thumb-specific instructions
+- #1304 adds the --show-knowledge option to bap mc
+- #1303 preserves the encoding name of the instruction
+- #1307 renames the core-theory package to just core
+- #1306 adds `bap primus-lisp-documentation` command
+- #1309 adds support for big-endian arm and thumb architectures
+
+### Bug Fixes
+
+- #1272 fixes two bugs in the Memory module
+- #1280 fixes, cleans, and optimizes KB AVL tree implementation
+- #1281 prunes empty segments
+- #1282 fixes recipes search paths
+- #1285 fixes a missing str dependency in the x86 plugin
+- #1308 fixes a bug in the method that computes C padding.
+- #1310 removes the old unit tracking module, fixes the modern one
+
 2.2.0
 =====
 

README.md

@@ -2,8 +2,7 @@
 [![License](https://img.shields.io/badge/license-MIT-blue.svg)](https://github.com/BinaryAnalysisPlatform/bap/blob/master/LICENSE)
 [![Join the chat at https://gitter.im/BinaryAnalysisPlatform/bap](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/BinaryAnalysisPlatform/bap?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
 [![docs](https://img.shields.io/badge/doc-master-green.svg)][docs]
-[![docs](https://img.shields.io/badge/doc-2.2.0-green.svg)][docs]
-[![Build Status](https://travis-ci.org/BinaryAnalysisPlatform/bap.svg?branch=master)][travis]
+[![docs](https://img.shields.io/badge/doc-2.3.0-green.svg)][docs]
 
 ## Table of contents
 *   [Overview](#overview)
@@ -29,20 +28,20 @@ BAP is developed in [CMU, Cylab](https://www.cylab.cmu.edu/) and is sponsored by
 We provide binary packages packed for Debian and Red Hat derivatives. For other distributions we provide tgz archives. To install bap on a Debian derivative:
 
 ```bash
-wget https://github.com/BinaryAnalysisPlatform/bap/releases/download/v2.2.0/{bap,libbap,libbap-dev}_2.2.0.deb
-sudo dpkg -i {bap,libbap,libbap-dev}_2.2.0.deb
+wget https://github.com/BinaryAnalysisPlatform/bap/releases/download/v2.3.0/{bap,libbap,libbap-dev}_2.3.0.deb
+sudo dpkg -i {bap,libbap,libbap-dev}_2.3.0.deb
 ```
 
 ### From sources
 
 Our binary packages do not include the OCaml development environment. If you are going to write an analysis in OCaml you need to install BAP from the source code using either [opam][opam-install] or by cloning and building this repository directly. The opam method is the recommended one. Once it is installed the following three commands should install the platform in a newly created switch.
 
 ```bash
-opam init --comp=4.09.0              # inits opam and install the OCaml compiler
-eval `opam config env`               # activates opam environment
-opam depext --install bap            # installs bap and its dependencies
+opam init --comp=4.09.0   # inits opam and install the OCaml compiler
+eval `opam config env`    # activates opam environment
+opam depext --install bap # installs bap and its dependencies
 ```
-The `opam depext --install bap` command will try to fulfill the system dependencies of BAP, e.g., LLVM and is the common point of failure, especially on uncommon distributions or for rare versions of LLVM. If it fails, try to install the system dependencies manually, using your operating system package manager, and then use the common `opam install bap` command, to install BAP. If it still doesn't work, do not hesitate to drop by our [chat][gitter] and seek help there. It is manned with friendly people that will be happy to help.
+The `opam depext --install bap` command will try to install the system dependencies of BAP. If it fails, try to install the system dependencies manually, using your operating system package manager, and then use the common `opam install bap` command, to install BAP. If it still doesn't work, do not hesitate to drop by our [chat][gitter] and seek help there. It is manned with friendly people that will be happy to help.
 
 The instruction above will get you the latest stable release of BAP. If you're interested in our rolling releases, which are automatically updated every time a commit to the master branch happens, then you can add our testing repository to opam, with the following command
 ```bash

oasis/common

@@ -1,6 +1,6 @@
 OASISFormat: 0.4
 Name:        bap
-Version:     2.3.0-alpha
+Version:     2.3.0
 OCamlVersion: >= 4.08.0
 Synopsis:    BAP Core Library
 Authors:     BAP Team

oasis/common.omake

@@ -1,6 +1,6 @@
 OASISFormat: 0.4
 Name:        bap
-Version:     2.3.0-alpha
+Version:     2.3.0
 OCamlVersion: >= 4.08.0
 Synopsis:    BAP Core Library
 Authors:     BAP Team