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

Adding basic support for rands and lookup #433

Merged
merged 6 commits into from
Oct 8, 2022
Merged

Adding basic support for rands and lookup #433

merged 6 commits into from
Oct 8, 2022

Commits on Oct 8, 2022

  1. Adding basic support for rands 

    Adding basic support for the rands function, without support for
seeding the rang explicitly. It is using the global prng.

This also adds the `OIO` OVal type, supporting IO actions. This is
nessacary for using the global rng.

Adding support for indexing into OIO values.

Adding some expression tests for `rands`, checking that values are in
the desired range and count.
    @lepsa
    lepsa committed Oct 8, 2022
    Configuration menu
    Copy the full SHA
    ed301b8 View commit details
    Browse the repository at this point in the history

  2. Remove trailing spaces, and don't shaddow names

    @lepsa
    lepsa committed Oct 8, 2022
    Configuration menu
    Copy the full SHA
    ff03b94 View commit details
    Browse the repository at this point in the history

  3. Removing redundant imports.

    @lepsa
    lepsa committed Oct 8, 2022
    Configuration menu
    Copy the full SHA
    85c8217 View commit details
    Browse the repository at this point in the history

  4. Adding lookup support. 

    Adding support for the `lookup` function.
    @lepsa
    lepsa committed Oct 8, 2022
    Configuration menu
    Copy the full SHA
    6efb97d View commit details
    Browse the repository at this point in the history

  5. Updating changelog

    @lepsa
    lepsa committed Oct 8, 2022
    Configuration menu
    Copy the full SHA
    71dce1d View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into adding-rands

    @julialongtin
    julialongtin authored Oct 8, 2022
    Configuration menu
    Copy the full SHA
    2c052f4 View commit details
    Browse the repository at this point in the history