openhub.net
Black Duck Software, Inc.
Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
Sparse
Settings
|
Report Duplicate
24
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Very Low Activity
Commits
: Listings
Analyzed
about 22 hours
ago. based on code collected
about 22 hours
ago.
Dec 01, 2024 — Dec 01, 2025
Showing page 4 of 155
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
scheck: predefine __SYMBOLIC_CHECKER__
Luc Van Oostenryck
More...
over 4 years ago
no needs to use MARK_CURRENT_DELETED() for multi-jumps
Luc Van Oostenryck
More...
over 4 years ago
TODO: add some notes about pseudos being typeless
Luc Van Oostenryck
More...
over 4 years ago
.gitignore is a bit too greedy
Luc Van Oostenryck
More...
over 4 years ago
builtin: define a symbol_op for a generic op acting on integer
Luc Van Oostenryck
More...
over 4 years ago
export declare_builtins()
Luc Van Oostenryck
More...
over 4 years ago
scheck: support pre-conditions via __assume()
Luc Van Oostenryck
More...
over 4 years ago
scheck: assert_const()
Luc Van Oostenryck
More...
over 4 years ago
scheck: allow multiple assertions
Luc Van Oostenryck
More...
over 4 years ago
scheck: assert_eq()
Luc Van Oostenryck
More...
over 4 years ago
linear: only allocate call instructions when needed
Luc Van Oostenryck
More...
over 4 years ago
scheck: add a symbolic checker
Luc Van Oostenryck
More...
over 4 years ago
fix null-pointer crash with with ident same as one of the attributes
Luc Van Oostenryck
More...
over 4 years ago
Merge branch 'testsuite-extra' (early part)
Luc Van Oostenryck
More...
over 4 years ago
correctly count phi arguments
Luc Van Oostenryck
More...
over 4 years ago
better check validity of phi-sources
Luc Van Oostenryck
More...
over 4 years ago
fix remove_merging_phisrc()
Luc Van Oostenryck
More...
over 4 years ago
additional testcase for remove_merging_phisrc()
Luc Van Oostenryck
More...
over 4 years ago
let ssa_rename_phi() use insert_last_instruction()
Luc Van Oostenryck
More...
over 4 years ago
let find_dominating_parents() use insert_last_instruction()
Luc Van Oostenryck
More...
over 4 years ago
let insert_phis() use insert_last_instruction()
Luc Van Oostenryck
More...
over 4 years ago
let insert_select() use insert_last_instruction()
Luc Van Oostenryck
More...
over 4 years ago
replace add_instruction_to_end() by insert_last_instruction()
Luc Van Oostenryck
More...
over 4 years ago
testsuite: add option '-r' to 'test-suite format'
Luc Van Oostenryck
More...
over 4 years ago
add insert_last_instruction()
Luc Van Oostenryck
More...
over 4 years ago
memops: remove obsolete comment
Luc Van Oostenryck
More...
over 4 years ago
memops: we can kill addresses unconditionally
Luc Van Oostenryck
More...
over 4 years ago
memops: do not mess up with phisource's source ident
Luc Van Oostenryck
More...
over 4 years ago
memops: avoid using first_pseudo()
Luc Van Oostenryck
More...
over 4 years ago
add testcases to check if phi-sources from removed targets are removed too
Luc Van Oostenryck
More...
over 4 years ago
←
1
2
3
4
5
6
7
8
9
…
154
155
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree