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

Port Over Simulator and Compiler from pifo-tree-artifact #57

Merged
merged 22 commits into from
Sep 1, 2024
Merged

Port Over Simulator and Compiler from pifo-tree-artifact #57

merged 22 commits into from
Sep 1, 2024

Commits on Aug 2, 2024

  1. Port over artifact files

    @polybeandip
    polybeandip committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    c80fbd3 View commit details
    Browse the repository at this point in the history

  2. Sketch

    @polybeandip
    polybeandip committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    aab6492 View commit details
    Browse the repository at this point in the history

  3. Fill in Control.z_in

    @polybeandip
    polybeandip committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    e42fadd View commit details
    Browse the repository at this point in the history

  4. Fill in Control.z_out

    @polybeandip
    polybeandip committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    e7fa42e View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. Re-structure files

    @polybeandip
    polybeandip committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    037cee5 View commit details
    Browse the repository at this point in the history

  2. Clean up Frontend interface and Policy.to_string

    @polybeandip
    polybeandip committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    d551b71 View commit details
    Browse the repository at this point in the history

  3. test -> tests

    @polybeandip
    polybeandip committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    f0ad822 View commit details
    Browse the repository at this point in the history

  4. Use more sprintf

    @polybeandip
    polybeandip committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    cf5baca View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. Setup simulator

    @polybeandip
    polybeandip committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    85de019 View commit details
    Browse the repository at this point in the history

  2. Update dune-project

    @polybeandip
    polybeandip committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    2babadc View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. Setup T2T compiler

    @polybeandip
    polybeandip committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    205401c View commit details
    Browse the repository at this point in the history

  2. Clone state in T2T compilation

    @polybeandip
    polybeandip committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    dd43b11 View commit details
    Browse the repository at this point in the history

  3. Change .ocamlformat settings

    @polybeandip
    polybeandip committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    5b307e3 View commit details
    Browse the repository at this point in the history

  4. Trigger CI

    @polybeandip
    polybeandip committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    1de81ef View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. Simulation -> Simulator + dune project comment

    @polybeandip
    polybeandip committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    3a5d1e8 View commit details
    Browse the repository at this point in the history

  2. Rename dsl/simulation

    @polybeandip
    polybeandip committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    1d9f62e View commit details
    Browse the repository at this point in the history

  3. Fix simulation.ml comments

    @polybeandip
    polybeandip committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    8971291 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. Tweaks 

    - rename:
	- rank_less_path -> rankless_path
	- z_in -> z_in_of_policy
	- z_out -> z_out_of_policy
	- route_pkt_opt -> route_pkt
- remove pkt arg from route_pkt_aux
- convert State to association list
    @polybeandip
    polybeandip committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    8614930 View commit details
    Browse the repository at this point in the history

  2. Throw away commented code

    @polybeandip
    polybeandip committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    669f17b View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2024

  1. Merge branch 'main' into dsl+artifact

    @polybeandip
    polybeandip committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    d4f3e98 View commit details
    Browse the repository at this point in the history

  2. Move all address code to Topo

    @polybeandip
    polybeandip committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    5ae1e37 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2024

  1. Docs 

    - Document Control helpers
- Move around comments in path.ml and pieotree.ml
    @polybeandip
    polybeandip committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    4fd078f View commit details
    Browse the repository at this point in the history