Csaba Hruska
4ee8c5a2df
backers list update [ci skip]
2019-06-08 09:35:23 +02:00
Csaba Hruska
9dde67ce4f
Update README.md
2019-06-08 01:18:20 +02:00
Csaba Hruska
eef499dd06
Update README.md
2019-06-07 23:58:19 +02:00
Csaba Hruska
9f1efbda39
add patrons list
2019-06-07 23:34:40 +02:00
Csaba Hruska
9b1b101ae4
Update README.md
2019-06-07 10:53:49 +02:00
Csaba Hruska
fb96da5eed
Update README.md
2019-06-07 10:52:43 +02:00
Csaba Hruska
d422ed0065
Update README.md
2019-06-07 10:48:31 +02:00
Csaba Hruska
063e45699f
add empty BACKERS.md ; will be filled tomorrow
2019-06-06 21:51:09 +02:00
Csaba Hruska
36274b611b
Update README.md
2019-06-06 13:40:41 +02:00
Csaba Hruska
c9024ccc2e
Update README.md
2019-06-06 13:03:27 +02:00
Csaba Hruska
089d360427
Update README.md
2019-06-06 10:21:16 +02:00
Csaba Hruska
e4c244c579
Update README.md
2019-06-05 22:50:17 +02:00
Csaba Hruska
dd219c7fd1
Merge pull request #23 from Anabra/master
...
Fixed some major issues related to Dead Variable Elimination
2019-05-30 15:25:38 +02:00
anabra
03c4c4c58a
Minor fixes
...
Removed some dead code
Added newlines
2019-05-30 02:15:59 +02:00
anabra
cc4f2716ff
Minor fix
...
Removed unused function.
2019-05-30 00:44:50 +02:00
anabra
33619d1f32
Moved rendering option to argument level
...
Rendering option for pretty printing was a global option for the pipeline.
Now it is an argument for the printer flag.
2019-05-29 01:38:20 +02:00
anabra
2ed5ab3233
Removed redundant pretty calls
2019-05-28 22:34:11 +02:00
anabra
00cf3ff0ff
Refactored pretty printing
2019-05-28 22:14:50 +02:00
Csaba Hruska
b23dc2e6e5
Update README.md
2019-05-28 20:45:15 +02:00
Csaba Hruska
ef3816a343
fix project urls
2019-05-28 20:28:48 +02:00
anabra
a4a0b4df1c
Reenabled CopyPropagation test
...
Right unit law still works, but the last expression
in a binding sequence always must be of form "pure <var>".
2019-05-28 18:18:45 +02:00
anabra
316aadf35a
Added comment to DVE tests
2019-05-28 17:28:28 +02:00
anabra
b5ea8fa32c
Minor refactorings
2019-05-28 16:01:13 +02:00
anabra
8d72e0ea2e
Renamed printing operations
2019-05-19 23:10:47 +02:00
anabra
dee70f2ad9
Conflict fix with 077d4f42f0
2019-05-19 22:13:41 +02:00
Anabra
1b808d3544
Removed experimental testing data
2019-05-19 21:21:58 +02:00
Anabra
54e86d56f9
Clarified dead code elimination description
2019-05-19 21:21:58 +02:00
Anabra
de8444d0f2
Bugfix for Dead Variable Elimination
...
DVE now correctly handles store/fetch pairs in dead alternatives
2019-05-19 21:21:58 +02:00
Anabra
c444ae3023
Bugfix for Dead Variable Elimination
...
Now DVE correctly handles binding patterns.
2019-05-19 21:21:58 +02:00
Anabra
e742203eb3
Added new transformation: BindingPatternSimplification
...
BPS will make DVE much simpler to implement
BPS makes sure that:
- only variable can be bound to non-variable patterns
- all case scrutinees are variables
2019-05-19 21:21:58 +02:00
Anabra
fe5c7d442f
Preparation for LVA tag tracking improvement
2019-05-19 21:21:58 +02:00
Anabra
8e4db37d90
Bugfix for Live Variable Analysis
...
Live Variable Anaylsis now only marks node tags live
if they are either bound out to a node pattern,
or pattern matched on AND the result of the expression
is live.
Side-effects and pattern match failure checks are handled by DVE.
2019-05-19 21:21:58 +02:00
Anabra
e0005639bb
Bugfix for Dead Variable Elimination
...
Now DVE correctly handles case expressions with side-effecting
computations.
Now DVE correctly handles case expressions with failable
patterns.
2019-05-19 21:21:58 +02:00
Anabra
a82ff3ee61
Bugifx for LVA
...
When binding into a variable, both liveness and strutural information
was propagated both ways. Now liveness info is only propagated backward
and structural info is only propagated forward.
2019-05-19 21:20:35 +02:00
Anabra
9a638b507e
Bugfix for NonSHaredElimination
...
Now NonsharedElimination only invalidates the analysis results
if it actually changed the AST.
2019-05-19 21:20:35 +02:00
Anabra
9144f8c53b
Added simple printing option to pipeline
2019-05-19 21:20:35 +02:00
Anabra
ac5a83fbd9
Modified CopyPropagation & Pipeline
...
Copy propagation now no longer viloates PNI conventions
(disabled right-unit law)
Added a new ExpChange type: DeletedHeapOperation
Added DeletedHeapOperation effect to NonSharedElimination
2019-05-19 21:20:35 +02:00
Csaba Hruska
5a674efc3c
Update README.md
2019-05-14 14:07:03 +02:00
Csaba Hruska
5d1e0445d3
add the list of papers I read about CFA, Datalog and Points-to Analyses
2019-05-03 08:10:36 +02:00
Csaba Hruska
208bb4434f
Update Analysis-Experiment.md
2019-05-03 08:07:12 +02:00
Csaba Hruska
4fe2db03b8
Update Analysis-Experiment.md
2019-04-30 12:15:10 +02:00
Csaba Hruska
b83355c1c4
relax LLVM version constraint to 7.X
2019-04-28 22:53:03 +02:00
Csaba Hruska
2d127946e6
add sample
2019-04-23 23:13:17 +02:00
Csaba Hruska
a7977e689f
Update Analysis-Experiment.md
2019-04-16 17:01:15 +02:00
Csaba Hruska
f7e4cce17a
add notes
2019-04-16 16:52:45 +02:00
Csaba Hruska
6477c2e271
revert: faster serialization
2019-04-13 08:31:26 +02:00
Csaba Hruska
4711ce0710
save node set values in key order
2019-04-13 08:15:44 +02:00
Csaba Hruska
118828eb09
fix typo ; improve debug log
2019-04-13 08:13:59 +02:00
Csaba Hruska
00358b120d
disable testing illegal grin code
2019-04-13 07:39:37 +02:00
Csaba Hruska
06381079be
use faster int set representation with much better memory footprint
2019-04-13 00:46:30 +02:00