rgrig/freeboogie issues and pull requests

#76 - make it compile

Issue - State: open - Opened by rgrig about 4 years ago

#76 - make it compile

Issue - State: open - Opened by rgrig about 4 years ago

#75 - migrate some tests to v2 of Boogie

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, auto-migrated, Maintainability, Priority-High, Type-Other

#75 - migrate some tests to v2 of Boogie

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, auto-migrated, Maintainability, Priority-High, Type-Other

#74 - reduce memory use

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, auto-migrated, Priority-Medium, Performance, Type-Other

#73 - remove escjava passivator

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Priority-Low, Usability, auto-migrated, Maintainability, Type-Other

#72 - tags on classes

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Priority-Low, Type-Enhancement, Usability, auto-migrated, Package-AstGen

#72 - tags on classes

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Priority-Low, Type-Enhancement, Usability, auto-migrated, Package-AstGen

#71 - dump types

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Priority-Low, Type-Enhancement, auto-migrated, Maintainability

#70 - handle native methods

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Usability, auto-migrated, Priority-Medium, Type-Defect, Package-BmlToBpl

#70 - handle native methods

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Usability, auto-migrated, Priority-Medium, Type-Defect, Package-BmlToBpl

#69 - fetch specifications of Java methods that are used

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Usability, auto-migrated, Priority-Medium, Type-Defect, Package-BmlToBpl

#68 - get all tests from boogie's codeplex

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Type-Enhancement, auto-migrated, Maintainability, Milestone-Release0.3, Priority-High

#67 - auto-download jars

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago - 2 comments
Labels: Priority-Low, Type-Enhancement, auto-migrated, Maintainability, Milestone-Release0.3

#66 - add back explicit specialization of generics

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Priority-Low, Type-Enhancement, auto-migrated, Milestone-Release0.3

#66 - add back explicit specialization of generics

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Priority-Low, Type-Enhancement, auto-migrated, Milestone-Release0.3

#65 - ant warnings

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Priority-Low, auto-migrated, Milestone-Release0.17, Type-Other

#65 - ant warnings

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Priority-Low, auto-migrated, Milestone-Release0.17, Type-Other

#64 - integrate BmlToBpl with FreeBoogie

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Type-Enhancement, Usability, auto-migrated, Priority-Medium, Milestone-Release0.3, Package-BmlToBpl

#63 - edit and verify on smt dags

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Type-Enhancement, auto-migrated, Priority-Medium, Performance, Milestone-Release0.4

#62 - better feedback for wrong command line

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Usability, auto-migrated, Priority-Medium, Type-Defect, Package-BmlToBpl

#61 - translate the contract of abstract methods

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Type-Enhancement, Usability, auto-migrated, Priority-Medium, Package-BmlToBpl

#61 - translate the contract of abstract methods

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Type-Enhancement, Usability, auto-migrated, Priority-Medium, Package-BmlToBpl

#60 - getting rid of cycles is unsound

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Milestone-Release0.2, Package-FreeBoogie, Usability, auto-migrated, Type-Defect, Priority-Critical

#59 - display warnings once

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago - 1 comment
Labels: Package-FreeBoogie, Priority-Low, Usability, auto-migrated, Type-Defect, Milestone-Release0.4

#59 - display warnings once

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago - 1 comment
Labels: Package-FreeBoogie, Priority-Low, Usability, auto-migrated, Type-Defect, Milestone-Release0.4

#58 - systematic persistent derived information

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Type-Enhancement, auto-migrated, Maintainability, Priority-Critical, Performance, Milestone-Release0.4

#58 - systematic persistent derived information

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Type-Enhancement, auto-migrated, Maintainability, Priority-Critical, Performance, Milestone-Release0.4

#57 - passivation is broken

Issue - State: closed - Opened by GoogleCodeExporter over 9 years ago - 1 comment
Labels: Milestone-Release0.2, Package-FreeBoogie, auto-migrated, Type-Defect, Priority-Critical

#57 - passivation is broken

Issue - State: closed - Opened by GoogleCodeExporter over 9 years ago - 1 comment
Labels: Milestone-Release0.2, Package-FreeBoogie, auto-migrated, Type-Defect, Priority-Critical

#56 - command line to stop after various phases

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Priority-Low, Type-Enhancement, auto-migrated, Maintainability, Milestone-Release0.3

#55 - treat constants like functions with no argument

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Priority-Low, Type-Enhancement, auto-migrated, Milestone-Release0.17

#55 - treat constants like functions with no argument

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Priority-Low, Type-Enhancement, auto-migrated, Milestone-Release0.17

#54 - backend for smt

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Type-Enhancement, auto-migrated, Priority-High, Milestone-Release0.15

#54 - backend for smt

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Type-Enhancement, auto-migrated, Priority-High, Milestone-Release0.15

#53 - use the z3 api

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago - 2 comments
Labels: Package-FreeBoogie, Type-Enhancement, auto-migrated, Priority-High, Milestone-Release0.15

