Repository navigation

Refactor Algorithm and Environment - #229

Merged

RemyDegenne merged 24 commits into

mainfrom

newAlg

Sep 10, 2026

Merged

Refactor Algorithm and Environment#229
RemyDegenne merged 24 commits into
mainfrom
newAlg

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

Commits

Commits on Aug 28, 2026

Commits on Aug 31, 2026

Commits on Sep 3, 2026

Commits on Sep 5, 2026

Commits on Sep 8, 2026

Commits on Sep 10, 2026