2008-10-22 |
Michael Beck | - BugFix: fixed monotony checker, now enabled |
blob | commitdiff | raw | diff to current |
2008-10-21 |
Michael Beck | - activated WITH_UNKNOWN |
blob | commitdiff | raw | diff to current |
2008-10-20 |
Michael Beck | - BugFix: we need an extra compute_Return(), else compu... |
blob | commitdiff | raw | diff to current |
2008-10-20 |
Michael Beck | - comaparation of x and Top produces True, as Top is... |
blob | commitdiff | raw | diff to current |
2008-10-20 |
Michael Beck | - typos fixed |
blob | commitdiff | raw | diff to current |
2008-10-17 |
Michael Beck | - add comment explaining the connection betwenn the... |
blob | commitdiff | raw | diff to current |
2008-10-17 |
Michael Beck | BugFix for a rare case: |
blob | commitdiff | raw | diff to current |
2008-10-14 |
Christoph Mallon | s/\<\(LC_\)\?INLINE\>/inline/. |
blob | commitdiff | raw | diff to current |
2008-10-11 |
Matthias Braun | remove #ifdef HAVE_CONFIG_Hs |
blob | commitdiff | raw | diff to current |
2008-10-08 |
Michael Beck | - BugFix: fix the rare case where two nodes a congruent... |
blob | commitdiff | raw | diff to current |
2008-10-08 |
Michael Beck | - fixed some comment typos |
blob | commitdiff | raw | diff to current |
2008-10-08 |
Michael Beck | - Add support for commutative congruences: Add(a,b... |
blob | commitdiff | raw | diff to current |
2008-10-07 |
Michael Beck | - kill Bad nodes from the keep-alive list: these arise... |
blob | commitdiff | raw | diff to current |
2008-09-29 |
Michael Beck | - BugFix: removed missing debugging artefact, causing... |
blob | commitdiff | raw | diff to current |
2008-09-28 |
Matthias Braun | - split array.h into array.h/array_t.h and make array... |
blob | commitdiff | raw | diff to current |
2008-09-19 |
Matthias Braun | fix optimize build |
blob | commitdiff | raw | diff to current |
2008-08-23 |
Michael Beck | - removed NO_FOLLOWER |
blob | commitdiff | raw | diff to current |
2008-08-19 |
Michael Beck | add first statistic support for GVN-PRE and combo |
blob | commitdiff | raw | diff to current |
2008-08-17 |
Christoph Mallon | Resolve warning about unused label. |
blob | commitdiff | raw | diff to current |
2008-08-15 |
Michael Beck | - handle endless loops now |
blob | commitdiff | raw | diff to current |
2008-08-15 |
Michael Beck | - add support for Eor and Shift nodes |
blob | commitdiff | raw | diff to current |
2008-08-15 |
Michael Beck | - if all Condb has Cmp predecessors, allow Unknown... |
blob | commitdiff | raw | diff to current |
2008-08-15 |
Michael Beck | should be enough to place the smaller part on the cprop... |
blob | commitdiff | raw | diff to current |
2008-08-14 |
Michael Beck | updated is_real_follower(): handle other cases |
blob | commitdiff | raw | diff to current |
2008-08-14 |
Michael Beck | - reverted to 2bit flags |
blob | commitdiff | raw | diff to current |
2008-08-13 |
Matthias Braun | introduce more generic resource reservation debug helpe... |
blob | commitdiff | raw | diff to current |
2008-08-11 |
Michael Beck | - special Handling for Confirm/Mux nodes needed: |
blob | commitdiff | raw | diff to current |
2008-08-10 |
Michael Beck | - More changed: |
blob | commitdiff | raw | diff to current |
2008-08-09 |
Michael Beck | - finally understand HOW n-input nodes made the Followe... |
blob | commitdiff | raw | diff to current |
2008-08-08 |
Michael Beck | Some things not stated (or not clear) in Clicks Diss: |
blob | commitdiff | raw | diff to current |
2008-08-07 |
Michael Beck | - Add missing case in the identity() function |
blob | commitdiff | raw | diff to current |
2008-08-07 |
Michael Beck | - speed-up: if a partition has NO follower we can use... |
blob | commitdiff | raw | diff to current |
2008-08-07 |
Michael Beck | - new (hopefully better) version of the "initially... |
blob | commitdiff | raw | diff to current |
2008-08-07 |
Michael Beck | - first version with "working" (one example) Leader... |
blob | commitdiff | raw | diff to current |
2008-08-06 |
Michael Beck | - preliminary support for followers, currently switched off |
blob | commitdiff | raw | diff to current |
2008-08-04 |
Michael Beck | - BugFix: invalidate analyis info in graph was modified |
blob | commitdiff | raw | diff to current |
2008-08-02 |
Michael Beck | removed debug mask setting |
blob | commitdiff | raw | diff to current |
2008-08-02 |
Michael Beck | Small improvements: |
blob | commitdiff | raw | diff to current |
2008-08-01 |
Michael Beck | add comment |
blob | commitdiff | raw | diff to current |
2008-08-01 |
Michael Beck | - tarval_sub() now has an additional parameter, needed for |
blob | commitdiff | raw | diff to current |
2008-07-31 |
Michael Beck | - use double-linked lists instead of flexible arrays... |
blob | commitdiff | raw | diff to current |
2008-07-31 |
Michael Beck | - BugFix: when splitting by input, ensure than Z is... |
blob | commitdiff | raw | diff to current |
2008-07-30 |
Michael Beck | - do not kill the start block when folding control... |
blob | commitdiff | raw | diff to current |
2008-07-30 |
Michael Beck | - commented out the wrong line |
blob | commitdiff | raw | diff to current |
2008-07-30 |
Michael Beck | - add compute_Confirm(), compute_Bad() and compute_Unkn... |
blob | commitdiff | raw | diff to current |
2008-07-29 |
Michael Beck | - BugFix: of by one error |
blob | commitdiff | raw | diff to current |
2008-07-29 |
Michael Beck | - using tarval_top as an alias for tarval_unreachable... |
blob | commitdiff | raw | diff to current |
2008-07-29 |
Michael Beck | Add NaN condition to Sub AND Cmp |
blob | commitdiff | raw | diff to current |
2008-07-29 |
Michael Beck | - BugFix: constants must be evaluated BEFORE congruence... |
blob | commitdiff | raw | diff to current |
2008-07-29 |
Michael Beck | - BugFix: fixed the "type is neither Top nor constant... |
blob | commitdiff | raw | diff to current |
2008-07-28 |
Michael Beck | - BugFix: Proj nodes must compute TOP if they are in... |
blob | commitdiff | raw | diff to current |
2008-07-26 |
Michael Beck | BugFix: |
blob | commitdiff | raw | diff to current |
2008-07-26 |
Michael Beck | - BugFix: must check the input of the user node y,... |
blob | commitdiff | raw | diff to current |
2008-07-26 |
Michael Beck | fixed warnings |
blob | commitdiff | raw | diff to current |
2008-07-26 |
Michael Beck | - BugFix: a node might fall 2 times, so we need a on_fa... |
blob | commitdiff | raw | diff to current |
2008-07-26 |
Michael Beck | BugFixes: |
blob | commitdiff | raw | diff to current |
2008-07-26 |
Michael Beck | - first working combo version (at least one example... |
blob | commitdiff | raw | diff to current |
2008-07-25 |
Michael Beck | add sorting of out edges, some small fixes |
blob | commitdiff | raw | diff to current |
2008-07-24 |
Michael Beck | - implemented compute_Proj_Cond(), compute_Add() |
blob | commitdiff | raw | diff to current |
2008-07-23 |
Michael Beck | add dumping hook |
blob | commitdiff | raw | diff to current |
2008-07-21 |
Michael Beck | - lattice elements can now contain Symbolic Constants |
blob | commitdiff | raw | diff to current |
2008-07-16 |
Michael Beck | fixed crop list handling |
blob | commitdiff | raw | diff to current |
2008-07-15 |
Michael Beck | - add compute for Sub and Cmp |
blob | commitdiff | raw | diff to current |
2008-07-14 |
Michael Beck | mostly finished version of combo |
blob | commitdiff | raw | diff to current |
2008-07-10 |
Michael Beck | initial version of Cliff Click's Combo Optimization |
blob | commitdiff | raw | diff to current |
|