#53 - use the z3 api

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago - 2 comments
Labels: Package-FreeBoogie, Type-Enhancement, auto-migrated, Priority-High, Milestone-Release0.15

#52 - forbid assignment to constants

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago - 1 comment
Labels: Package-FreeBoogie, auto-migrated, Priority-High, Type-Defect, Milestone-Release0.10

#52 - forbid assignment to constants

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago - 1 comment
Labels: Package-FreeBoogie, auto-migrated, Priority-High, Type-Defect, Milestone-Release0.10

#51 - remove syntactic predicates

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Priority-Low, Type-Enhancement, auto-migrated, Milestone-Release0.10

#51 - remove syntactic predicates

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Priority-Low, Type-Enhancement, auto-migrated, Milestone-Release0.10

#50 - function parsing should only allow one result

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, auto-migrated, Type-Defect, Priority-Critical, Milestone-Release0.7

#50 - function parsing should only allow one result

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, auto-migrated, Type-Defect, Priority-Critical, Milestone-Release0.7

#49 - alpha renaming

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Type-Enhancement, auto-migrated, Priority-High, Milestone-Release0.6

#48 - unified terms naming

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Type-Enhancement, auto-migrated, Priority-Medium, Milestone-Release0.6

#47 - process 'where'

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, auto-migrated, Type-Defect, Priority-Critical, Milestone-Release0.5

#47 - process 'where'

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, auto-migrated, Type-Defect, Priority-Critical, Milestone-Release0.5

#46 - re-think backend

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Priority-Low, Type-Enhancement, auto-migrated, Maintainability, Milestone-Release0.5

#46 - re-think backend

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Priority-Low, Type-Enhancement, auto-migrated, Maintainability, Milestone-Release0.5

#45 - interface to parse from strings

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Type-Enhancement, auto-migrated, Priority-Medium, Milestone-Release0.5

#45 - interface to parse from strings

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Type-Enhancement, auto-migrated, Priority-Medium, Milestone-Release0.5

#44 - carry on triggers

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Type-Enhancement, auto-migrated, Milestone-Release0.3, Priority-Critical, Performance

#44 - carry on triggers

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Type-Enhancement, auto-migrated, Milestone-Release0.3, Priority-Critical, Performance

#43 - add axioms for %

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Usability, auto-migrated, Milestone-Release0.3, Priority-High, Type-Defect

#43 - add axioms for %

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Package-FreeBoogie, Usability, auto-migrated, Milestone-Release0.3, Priority-High, Type-Defect

#42 - add a switch for Coq

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: OpSys-All, Package-FreeBoogie, Type-Enhancement, auto-migrated, Priority-Medium, Milestone-Release0.3

#41 - move to new logging

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: OpSys-All, Package-FreeBoogie, Priority-Low, Type-Enhancement, auto-migrated, Maintainability, Milestone-Release0.3

#41 - move to new logging

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: OpSys-All, Package-FreeBoogie, Priority-Low, Type-Enhancement, auto-migrated, Maintainability, Milestone-Release0.3

#40 - fix unchecked in Logger

Issue - State: closed - Opened by GoogleCodeExporter over 9 years ago - 1 comment
Labels: auto-migrated, Package-GenericUtils, Type-Defect, Priority-Critical, Milestone-Release0.4

#40 - fix unchecked in Logger

Issue - State: closed - Opened by GoogleCodeExporter over 9 years ago - 1 comment
Labels: auto-migrated, Package-GenericUtils, Type-Defect, Priority-Critical, Milestone-Release0.4

#39 - type encoding

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Milestone-Release0.2, OpSys-All, Package-FreeBoogie, Type-Enhancement, Usability, auto-migrated, Priority-Critical

#39 - type encoding

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Milestone-Release0.2, OpSys-All, Package-FreeBoogie, Type-Enhancement, Usability, auto-migrated, Priority-Critical

#38 - organize the grammar

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Milestone-Release0.2, Package-FreeBoogie, Priority-Low, Type-Enhancement, auto-migrated, Maintainability

#38 - organize the grammar

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Milestone-Release0.2, Package-FreeBoogie, Priority-Low, Type-Enhancement, auto-migrated, Maintainability

#37 - parse <: properly

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: OpSys-All, Package-FreeBoogie, Type-Enhancement, Usability, auto-migrated, Priority-Medium, Milestone-Release0.3

#37 - parse <: properly

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: OpSys-All, Package-FreeBoogie, Type-Enhancement, Usability, auto-migrated, Priority-Medium, Milestone-Release0.3

#36 - desugar function bodies

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Milestone-Release0.2, OpSys-All, Package-FreeBoogie, Type-Enhancement, Usability, auto-migrated, Priority-Medium

#36 - desugar function bodies

Issue - State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Milestone-Release0.2, OpSys-All, Package-FreeBoogie, Type-Enhancement, Usability, auto-migrated, Priority-Medium