rgrig/freeboogie

Issues

• make it compile

  #76 opened 4 years ago by rgrig
  0

• tags on classes

  #72 opened 9 years ago by GoogleCodeExporter
  0

• remove escjava passivator

  #73 opened 9 years ago by GoogleCodeExporter
  0

• reduce memory use

  #74 opened 9 years ago by GoogleCodeExporter
  0

• migrate some tests to v2 of Boogie

  #75 opened 9 years ago by GoogleCodeExporter
  0

• get all tests from boogie's codeplex

  #68 opened 9 years ago by GoogleCodeExporter
  0

• fetch specifications of Java methods that are used

  #69 opened 9 years ago by GoogleCodeExporter
  0

• handle native methods

  #70 opened 9 years ago by GoogleCodeExporter
  0

• dump types

  #71 opened 9 years ago by GoogleCodeExporter
  0

• ant warnings

  #65 opened 9 years ago by GoogleCodeExporter
  0

• add back explicit specialization of generics

  #66 opened 9 years ago by GoogleCodeExporter
  0

• auto-download jars

  #67 opened 9 years ago by GoogleCodeExporter
  2

• edit and verify on smt dags

  #63 opened 9 years ago by GoogleCodeExporter
  0

• integrate BmlToBpl with FreeBoogie

  #64 opened 9 years ago by GoogleCodeExporter
  0

• better feedback for wrong command line

  #62 opened 9 years ago by GoogleCodeExporter
  0

• translate the contract of abstract methods

  #61 opened 9 years ago by GoogleCodeExporter
  0

• getting rid of cycles is unsound

  #60 opened 9 years ago by GoogleCodeExporter
  0

• display warnings once

  #59 opened 9 years ago by GoogleCodeExporter
  1

• command line to stop after various phases

  #56 opened 9 years ago by GoogleCodeExporter
  0

• passivation is broken

  #57 opened 9 years ago by GoogleCodeExporter
  1

• systematic persistent derived information

  #58 opened 9 years ago by GoogleCodeExporter
  0

• use the z3 api

  #53 opened 9 years ago by GoogleCodeExporter
  2

• backend for smt

  #54 opened 9 years ago by GoogleCodeExporter
  0

• treat constants like functions with no argument

  #55 opened 9 years ago by GoogleCodeExporter
  0

• alpha renaming

  #49 opened 9 years ago by GoogleCodeExporter
  0

• function parsing should only allow one result

  #50 opened 9 years ago by GoogleCodeExporter
  0

• remove syntactic predicates

  #51 opened 9 years ago by GoogleCodeExporter
  0

• forbid assignment to constants

  #52 opened 9 years ago by GoogleCodeExporter
  1

• interface to parse from strings

  #45 opened 9 years ago by GoogleCodeExporter
  0

• re-think backend

  #46 opened 9 years ago by GoogleCodeExporter
  0

• process 'where'

  #47 opened 9 years ago by GoogleCodeExporter
  0

• unified terms naming

  #48 opened 9 years ago by GoogleCodeExporter
  0

• fix unchecked in Logger

  #40 opened 9 years ago by GoogleCodeExporter
  1

• move to new logging

  #41 opened 9 years ago by GoogleCodeExporter
  0

• add a switch for Coq

  #42 opened 9 years ago by GoogleCodeExporter
  0

• add axioms for %

  #43 opened 9 years ago by GoogleCodeExporter
  0

• carry on triggers

  #44 opened 9 years ago by GoogleCodeExporter
  0

• parse <: properly

  #37 opened 9 years ago by GoogleCodeExporter
  0

• organize the grammar

  #38 opened 9 years ago by GoogleCodeExporter
  0

• type encoding

  #39 opened 9 years ago by GoogleCodeExporter
  0

• desugar break

  #34 opened 9 years ago by GoogleCodeExporter
  1

• desugar if

  #35 opened 9 years ago by GoogleCodeExporter
  1

• desugar function bodies

  #36 opened 9 years ago by GoogleCodeExporter
  0

• desugar while

  #33 opened 9 years ago by GoogleCodeExporter
  1

• visiting methods should take one argument

  #32 opened 9 years ago by GoogleCodeExporter
  3

• fix testsuite

  #29 opened 9 years ago by GoogleCodeExporter
  3

• check that label names are unique within a body

  #30 opened 9 years ago by GoogleCodeExporter
  1

• handle where

  #31 opened 9 years ago by GoogleCodeExporter
  0

• ast for body

  #28 opened 9 years ago by GoogleCodeExporter
  0

• astgen conditions

  #27 opened 9 years ago by GoogleCodeExporter
  0