Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / peterrum/po-lab-2018 issues and pull requests

#61 - Create LICENSE

Pull Request - State: closed - Opened by peterrum about 6 years ago

#60 - Clarify license

Issue - State: closed - Opened by michael-schwarz about 6 years ago

#59 - sdiv is currently not sound

Issue - State: closed - Opened by michael-schwarz over 6 years ago - 2 comments

#57 - Example presentation

Issue - State: closed - Opened by arosch over 6 years ago - 1 comment

#56 - Implement trivial widening for strided intervals

Issue - State: closed - Opened by arosch over 6 years ago - 5 comments

#55 - visitphinode case of propagating constants

Issue - State: closed - Opened by arosch over 6 years ago

#54 - Remove superfluous LUB

Issue - State: closed - Opened by michael-schwarz over 6 years ago - 1 comment

#53 - Strided Interval: Constructor taking BoundedSet is incorrect

Issue - State: closed - Opened by michael-schwarz over 6 years ago - 1 comment

#50 - size() in StridedInterval is wrong (off-by-1)

Issue - State: closed - Opened by michael-schwarz over 6 years ago - 3 comments

#49 - Improve icmp for StridedIntervals

Issue - State: closed - Opened by jerhard over 6 years ago - 2 comments

#48 - Fix lessOrEquals for CompositeDomain.

Issue - State: closed - Opened by jerhard over 6 years ago - 1 comment

#47 - Integrate CompositeDomain

Issue - State: closed - Opened by peterrum over 6 years ago - 1 comment

#46 - StridedInterval: Refactor code

Issue - State: closed - Opened by peterrum over 6 years ago - 2 comments

#45 - StridedIntervals: check added code and fill in remaining functions

Issue - State: closed - Opened by peterrum over 6 years ago - 4 comments

#44 - Compare TestOutput for StridedInterval

Issue - State: closed - Opened by jerhard over 6 years ago - 2 comments

#43 - Make VsaPass inherit from function pass instead of module pass

Issue - State: closed - Opened by michael-schwarz over 6 years ago - 1 comment

#42 - Strided Interval contains fails at line 348 with APInt assertion

Issue - State: closed - Opened by arosch over 6 years ago - 2 comments

#41 - Strided Interval implement API functions

Issue - State: closed - Opened by arosch over 6 years ago - 1 comment

#40 - Test with bigger program

Issue - State: closed - Opened by michael-schwarz over 6 years ago - 4 comments

#39 - Write benchmark to automatically compare VSAResult and LazyValueInfo

Issue - State: closed - Opened by peterrum over 6 years ago - 2 comments

#38 - Compare quality of results with LazyValueInfo

Issue - State: closed - Opened by peterrum over 6 years ago - 5 comments

#37 - Assertion `!isTop() && " called size() on T"' failed

Issue - State: closed - Opened by gottfriedsen over 6 years ago

#36 - Widening and narrowing

Issue - State: closed - Opened by peterrum over 6 years ago

#35 - Future Work

Issue - State: closed - Opened by michael-schwarz over 6 years ago

#34 - Treat default branch smarter in switch

Issue - State: closed - Opened by michael-schwarz over 6 years ago - 1 comment

#33 - Add negate operation for AbstractDomain.

Issue - State: closed - Opened by jerhard over 6 years ago - 1 comment

#32 - Create API

Issue - State: closed - Opened by peterrum over 6 years ago

#31 - Fix BoundedSet operations add, sub, mul

Issue - State: closed - Opened by jerhard over 6 years ago - 1 comment

#30 - AbstractDomain operator functions remove unnecessary nuw & nsw

Issue - State: closed - Opened by arosch over 6 years ago

#29 - Add CompositeDomain

Issue - State: closed - Opened by jerhard over 6 years ago - 1 comment

#27 - Create method isBottom in AbstractDomain

Issue - State: closed - Opened by peterrum over 6 years ago

#26 - Add method isBottom() to AbstractDomain

Issue - State: closed - Opened by jerhard over 6 years ago

#25 - Implement lattice interface for strided intervals

Issue - State: closed - Opened by gottfriedsen over 6 years ago - 1 comment

#24 - Implement LLVM operations for strided intervals

Issue - State: closed - Opened by gottfriedsen over 6 years ago - 3 comments

#22 - Fix llvm 6 compatibility

Issue - State: closed - Opened by jerhard over 6 years ago

#21 - Add arg -> T for all arguments when entering function

Issue - State: closed - Opened by michael-schwarz over 6 years ago

#20 - LUB is incorrect

Issue - State: closed - Opened by michael-schwarz over 6 years ago - 2 comments

#19 - Separate state and branch conditions

Issue - State: closed - Opened by peterrum over 6 years ago - 3 comments

#18 - Implement transfer function for load

Issue - State: closed - Opened by michael-schwarz over 6 years ago

#17 - Prune implementation is incorrect

Issue - State: closed - Opened by michael-schwarz over 6 years ago - 2 comments

#15 - Implement switch

Issue - State: closed - Opened by michael-schwarz over 6 years ago - 2 comments

#14 - Deal with comparisons involving two vars

Issue - State: closed - Opened by michael-schwarz over 6 years ago - 5 comments

#13 - Reinsert all assertions dealing with not visiting bottom

Issue - State: closed - Opened by michael-schwarz over 6 years ago - 3 comments

#12 - Remove Duplicates in BoundedSet

Issue - State: closed - Opened by jerhard over 6 years ago - 1 comment

#11 - Put successor on worklist too?

Issue - State: closed - Opened by michael-schwarz over 6 years ago - 2 comments

#10 - C++ constructs to be used and not to be used

Issue - State: closed - Opened by peterrum over 6 years ago - 1 comment

#9 - Format code

Issue - State: closed - Opened by peterrum over 6 years ago

#8 - Complete BoundedSet Implementation

Issue - State: closed - Opened by jerhard over 6 years ago

#7 - Abstract Interpretation Functions

Issue - State: closed - Opened by DrMichaelPetter over 6 years ago - 1 comment

#6 - Extract Results from LLVM Interval Analysis

Issue - State: closed - Opened by jerhard over 6 years ago - 2 comments

#5 - Create Example Source Files For Testing

Issue - State: closed - Opened by jerhard over 6 years ago

#4 - Implement Fixed Point algorithm

Issue - State: closed - Opened by jerhard over 6 years ago - 2 comments

#3 - Unsigned vs signed

Issue - State: closed - Opened by jerhard over 6 years ago - 2 comments

#2 - Implement State Class

Issue - State: closed - Opened by jerhard over 6 years ago

#1 - Data Structure for Abstract Domain

Issue - State: closed - Opened by jerhard over 6 years ago - 1 comment