Branches

• ivy protected

  0e8d6f6d · Rename ant task "contrib" to "install-contrib". · Nov 24, 2011
• explicit_experiments protected

  ccf3cfbc · current development snapshot for easier benchmarking on remote servers · Nov 16, 2011
• abe protected

  09534b0d · remove tag subclipse:tags · Nov 11, 2011
• explicit_cegar protected

  a874674d · another round of bug fixing · Oct 06, 2011
• stopoperator protected

  1f20aaa2 · merge trunk changes into branch · Sep 07, 2011
• counterexample-info protected

  b48017a5 · Revert Refiner interface and CEGARAlgorithm to the trunk version, changes... · Aug 30, 2011
• kaeufl protected

  33d3b72d · synchronize branch with trunk · Jul 01, 2011
• abm protected

  d8dc50cb · update ABM configs · May 26, 2011
• ast protected

  614401eb · add license information to all files · Mar 16, 2011
• lazy-abstractions protected

  7208598f · remove unnecessary configuration files · Nov 09, 2010
• wendler protected

  16f6f710 · Merge trunk changes to my branch. · Sep 23, 2010
• holzer protected

  e545a811 · add special properties so that Subclipse recognizes our branches & tags · May 14, 2010
• qdpt-hacking protected

  66e9ad57 · add special properties so that Subclipse recognizes our branches & tags · May 14, 2010
• abstractelementwithlocation-cleanup protected

  1d1e242d · Extended MergeOperator interface · Dec 06, 2008
• cpachecker-until-2008-11-30 protected

  02a7b8e0 · Dummy methods added. Callers please take care! · Nov 30, 2008