Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / rgrig/freeboogie issues and pull requests
#15 - wiki page for AstGen
Issue -
State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Priority-Low, Type-Enhancement, Usability, auto-migrated, Package-AstGen, Milestone-Release0.3
#14 - transformer for desugarring type synonims
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: Milestone-Release0.2, Package-FreeBoogie, Type-Enhancement, auto-migrated, Priority-Medium
#14 - transformer for desugarring type synonims
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: Milestone-Release0.2, Package-FreeBoogie, Type-Enhancement, auto-migrated, Priority-Medium
#13 - typechecker for boogie v2
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 3 comments
Labels: Milestone-Release0.2, Package-FreeBoogie, Type-Enhancement, Usability, auto-migrated, Priority-High
#13 - typechecker for boogie v2
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 3 comments
Labels: Milestone-Release0.2, Package-FreeBoogie, Type-Enhancement, Usability, auto-migrated, Priority-High
#12 - add support for user defined macros
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 2 comments
Labels: OpSys-All, Priority-Low, Type-Enhancement, Usability, auto-migrated, Package-AstGen, Milestone-Release0.3
#12 - add support for user defined macros
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 2 comments
Labels: OpSys-All, Priority-Low, Type-Enhancement, Usability, auto-migrated, Package-AstGen, Milestone-Release0.3
#11 - AstGen/test/ag_parser.huge is too slow
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 2 comments
Labels: auto-migrated, OpSys-Linux, Package-AstGen, Priority-Medium, Milestone-Release0.3, Type-Defect, Performance
#11 - AstGen/test/ag_parser.huge is too slow
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 2 comments
Labels: auto-migrated, OpSys-Linux, Package-AstGen, Priority-Medium, Milestone-Release0.3, Type-Defect, Performance
#10 - make freeboogie runnable as an ant task
Issue -
State: open - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: OpSys-All, Package-FreeBoogie, Priority-Low, Type-Enhancement, Usability, auto-migrated, Milestone-Release0.3
#9 - antlr parser for boogie v2
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 3 comments
Labels: Milestone-Release0.2, OpSys-All, Package-FreeBoogie, Type-Enhancement, Usability, auto-migrated, Priority-Critical
#8 - change ast to use immutable lists instead of functional ones
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 4 comments
Labels: Milestone-Release0.2, OpSys-All, Package-FreeBoogie, Type-Enhancement, auto-migrated, Maintainability, Priority-Medium
#7 - support for tags
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: Milestone-Release0.2, Type-Enhancement, Usability, auto-migrated, Package-AstGen, Priority-High
#6 - fix tc2.ok/test00.in
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: Milestone-Release0.2, OpSys-All, Package-FreeBoogie, auto-migrated, Maintainability, Priority-High, Type-Defect
#5 - get rid of AlternativeMain and AlternativeVcGenerator
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: Milestone-Release0.2, OpSys-All, Package-FreeBoogie, auto-migrated, Maintainability, Priority-High, Type-Defect
#4 - dump state after each transformation
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 2 comments
Labels: Milestone-Release0.2, OpSys-All, Package-FreeBoogie, Type-Enhancement, auto-migrated, Maintainability, Priority-High
#3 - file issues
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 2 comments
Labels: Package-FreeBoogie, Priority-Low, auto-migrated, Maintainability, Package-AstGen, Package-GenericUtils, Type-Task, Milestone-Release0.3
#2 - svn periodic checks
Issue -
State: closed - Opened by GoogleCodeExporter over 9 years ago
- 1 comment
Labels: Package-FreeBoogie, auto-migrated, Maintainability, OpSys-Linux, Package-AstGen, Package-GenericUtils, Priority-Medium, Type-Task
#1 - reformat cmdline usage message to take less space
Issue -
State: open - Opened by GoogleCodeExporter over 9 years ago
Labels: Milestone-Release0.2, OpSys-All, Package-FreeBoogie, Priority-Low, Type-Enhancement, Usability, auto-migrated