This repository was archived by the owner on Sep 2, 2026. It is now read-only.

Add first code for Dataflow.lean solver - #188

Open

JTurcotti wants to merge 22 commits into

mainfrom

Commits on Jul 4, 2025

Add initial code for Dataflow.lean
JTurcotti
committed
b5f35b0
add more structure and comments to Dataflow.lean
JTurcotti
committed
bd3a521
make more readable
JTurcotti
committed
0026234
start working on RBMap impl
JTurcotti
committed
b5ffe68
Clean up code and work on a double map impl
JTurcotti
committed
110e5e0
Finish filling in InnerMapImpl
JTurcotti
committed
33fc033
Add SolutionT output type to InnerMapImpl
JTurcotti
committed
3ceb81b
Finish InnerMapImpl
JTurcotti
committed
54116bb
finish code for impl test???
JTurcotti
committed
aa31136
Get ToString working for solutions!
JTurcotti
committed
76bd1c7
minor tweaks
JTurcotti
committed
d0ffd96
add more comments
JTurcotti
committed
f081b71
more comments
JTurcotti
committed
c6379f0
Add final comments (for now)
JTurcotti
committed
0a30d4c
remove unnecessary import
JTurcotti
committed
6d2c0f6
nits
JTurcotti
committed
c1607cf
add speculation on modularity
JTurcotti
committed
163eb77
tweak speculation section
JTurcotti
committed
6ab84e2
wording tweaks
JTurcotti
committed
f8a7b61

Commits on Jul 7, 2025

remove unnecessary instance
JTurcotti
committed
e2fe245

Commits on Jul 8, 2025

start working on UseDefImpl
JTurcotti
committed
1971456

Commits on Jul 9, 2025

tweaks
JTurcotti
committed
80896a0