Skip to content

add a check for rewrites#254

Merged
kavigupta merged 69 commits intomainfrom
rewrite-check
Sep 4, 2025
Merged

add a check for rewrites#254
kavigupta merged 69 commits intomainfrom
rewrite-check

Conversation

@kavigupta
Copy link
Collaborator

@kavigupta kavigupta commented Aug 18, 2025 •
edited
Loading

TODO

  • add test for follow with the explicit symbols
  • check that the full rewrite works
  • Make this work with stitch_bindings and add some tests to this effect in that repo

kavigupta added 30 commits August 18, 2025 11:24
@kavigupta
rewrite check
48f1f92
@kavigupta
add fix for tdfa issue
2ef9f55
@kavigupta
update follow so it uses inventions directly
9030c88
@kavigupta
clippy
311c080
@kavigupta
Merge branch 'update-follow' into rewrite-check
398ec8b
@kavigupta
propagate variable types
7c23dda
@kavigupta
more fixes
c804960
@kavigupta
clippy
9d1879b
@kavigupta
remove unused
601d192
@kavigupta
yet another clippy fix
a058860 
have to do this every time there's an update
@kavigupta
Merge branch 'clippy-fix-again' into rewrite-check
252b9b0
@kavigupta
Merge remote-tracking branch 'origin/main' into rewrite-check
3b831c2
@kavigupta
undo extra
ed0808b
@kavigupta
clean up
2cea350
@kavigupta
update
7f25ba9
@kavigupta
fix unwrap
b340aed
@kavigupta
add variable types
6be3f76
@kavigupta
clippy
10979ac
@kavigupta
Merge remote-tracking branch 'origin/main' into rewrite-check
aef0065
@kavigupta
export variable type
cbef072
@kavigupta
add variable types to invention
d0ffdce
@kavigupta
update
635129d
@kavigupta
add from_compression_output
d6d4c10
@kavigupta
use types here too
f474a3f
@kavigupta
add field
5b49838
@kavigupta
add type constraints to variabletype
25d0354
@kavigupta
imports
eaa317c
@kavigupta
add type of ivar to tracking
f9b528b
@kavigupta
don't include in tracking
f6da2fa
@kavigupta
extract function to load an invention from json
0a1c1de
@kavigupta kavigupta changed the base branch from export-variable-type to actually-use-follow-types August 19, 2025 19:16
@kavigupta kavigupta changed the base branch from actually-use-follow-types to resumable-compression August 29, 2025 19:15
Base automatically changed from resumable-compression to main September 4, 2025 04:27
@kavigupta kavigupta merged commit 0ef5ec7 into main Sep 4, 2025
4 checks passed
@kavigupta kavigupta deleted the rewrite-check branch September 4, 2025 04:40
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.

1 participant

@kavigupta