http://barista.x9c.fr News about the Barista project (c) 2007-2013 Xavier Clerc Sun Sep 09 12:00:00 CEST 2007 First public release Tue Sep 11 10:00:00 CEST 2007 A bunch of tests did not pass as a consequence of "licence header" addition. The waited error line was incorrect. Now fixed in both repository and source distribution. Fri Sep 14 15:54:55 CEST 2007 Binaries are now available Sun Dec 09 23:00:00 CET 2007 The Cafesterol-compiled version has been fixed, plus a method size error is now correctly reported. The API has been modified in two ways: first, module exceptions now take a variant as parameter insted of a string (a string conversion function is provided); second, Method.Constructor do no more carry a return type information because the return type of a class constructor is fixed. Last but not least, the assembler language has been modified to accept spaces inside parentheses as well as around colons. Sat Mar 01 12:00:00 CET 2008 Changes include a Java API, as well as minor grammar/API changes. Tue May 27 07:00:00 CEST 2008 The 1.0 release is finally up ! Sun Nov 09 22:00:00 CET 2008 This version brings the following changes: move from Java 1.5 to Java 1.6, support for stack frames, and support for Bisect coverage. Fri Apr 17 23:00:00 CEST 2009 This version fixes a bug related to LDC, LDC_W and INVOKEVIRTUAL instructions (results in a change in the definition of the Instruction.t type). Now able to load all classes from the JDK 1.6. Sat Sep 19 22:00:00 CEST 2009 This version introduces the 'Traversal' module (defining mappers and iterators over class definitions) and handling of class file format versions. Sat Feb 06 20:00:00 CEST 2009 This version introduces the 'StackState' (for stack/locals manipulation), 'ControlFlow' (for control flow information as a graph), and 'Code' (for computation of stack/locals from instructions) modules. It also introduces '-flow' (to generate flow graph for a method), and '-generate-stack-infos' (to generate stack elements) command-line switches. Several bugs were fixed: #28 (support for ocamlfind), #46 (invalid padding size for switch instructions), and #47 (invalid handling of '@LineNumber'). Fri Jul 15 00:00:00 CEST 2010 This version brings the following changes:

• update for Objective Caml 3.12.1
• update for Camomile 0.8.3
• new build system (ocamlbuild-based)
• reorganization of 'src' directory
• support for Unicode in 'src/utf8' directory
• major refactoring of code (with impact on API)
• executable names changed to 'barista.byte' and 'barista.native'
• peephole optimizations
• optimization of stack frames
• optimization of exception tables
• optimization of 'transitive' jumps
• new '-optimize' command-line switch to enable peephole/jump optimizations
• support for 'invodynamic' (JSR 292)
• preliminary support for type annotations (JSR 308)
• preliminary support for Java modules (project Jigsaw / JSR 294)
• support for 'package-info' and 'module-info' class files
• support for Java serialization protocol (version 2 only)
• new implementation for i/o operations
• improved manual
• Java API has been removed

Warning: this version cannot be used with Cafesterol 1.4 due to API changes.
Wed Dec 21 20:00:00 CEST 2011 This version brings the following changes:

• move from Java 1.6 to Java 1.7 as default version
• syntax extension for 'exception pattern' (BARISTA_ERROR)
• syntax extension for Unicode literals (@"string" and @'c')
• InputStream.t and OutputStream.t can now be created from functions
• better error reporting when a signature is invalid
• helper functions for serialization
• minor refactoring of code (with small impact on API)
• removed dependency to 'Str' module
• bug #73: uniform handling of depencies
• bug #83: correct construction of constant pool w.r.t. LDC instructions

Warning: this version cannot be used with Cafesterol 1.4 due to API changes.
Sun May 13 12:00:00 CEST 2012 This version brings the following changes:

• support for '*.sym' and '*.war' files in classpath
• 'JAVA_HOME' environment variable used to load JDK classes
• '/usr/libexec/java_home' utility used to load JDK classes (MacOS X)
• 'Predef' module renamed to 'Predefined'
• peephole rule for optimization of load/load sequences
• no automatic detection of 'ocamljava' binary
• bug #99: wrong packing of int32 into int64
• bug: ocamlbuild plugin for ocamljava-based compilation
• bug: invalid stack maps when double/long is followed by top
• bug: invalid locals size when over 255
• bug: incorrect graph flattening when wide gotos are used
• bug: install 'cmi' file

Warning: this version cannot be used with Cafesterol 1.4 due to API changes.
Sun May 13 12:00:00 CEST 2012 This version brings the following changes:

• update for Objective Caml 4.00.1
• update for Camlzip 1.05
• new 'graph' command, allowing to generate the graph of classes references from a list of archives (supported file formats: Dot, GEXF, and GraphML)
• new 'Lookup' module allowing to search for Java elements (classes, constructors, fields, and methods) from string queries
• new 'Manifest' module providing support for archive manifest files
• new 'ArchiveBuilder' module allowing to construct archives from classes, and handling manifest, services, and copy from other archives
• the 'flow' command can now generate output to either GEXF, or GraphML, in addition to Dot
• improved handling of classpaths
• improved performance for class encoding (about 50% speed-up)
• improved performance for stack state computations (about 30% speed-up)
• optimization of switches (turning lookup switches into table switches if it saves some place)
• new peephole optimizations, in order to avoid simple conversions of constants
• API CHANGE: class types for 'traversal' objects enhanced with new methods
• API CHANGE: 'Traversal' module renamed to 'ClassTraversal'
• new 'traversal' class type allowing to fold over class elements
• new 'ArchiveTraversal' module allowing to traverse archives
• bug: incorrect handling of some 'package-info' class files
• bug #86: '-ocaml-prefix' doesn't really work
• bug #87: install shouldn't build anything
• bug #89: do not activate warnings by default
• bug #104: configure script should be executable
• bug #110: error in annotation encoding of string value
• bug #111: invalid stack frame when locals are changed in a protected block
• bug #116: invalid stack frame after "invokespecial" instruction

Warning: this version cannot be used with Cafesterol 1.4 due to API changes.