24
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 22 hours ago. based on code collected about 22 hours ago.
Dec 01, 2024 — Dec 01, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
scheck: predefine __SYMBOLIC_CHECKER__ More... over 4 years ago
no needs to use MARK_CURRENT_DELETED() for multi-jumps More... over 4 years ago
TODO: add some notes about pseudos being typeless More... over 4 years ago
.gitignore is a bit too greedy More... over 4 years ago
builtin: define a symbol_op for a generic op acting on integer More... over 4 years ago
export declare_builtins() More... over 4 years ago
scheck: support pre-conditions via __assume() More... over 4 years ago
scheck: assert_const() More... over 4 years ago
scheck: allow multiple assertions More... over 4 years ago
scheck: assert_eq() More... over 4 years ago
linear: only allocate call instructions when needed More... over 4 years ago
scheck: add a symbolic checker More... over 4 years ago
fix null-pointer crash with with ident same as one of the attributes More... over 4 years ago
Merge branch 'testsuite-extra' (early part) More... over 4 years ago
correctly count phi arguments More... over 4 years ago
better check validity of phi-sources More... over 4 years ago
fix remove_merging_phisrc() More... over 4 years ago
additional testcase for remove_merging_phisrc() More... over 4 years ago
let ssa_rename_phi() use insert_last_instruction() More... over 4 years ago
let find_dominating_parents() use insert_last_instruction() More... over 4 years ago
let insert_phis() use insert_last_instruction() More... over 4 years ago
let insert_select() use insert_last_instruction() More... over 4 years ago
replace add_instruction_to_end() by insert_last_instruction() More... over 4 years ago
testsuite: add option '-r' to 'test-suite format' More... over 4 years ago
add insert_last_instruction() More... over 4 years ago
memops: remove obsolete comment More... over 4 years ago
memops: we can kill addresses unconditionally More... over 4 years ago
memops: do not mess up with phisource's source ident More... over 4 years ago
memops: avoid using first_pseudo() More... over 4 years ago
add testcases to check if phi-sources from removed targets are removed too More... over 4 years ago