1
I Use This!
Inactive

Commits : Listings

Analyzed about 7 hours ago. based on code collected about 7 hours ago.
Jul 27, 2025 — Jul 27, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
we are no outputting information about the configuration of the property store More... almost 7 years ago
we are now using the parallel store as a default ... More... almost 7 years ago
we may have a first parallelized implementation (we are still lacking scheduling strategies etc.) More... almost 7 years ago
we are now using the parallel store (with a sequential task manager...) More... almost 7 years ago
fixed some issues related to InterimPartialResults More... almost 7 years ago
improving test suite More... almost 7 years ago
the tests are now parameterized over the created property store to enable generic property store dependent tests More... almost 7 years ago
updated scala version 2.12.9 More... almost 7 years ago
bumped library versions More... almost 7 years ago
fixed typos More... almost 7 years ago
bumped the versions of several plugins More... almost 7 years ago
we are potentially feature complete; minus tests and bugs .... More... almost 7 years ago
reformatted the code to facilitate the creation of break points More... almost 7 years ago
fixed the test... the list of dependees is only allowed to contain EOptionPs constructed by the property store More... almost 7 years ago
fixed an issue related to the premature deletion of dependers with suppressed notifications More... almost 7 years ago
Fixed several issues and improved the tracer; however, some dependers are still killed too early More... almost 7 years ago
made the type information more precise (to cope with future changes related to the property store More... almost 7 years ago
added new domain suitable for the generation of the 3-address code which supports precise type information (only) More... almost 7 years ago
fixed documentation of domain More... almost 7 years ago
fixed name of type parameter in docu More... almost 7 years ago
fixes (but we are not yet finished) More... about 7 years ago
added smaller version of the banner More... about 7 years ago
the store compiles More... about 7 years ago
formatting More... about 7 years ago
moved the field to the beginning of the class More... about 7 years ago
raised visibility of the lock and made it final More... about 7 years ago
added clear method More... about 7 years ago
fixes issue #182 More... about 7 years ago
further fixes More... about 7 years ago
fixed lookup function More... about 7 years ago