Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

WIP: convert distributions to Distributions.jl distributions #495

Open
wants to merge 8 commits into
base: master
Choose a base branch
from
Open

WIP: convert distributions to Distributions.jl distributions #495

wants to merge 8 commits into from

Commits on Apr 24, 2023

  1. Update CI.yml 

    dev POMDPTools in docs
    @zsunberg
    zsunberg committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    0859ae2 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2023

  1. Merge branch 'master' into zsunberg-patch-1

    @zsunberg
    zsunberg committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    2a58b65 View commit details
    Browse the repository at this point in the history

  2. fix docs build

    @zsunberg
    zsunberg committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    b02a0e9 View commit details
    Browse the repository at this point in the history

  3. removed POMDPModelTools from docs Project

    @zsunberg
    zsunberg committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    f5149e9 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2023

  1. added quick and dirty default policy to PlaybackPolicy. someone make … 

    …it better!
    @zsunberg
    zsunberg committed May 20, 2023
    Configuration menu
    Copy the full SHA
    6429e30 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into playback-default

    @zsunberg
    zsunberg committed May 20, 2023
    Configuration menu
    Copy the full SHA
    9c876d4 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2023

  1. before SparseCatIterator

    @zsunberg
    zsunberg committed May 23, 2023
    Configuration menu
    Copy the full SHA
    51ba55c View commit details
    Browse the repository at this point in the history

  2. finished basic sparse_cat, bool

    @zsunberg
    zsunberg committed May 23, 2023
    Configuration menu
    Copy the full SHA
    69d1145 View commit details
    Browse the repository at this point in the history