Refactor Algorithm and Environment - #229

Merged

RemyDegenne merged 24 commits into

mainfrom

Sep 10, 2026

Commits on Aug 28, 2026

refactor: add O
RemyDegenne
committed
29828ca
refactor Bayesian stuff
RemyDegenne
committed
7a7a8fe
rename: bayesEnv -> bayesStationaryEnv
RemyDegenne
committed
ff5aa2e
remove Unit
RemyDegenne
committed
2f033db
lake exe mk_all
RemyDegenne
committed
a77a1f7
aux lemmas
RemyDegenne
committed
b63bb02

Commits on Aug 31, 2026

split file, add generic comap
RemyDegenne
committed
d0edf18

Commits on Sep 3, 2026

Merge branch 'range' into newAlg

RemyDegenne
and
claude
committed
5f00158

Commits on Sep 5, 2026

delete Announce
RemyDegenne
committed
f2d7472
delete unused lemma
RemyDegenne
committed
6958179
remove import
RemyDegenne
committed
cf3614c
better aux lemma
RemyDegenne
committed
d889bd0
space
RemyDegenne
committed
0109d3b
delete a def
RemyDegenne
committed
dc4cb70
minor
RemyDegenne
committed
bbc6700
delete unused constructor
RemyDegenne
committed
2faa07b
delete unused defs
RemyDegenne
committed
f012015
docstrings
RemyDegenne
committed
9b4138b

Commits on Sep 8, 2026

Merge branch 'main' into newAlg
RemyDegenne
committed
c900239
fix
RemyDegenne
committed
b9addef

Commits on Sep 10, 2026

Merge branch 'main' into newAlg
RemyDegenne
committed
e8ddc3f
merge
RemyDegenne
committed
97a6612
review: delete dead code
RemyDegenne
committed
8e1b2d2
remove unused file
RemyDegenne
committed
26f16d8