0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 20 hours ago. based on code collected 1 day ago.
May 15, 2023 — May 15, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
print warning for suspicious shadowing More... over 7 years ago
WIP towards livelock warnings More... over 7 years ago
refactor to inputMolecules More... over 7 years ago
do not merge input molecule infos to set incorrectly More... over 7 years ago
join definition now stores the complete reaction infos More... over 7 years ago
adding tests for JoinRunUtils More... over 7 years ago
refactor to separate files More... over 7 years ago
implement pattern sha1 for OtherPattern More... over 7 years ago
fix unconditional livelock detection to take guards into account More... over 7 years ago
avoid using waiter for test of future More... over 7 years ago
rework some intermittently failing tests More... over 7 years ago
implement harvesting of constants and detection of guards More... over 7 years ago
make test less stringent More... over 7 years ago
update tutorial More... over 7 years ago
update documentation More... over 7 years ago
update todo More... over 7 years ago
Merge pull request #7 from winitzki/feature/selected-thread More... over 7 years ago
first try at a handler method More... over 7 years ago
Merge pull request #6 from winitzki/feature/detect-simple-livelock More... over 7 years ago
add sha1 for scala 2.12 compilation More... over 7 years ago
detect some cases of unconditional livelock More... over 7 years ago
update todo list More... over 7 years ago
Merge pull request #5 from winitzki/feature/make_matchers More... over 7 years ago
fix an older test that depended on the order of reactions printed More... over 7 years ago
implement gathering of pattern matcher information More... over 7 years ago
Merge pull request #4 from winitzki/feature/more_static_analysis More... over 7 years ago
smaller wait time More... over 7 years ago
use smart pools More... over 7 years ago
more detail in the failing test More... over 7 years ago
more robustness in tests More... over 7 years ago