Lab for Automated Reasoning and Analysis LARA

Releases

Latest releases

Version Release Date Commit Download
phantm-1.0.7 05.10.2012 d4e6015004fbfee3ac4682faf40c77f9c64494e1 phantm-1.0.7.jar
phantm-1.0.6 12.05.2011 91592e61019f66e00e77374d82ccce576820923d phantm-1.0.6.jar
phantm-1.0.5 17.08.2010 d2bd511e665bb6d47646919a6fcf651674ae7f4d phantm-1.0.5.jar
phantm-1.0.4 15.06.2010 0f5bb234c7717ffb4f18aa47b91715389b7d1975 phantm-1.0.4.jar
phantm-1.0.3 02.06.2010 1e2cfb24107ea8f27b9a0f3f99c21051ab99d28f phantm-1.0.3.jar
phantm-1.0.2 31.05.2010 7aa0c8b6edef3003e65ac48e021351a3af37a625 phantm-1.0.2.jar
phantm-1.0.1 26.05.2010 aa7aeaa1524881205ef7b1d996e366c4156379c3 phantm-1.0.1.jar
phantm-1.0.0 30.04.2010 304749e9c81efd7e91aff9a18a675880d450b1e9 phantm-1.0.0.jar

Changelogs

1.0.? (in development)

1.0.7 (in development)

  • Namespaces support
  • Upgrade build process to xsbt 0.12.0

1.0.6 (12.05.2011)

  • Compatible with Scala 2.9.0
  • --anyInput
  • Fixed many bugs

1.0.5 (17.08.2010)

  • Improved general object support
    • Static method calls
    • Singleton objects
    • Method inheritance graph
  • Improved runtime instrumentation
    • Renamed to phantm_collect_state
    • Improved reliability and speed of the unserializer
    • Objects support
  • Improved inlining
    • Fixed bug preventing inlining of subgraphs not reachable from the main scope
    • Safe method inlining based on the derived class hierarchy graph.
    • Automatic constructor inlining on instantiation

1.0.4 (15.06.2010)

  • Added callgraph generations, --exportCG <path> option
  • Rewritten compilation phases chaining
  • Automatic and manual functions inlining
  • Improve array model (?s/?i)
  • Introduce @pure annotation for functions

1.0.3 (02.06.2010)

  • Use is_* functions as type filters in branch conditions
  • Fixed type filtering on structured types
  • Fixed annotations importation of optional and byref arguments
  • Added more cases of type filtering

1.0.2 (31.05.2010)

  • isset/empty taken into account for type filtering in branches
  • Fix errors related to API importing user-defined functions
  • Allow --only ClassName::_ to focus on all methods of this class
  • Fix API importation of return types
  • Re-inject API types into argument symbols' types
  • Allow both ”@param $var type” and ”@param type $var” in source annotations

1.0.1 (26.05.2010)

  • Check return values based on annotations
  • Reduced CFG size
  • Int literals in array types annotations
  • Improved annotation vs. type hints vs. default values checks
  • Improved global variables support
  • Added --version option
  • Added --summary option
  • Errors no longer stop the execution of phantm

1.0.0 (30.04.2010)

 
phantm/releases.txt · Last modified: 2012/10/05 13:15 by ekneuss