delcypher freeboogie issues

delcypher / freeboogie

Automatically exported from code.google.com/p/freeboogie

0 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

migrate some tests to v2 of Boogie

#75 GoogleCodeExporter opened 9 years ago
0
reduce memory use

#74 GoogleCodeExporter opened 9 years ago
0
remove escjava passivator

#73 GoogleCodeExporter opened 9 years ago
0
tags on classes

#72 GoogleCodeExporter opened 9 years ago
0
dump types

#71 GoogleCodeExporter opened 9 years ago
0
handle native methods

#70 GoogleCodeExporter opened 9 years ago
0
fetch specifications of Java methods that are used

#69 GoogleCodeExporter opened 9 years ago
0
get all tests from boogie's codeplex

#68 GoogleCodeExporter opened 9 years ago
0
auto-download jars

#67 GoogleCodeExporter opened 9 years ago
2
add back explicit specialization of generics

#66 GoogleCodeExporter opened 9 years ago
0
ant warnings

#65 GoogleCodeExporter opened 9 years ago
0
integrate BmlToBpl with FreeBoogie

#64 GoogleCodeExporter opened 9 years ago
0
edit and verify on smt dags

#63 GoogleCodeExporter opened 9 years ago
0
better feedback for wrong command line

#62 GoogleCodeExporter opened 9 years ago
0
translate the contract of abstract methods

#61 GoogleCodeExporter opened 9 years ago
0
getting rid of cycles is unsound

#60 GoogleCodeExporter opened 9 years ago
0
display warnings once

#59 GoogleCodeExporter opened 9 years ago
1
systematic persistent derived information

#58 GoogleCodeExporter opened 9 years ago
0
passivation is broken

#57 GoogleCodeExporter closed 9 years ago
1
command line to stop after various phases

#56 GoogleCodeExporter opened 9 years ago
0
treat constants like functions with no argument

#55 GoogleCodeExporter opened 9 years ago
0
backend for smt

#54 GoogleCodeExporter opened 9 years ago
0
use the z3 api

#53 GoogleCodeExporter opened 9 years ago
2
forbid assignment to constants

#52 GoogleCodeExporter opened 9 years ago
1
remove syntactic predicates

#51 GoogleCodeExporter opened 9 years ago
0
function parsing should only allow one result

#50 GoogleCodeExporter opened 9 years ago
0
alpha renaming

#49 GoogleCodeExporter opened 9 years ago
0
unified terms naming

#48 GoogleCodeExporter opened 9 years ago
0
process 'where'

#47 GoogleCodeExporter opened 9 years ago
0
re-think backend

#46 GoogleCodeExporter opened 9 years ago
0
interface to parse from strings

#45 GoogleCodeExporter opened 9 years ago
0
carry on triggers

#44 GoogleCodeExporter opened 9 years ago
0
add axioms for %

#43 GoogleCodeExporter opened 9 years ago
0
add a switch for Coq

#42 GoogleCodeExporter opened 9 years ago
0
move to new logging

#41 GoogleCodeExporter opened 9 years ago
0
fix unchecked in Logger

#40 GoogleCodeExporter closed 9 years ago
1
type encoding

#39 GoogleCodeExporter opened 9 years ago
0
organize the grammar

#38 GoogleCodeExporter opened 9 years ago
0
parse <: properly

#37 GoogleCodeExporter opened 9 years ago
0
desugar function bodies

#36 GoogleCodeExporter opened 9 years ago
0
desugar if

#35 GoogleCodeExporter closed 9 years ago
1
desugar break

#34 GoogleCodeExporter closed 9 years ago
1
desugar while

#33 GoogleCodeExporter closed 9 years ago
1
visiting methods should take one argument

#32 GoogleCodeExporter closed 9 years ago
3
handle where

#31 GoogleCodeExporter opened 9 years ago
0
check that label names are unique within a body

#30 GoogleCodeExporter closed 9 years ago
1
fix testsuite

#29 GoogleCodeExporter closed 9 years ago
3
ast for body

#28 GoogleCodeExporter opened 9 years ago
0
astgen conditions

#27 GoogleCodeExporter opened 9 years ago
0
generated files should be in different directories

#26 GoogleCodeExporter closed 9 years ago
2