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

init states #81

Merged

charkour merged 6 commits into main from init-states

Apr 23, 2023

Owner

charkour commented Apr 16, 2023 •

edited

Loading

Add docs
Will also need to make sure that the limit is respected
847 B --> 865 B increase due to allow past and future states to be initialized

charkour added 6 commits

April 15, 2023 16:25


          try to get types to work

b69cd60


          add simpler types

123cdd6


          init states

dd5ade4


          Merge remote-tracking branch 'origin/main' into init-states

25e9e81


          add docs

8fc8bda


          add note about limit

b8527b9

Owner Author

charkour commented Apr 23, 2023

Related #75

charkour merged commit c8acf00 into main

charkour deleted the init-states branch

April 23, 2023 03:51

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet