search

cucapra / packet-scheduling

MIT License
1 stars 0 forks source link

Make parser for DSL #23

Open csziklai opened 3 days ago

csziklai commented 3 days ago

After writing the Ast, we want to implement the parser for our new DSL, likely with Menhir.

anshumanmohan commented 3 days ago

Thanks! So, yes, this would need to happen after #22. The are already some "target practice" programs for this parser in the repository; see dsl/progs. See #14 for an explanation of how to read those programs.