Skip to content

Merge corediff into ghc-dump #23

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 137 commits into
base: master
Choose a base branch
from
Open

Merge corediff into ghc-dump #23

wants to merge 137 commits into from

Conversation

@bgamari
Copy link
Owner

@bgamari bgamari commented Apr 8, 2021

This merges @pbrinkmeier's corediff library and utility into the ghc-dump tree, as discussed in pbrinkmeier/corediff#2. Additionally, we pull in a few of the changes from @pbrinkmeier's ghc-dump fork.

pbrinkmeier and others added 30 commits May 16, 2020 12:38
@pbrinkmeier
Initialize repository
ced2cf1
@pbrinkmeier
Add rudimentary readme file
b772550
@pbrinkmeier
Add context and other datastructures from AEATSD
120c7d9
@pbrinkmeier
Implement extract step from AEATSD
2bccd6b 
This commit introduces a function that inspects two Core expression and identifies common subtrees.
@pbrinkmeier
Add note about the mutually recursive type family for Expr'
1a17977 
This section in the readme will be used to rationalize design decisions.
@pbrinkmeier
Implement oracles for type and alt
33ca1f5
@pbrinkmeier
Rewrite to changeBinding
146c5fe
@pbrinkmeier
Add prettyprinting module; introduce newtype for ChangeBinding
55f5359
@pbrinkmeier
Update demos
f82b3ae
@pbrinkmeier
Add rudimentary prettyprinting for id info
f900ce0
@pbrinkmeier
Add simplifier and desugarer output for Maths demo
fd5d97a
@pbrinkmeier
Replace [x] ++ y by x : y
30f5008
@pbrinkmeier
Introduce multiple metavariables
830b549
@pbrinkmeier
Ignore Vim swap files
0cf1ed4
@pbrinkmeier
Implement spine functions
41c6835
@pbrinkmeier
Update readme, add tests section
f26ceaa
@pbrinkmeier
Implement correct handling of case alternatives
2cb0e5b
@pbrinkmeier
Add Holey type avoid code duplication
c6d9673
@pbrinkmeier
Refactor Change types
694c5de
@pbrinkmeier
Remove incorrect comment
60dfc15
@pbrinkmeier
Add preprocessing module
8ef1d7e
@pbrinkmeier
Move diff functions from SExpr to Expr etc.
5a5248b
@pbrinkmeier
Prettyprint binders correctly
f7c37ad
@pbrinkmeier
Implement algorithm through GCP directly
27890f3
@pbrinkmeier
Improve prettyprinting code
e881a31
@pbrinkmeier
Add De-Bruijn index code
071b400
@pbrinkmeier
Implement resubstitutions in De-Bruijn terms
842f863
@pbrinkmeier
Improve output slightly
0058f47
@pbrinkmeier
Fix prettyprinting type binders
51a6b6f
@sgraf812
Add -O2 flag to example GHC invocation in README
3b30196
pbrinkmeier and others added 22 commits October 14, 2020 21:39
@pbrinkmeier
Replace assimilation stubs by debugging stuff
0811c68
@pbrinkmeier
Exchange binder names and uniques only
b85a13d
@pbrinkmeier
Change inline binder set to actual set
49cf128
@pbrinkmeier
Formatting in pairing code
e9bf6d8
@pbrinkmeier
Implement structural diffing algorithm
1ff884b
@pbrinkmeier
Implement inline metadata pretty-printing
9f4d0d1
@pbrinkmeier
Add Compose demo and compile with GHCs 8.11 and 9
e63ef1b
@pbrinkmeier
Fix case assimilation
a2b68ac
@pbrinkmeier
Update binder metadata formatting
e6b017a
@pbrinkmeier
Add T13031 source file, verbose and CBOR dumps
858c0d3
@pbrinkmeier
Don't show empty removed line for new bindings
e9ce7b5
@pbrinkmeier
Assimilate types in top level bindings
6589fb3
@pbrinkmeier
Big cleanup commit
90d3b29
@pbrinkmeier
Clean up demos directory
772d9a1
@pbrinkmeier
Add rudimentary readme entry
ebcf9fe
@pbrinkmeier
Show original binder names
5333568
@pbrinkmeier
Add informative readme
eed2a47
@pbrinkmeier
Fix some silly mistakes
61edd6c
@pbrinkmeier @bgamari
Add CPR field to IdInfo
775bdae 
(cherry picked from commit ceeaea6)
@bgamari
Add binder scope
624b7e7
@bgamari
Add 'corediff/' from commit '61edd6c2bdcfb84944a347673abb4f94002262ba'
c1e56ed 
git-subtree-dir: corediff
git-subtree-mainline: 624b7e7
git-subtree-split: 61edd6c
@bgamari
Incorporate corediff
080f092
@bgamari bgamari mentioned this pull request Apr 8, 2021
Open
@bgamari bgamari mentioned this pull request Apr 18, 2022
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@bgamari @pbrinkmeier @sgraf812