Skip to content
Merged
Changes from all commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
ca26b5e
rename `succ` to `writeSuccessor`/`writeSuccessors`
erik-krogh Aug 19, 2020
014728a
implement `hcaerof` in terms of `foreach`
erik-krogh Aug 19, 2020
8fdcd91
rename `foreach` and `hcaerof` to `createIterable` and `createReverse…
erik-krogh Aug 19, 2020
8db10ae
add JavaDoc to `createIterable` and `createReversedIterable`
erik-krogh Aug 19, 2020
c059cea
add qldoc to `union(xs, ys)`
erik-krogh Aug 19, 2020
366a16f
rename the `V` class to WriteSuccessorsVisitor
erik-krogh Aug 19, 2020
94a593b
rename `entry` and `exit` to `getEntryNode` and `getExitNode` respect…
erik-krogh Aug 19, 2020
4289875
make utility methods static
erik-krogh Aug 19, 2020
1479376
rename `visit` to `visitWithSuccessors` to avoid ambiguity
erik-krogh Aug 19, 2020
e56e56c
use `Collection` instead of `Iterable`
erik-krogh Aug 19, 2020
8f613b6
rename seq to visitSequence
erik-krogh Aug 19, 2020
116679d
simplify `union`
erik-krogh Aug 19, 2020
ef5ea43
remove raw Object type where possible, and simplify accordingly
erik-krogh Aug 19, 2020
85d6bfe
move createCollection to the only place it is used
erik-krogh Aug 19, 2020
fe551f1
remove the last use of `createCollection`
erik-krogh Aug 3, 2021
ff99439
micro optimize the hot loops by adding special cases and removing str…
erik-krogh Aug 4, 2021
7e422a6
remove unused imports
erik-krogh Aug 4, 2021
6ca53c8
a little more special casing in CFGExtractor union
erik-krogh Aug 5, 2021
d3ea580
fix a case in `union` where order wasn't necessarily preserved
erik-krogh Aug 5, 2021
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading