Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / miraleung/tressa issues and pull requests
#23 - Extend scripts so that produce internal representation.
Issue -
State: open - Opened by gstlaurent over 8 years ago
#22 - Universalize mining scripts.
Issue -
State: open - Opened by gstlaurent over 8 years ago
#21 - hs-getActivity.sh and hs-getPredicates.sh are extremely slow.
Issue -
State: open - Opened by gstlaurent over 8 years ago
- 1 comment
#20 - We need test code for the Assert tools.
Issue -
State: open - Opened by gstlaurent over 8 years ago
#19 - GetPredicates.hs and GetActivity.hs fail when the ASSERT has no closing parenthesis.
Issue -
State: open - Opened by gstlaurent over 8 years ago
#18 - GetActivity.hs does not distinguish between +, -, and unchanged ASSERTS.
Issue -
State: open - Opened by gstlaurent over 8 years ago
#17 - Add git support in get-diffs.sh
Issue -
State: closed - Opened by bestchai almost 9 years ago
#16 - Prefix targeted function argname with some prespecified string
Issue -
State: closed - Opened by miraleung over 9 years ago
#15 - struct variables have an arbitrarily compiler-determined name
Issue -
State: closed - Opened by miraleung over 9 years ago
- 3 comments
#14 - Macros compiled to inline IR
Issue -
State: open - Opened by miraleung over 9 years ago
- 1 comment
#13 - Return statements need indexing
Issue -
State: closed - Opened by miraleung over 9 years ago
#12 - Handle mismatched vars (from targeted function) as assertfn args and types
Issue -
State: closed - Opened by miraleung over 9 years ago
#11 - Make code style consistent
Issue -
State: closed - Opened by miraleung over 9 years ago
#10 - Improve sample source code
Issue -
State: open - Opened by bestchai over 9 years ago
#9 - Better documentation
Issue -
State: closed - Opened by miraleung over 9 years ago
#8 - Change assertfn function prefixes
Issue -
State: closed - Opened by miraleung over 9 years ago
#7 - Fail (error out) if no insertion point is defined
Issue -
State: closed - Opened by miraleung over 9 years ago
#6 - Define function entry as insertion point
Issue -
State: open - Opened by miraleung over 9 years ago
#5 - Make assignments/statements definable as insertion points
Issue -
State: open - Opened by miraleung over 9 years ago
#4 - Make arg (of targeted function) assertable
Issue -
State: closed - Opened by miraleung over 9 years ago
#3 - Better if/for block indexing
Issue -
State: closed - Opened by miraleung over 9 years ago
#2 - Make local variables assertable w/o declaring them first
Issue -
State: closed - Opened by miraleung over 9 years ago
- 1 comment
#1 - Make pointers/deref variables assertable
Issue -
State: closed - Opened by miraleung over 9 years ago