add a check for rewrites - #254

Merged

kavigupta merged 69 commits into

mainfrom

Sep 4, 2025

Commits on Aug 18, 2025

rewrite check
kavigupta
committed
48f1f92
add fix for tdfa issue
kavigupta
committed
2ef9f55
update follow so it uses inventions directly
kavigupta
committed
9030c88
clippy
kavigupta
committed
311c080
Merge branch 'update-follow' into rewrite-check
kavigupta
committed
398ec8b

Commits on Aug 19, 2025

propagate variable types
kavigupta
committed
7c23dda
more fixes
kavigupta
committed
c804960
clippy
kavigupta
committed
9d1879b
remove unused
kavigupta
committed
601d192
yet another clippy fix
kavigupta
committed
a058860
Merge branch 'clippy-fix-again' into rewrite-check
kavigupta
committed
252b9b0
Merge remote-tracking branch 'origin/main' into rewrite-check
kavigupta
committed
3b831c2
undo extra
kavigupta
committed
ed0808b
clean up
kavigupta
committed
2cea350
update
kavigupta
committed
7f25ba9
fix unwrap
kavigupta
committed
b340aed
add variable types
kavigupta
committed
6be3f76
clippy
kavigupta
committed
10979ac
Merge remote-tracking branch 'origin/main' into rewrite-check
kavigupta
committed
aef0065
export variable type
kavigupta
committed
cbef072
add variable types to invention
kavigupta
committed
d0ffdce
update
kavigupta
committed
635129d
add from_compression_output
kavigupta
committed
d6d4c10
use types here too
kavigupta
committed
f474a3f
add field
kavigupta
committed
5b49838
add type constraints to variabletype
kavigupta
committed
25d0354
imports
kavigupta
committed
eaa317c
add type of ivar to tracking
kavigupta
committed
f9b528b
don't include in tracking
kavigupta
committed
f6da2fa
extract function to load an invention from json
kavigupta
committed
0a1c1de
Merge branch 'extract-loading-invention' into export-variable-type
kavigupta
committed
41c0122
clean
kavigupta
committed
2afdb4b
add variable type outputs
kavigupta
committed
8bfa0cd
Merge remote-tracking branch 'origin/main' into export-variable-type
kavigupta
committed
2d55f62
render variable types
kavigupta
committed
31b7057
Merge branch 'export-variable-type' into rewrite-check
kavigupta
committed
a1dba26
delete duplicate
kavigupta
committed
3de4e09
Merge remote-tracking branch 'origin/main' into export-variable-type
kavigupta
committed
8651a8a
Merge branch 'export-variable-type' into rewrite-check
kavigupta
committed
577b035
delete unused field
kavigupta
committed
9fc7de2
update
kavigupta
committed
e623070
actually use follow types
kavigupta
committed
5abf8d9
add test for symbol following
kavigupta
committed
693d0fc
Merge remote-tracking branch 'origin/main' into export-variable-type
kavigupta
committed
7b00d60
Merge branch 'export-variable-type' into actually-use-follow-types
kavigupta
committed
cc44770
add expected outputs
kavigupta
committed
6a5425f
actually use follow types (#261)
kavigupta
authored
c949f3c
Revert "actually use follow types (#261)"
kavigupta
committed
8f99a58
Merge branch 'export-variable-type' into actually-use-follow-types
kavigupta
committed
4ec2016
Merge branch 'actually-use-follow-types' into rewrite-check
kavigupta
committed
f09cb1f
bump
kavigupta
committed
85c080c
bump
kavigupta
committed
e158157
check the variable type outputs in addition to other stuff
kavigupta
committed
20c835c
Merge branch 'export-variable-type' into actually-use-follow-types
kavigupta
committed
5ecb8f1
Merge branch 'actually-use-follow-types' into rewrite-check
kavigupta
committed
6064078

Commits on Aug 29, 2025

make compression resumable
kavigupta
committed
dc6176f
Merge branch 'resumable-compression' into rewrite-check
kavigupta
committed
3647567
add rewrite check to some experimentns
kavigupta
committed
d72f534
Merge branch 'add-rewrite-check-to-some-experiments' into actually-use-follow-types
kavigupta
committed
a7ec637
update
kavigupta
committed
a5742ab
add relevant rewrite checks
kavigupta
committed
d2465d7
Merge branch 'actually-use-follow-types' into resumable-compression
kavigupta
committed
1d85128
Merge branch 'resumable-compression' into rewrite-check
kavigupta
committed
3a64898

Commits on Sep 3, 2025

add rewrite checks
kavigupta
committed
cf3e78c
Merge branch 'resumable-compression' into rewrite-check
kavigupta
committed
e4f99d5
fix everything
kavigupta
committed
a3d666b
fix
kavigupta
committed
61043ee
Merge branch 'resumable-compression' into rewrite-check
kavigupta
committed
0861eb5

Commits on Sep 4, 2025

Merge remote-tracking branch 'origin/main' into rewrite-check
kavigupta
committed
40f6454