[WIP] Python dbesdk changes#1705

Draft

imabhichow wants to merge 64 commits intomainfrom

python-dbesdk-changes

Commits on Apr 7, 2025

m
Lucas McDonald
committed

Commits on Apr 9, 2025

m
Lucas McDonald
committed
m
Lucas McDonald
committed
m
Lucas McDonald
committed
m
Lucas McDonald
committed
m
Lucas McDonald
committed

Commits on Apr 15, 2025

m
Lucas McDonald
committed
m
Lucas McDonald
committed
Revert "m"
Lucas McDonald
committed

Commits on Apr 16, 2025

local dafnyruntimepython
Lucas McDonald
committed

Commits on Apr 17, 2025

Merge branch 'main' into python-dbesdk-util
Lucas McDonald
committed
m
Lucas McDonald
committed
m
Lucas McDonald
committed

Commits on May 12, 2025

Merge branch 'main' into python-dbesdk-util
Lucas McDonald
committed

Commits on May 15, 2025

Merge branch 'main' into python-dbesdk-util
Lucas McDonald
committed

Commits on May 16, 2025

m
Lucas McDonald
committed
m
Lucas McDonald
committed

Commits on May 20, 2025

m
Lucas McDonald
committed

Commits on May 22, 2025

Java 17 for codegen
robin-aws
committed
m
Lucas McDonald
committed
m
Lucas McDonald
committed
Clean up additional codegen dependencies
robin-aws
committed
m
Lucas McDonald
committed
Tabs
robin-aws
committed
Shell
robin-aws
committed
Ordering
robin-aws
committed
Go version
robin-aws
committed
Update smithy-dafny (to use —enforce-determinism)
robin-aws
committed
Fix dafny version in interop tests
robin-aws
committed
m
Lucas McDonald
committed
m
Lucas McDonald
committed
Always install codegen CLI dependencies (for `if-dafny-at-least`)
robin-aws
committed
use Makefile target, missing calls
robin-aws
committed

Commits on May 27, 2025

Merge branch 'main' into python-dbesdk-util
Lucas McDonald
committed
m
Lucas McDonald
committed
m
Lucas McDonald
committed
m
Lucas McDonald
committed
m
Lucas McDonald
committed
m
Lucas McDonald
committed

Commits on Aug 26, 2025

Commits on Aug 27, 2025

Merge branch 'main' into python-dbesdk-changes
imabhichow
authored