├── .gitignore ├── LICENSE ├── README.md ├── anvil.opam ├── bin ├── dune └── main.ml ├── docs ├── langref │ ├── README.md │ ├── channels.md │ ├── compiler.md │ ├── data-types.md │ ├── expressions.md │ ├── functions.md │ ├── introduction.md │ ├── lexical.md │ ├── modules.md │ ├── processes.md │ ├── registers.md │ ├── systemverilog.md │ └── values.md └── tutorial │ ├── L0-HDL-Primer │ ├── HDL_module.jpg │ ├── README.md │ └── memory.png │ ├── L1-Hello-World │ ├── README.md │ └── src │ │ ├── Makefile │ │ ├── foo.anvil │ │ ├── hello_world.anvil │ │ └── sim_main.cpp │ ├── L2-Communication │ └── README.md │ ├── L3-Respecting-Contracts │ ├── README.md │ └── src │ │ ├── Makefile │ │ ├── memory.anvil │ │ ├── memory_fix_1.anvil │ │ ├── memory_fix_2.anvil │ │ ├── memory_multiple_ports.anvil │ │ ├── memory_safe.anvil │ │ └── sim_main.cpp │ ├── L4-Some-More-Features │ ├── README.md │ └── src │ │ ├── Makefile │ │ ├── sim_main.cpp │ │ └── top.anvil │ ├── README.md │ └── Self-Practice │ └── README.md ├── dune-project ├── editors └── vscode │ ├── README.md │ ├── grammar.json │ ├── language.config.json │ └── package.json ├── examples ├── .gitignore ├── AluExample.anvil ├── AluExample.test ├── Makefile ├── RCATop.anvil ├── RCATop.test ├── README.md ├── Top.anvil ├── arbiter.anvil ├── arbiter.test ├── arbiter2.anvil ├── arbiter2.test ├── assign_repeat.anvil ├── assign_repeat.test ├── associativity.anvil ├── associativity.test ├── branch_borrow.anvil ├── branch_borrow.test ├── bug_stuck.anvil ├── bug_stuck.test ├── cache.anvil ├── cache.test ├── comb_loop.anvil ├── comb_loop.test ├── concurrent.anvil ├── concurrent.test ├── counter2.anvil ├── counter2.test ├── cva6-mmu │ ├── cva6_ptw_tb.anvil │ └── tlb_tb.anvil ├── enum_test.anvil ├── enum_test.test ├── extern_fifo_top.anvil ├── extern_proc.anvil ├── extern_proc.test ├── extern_proc2.anvil ├── extern_proc2.test ├── fifo.sv ├── gen-tests.sh ├── gen_seq_test.anvil ├── general_recurse_assign.anvil ├── general_recurse_assign.test ├── general_recurse_simple.anvil ├── general_recurse_simple.test ├── generate_test.anvil ├── generate_test.test ├── if_comb.anvil ├── if_comb.test ├── if_else_val.anvil ├── if_else_val.test ├── import_example.anvil ├── import_example.test ├── imported_example.anvil ├── latency.anvil ├── latency.test ├── list.anvil ├── list.test ├── log.txt ├── match_bug.anvil ├── match_bug.test ├── match_test.anvil ├── match_test.test ├── match_test_set.anvil ├── match_test_set.test ├── multi_send_recv.anvil ├── multi_send_recv.test ├── multicycle_counter.anvil ├── multicycle_counter.test ├── outdated │ ├── alu.anvil │ ├── axi.anvil │ ├── counter.anvil │ ├── double_send.anvil │ ├── fifo.anvil │ ├── filament.ml │ ├── lifetime.anvil │ ├── mux.anvil │ ├── test.anvil │ └── variant.anvil ├── param_int.anvil ├── param_int.test ├── param_int_chan.anvil ├── param_int_chan.test ├── param_int_typedef.anvil ├── param_int_typedef.test ├── param_type.anvil ├── param_type.test ├── param_type_chan.anvil ├── param_type_chan.test ├── param_type_typedef.anvil ├── param_type_typedef.test ├── pipeline.v ├── pipeline │ ├── Add.anvil │ ├── Alu.anvil │ ├── Mux.anvil │ ├── Reg.anvil │ └── SubtractDelayed.anvil ├── pipelineTB ├── pipelineTB.anvil ├── queue.anvil ├── queue.test ├── queue.v ├── record.anvil ├── record_update.anvil ├── reset_msg.anvil ├── reset_msg.test ├── safePipeLineTB.anvil ├── should_fail │ ├── assign-last-cycle-bad.anvil │ ├── bad-borrow-binding.anvil │ ├── bad-borrow-send.anvil │ ├── bad-unused.anvil │ ├── chan-class-undefined.anvil │ ├── foreign-arg-use.anvil │ ├── foreign-endpoint-use.anvil │ ├── index-bad-borrow.anvil │ ├── index-bad-borrow2.anvil │ ├── index-bad-borrow3.anvil │ ├── invalid-lifetime.anvil │ ├── invalid-sync-mode.anvil │ ├── irrelevant_cycle.anvil │ ├── irrelevant_msg.anvil │ ├── lifetime_msg.anvil │ ├── loop-borrow.anvil │ ├── message-bad-direction.anvil │ ├── non-linear.anvil │ ├── print-last-cycle-mut.anvil │ ├── proc-undefined.anvil │ ├── self-referential-sync-mode.anvil │ ├── send-loop-back.anvil │ ├── static_dyn_too_freq.anvil │ ├── static_dyn_too_freq_start.anvil │ ├── static_sync_bad.anvil │ ├── static_sync_bad_branch.anvil │ ├── static_sync_imbalanced.anvil │ ├── subreg-lt-bad.anvil │ ├── sync-static-dyn-bad.anvil │ ├── syntax-error.anvil │ ├── tight-send-0-cycle.anvil │ ├── tight-send-assign.anvil │ ├── try_recv_lifetime.anvil │ ├── undefined-binding.anvil │ └── undefined-msg.anvil ├── should_pass │ ├── assign-branch.anvil │ ├── assign-last-cycle.anvil │ ├── assign-last-cycle2.anvil │ ├── assign-later.anvil │ ├── benign-unused-delayed.anvil │ ├── benign-unused.anvil │ ├── borrow-binding.anvil │ ├── borrow-branch.anvil │ ├── borrow-send.anvil │ ├── branch-send.anvil │ ├── branch_borrow.anvil │ ├── branch_lifetime.anvil │ ├── complex-join.anvil │ ├── dependent-simple.anvil │ ├── generate_match.anvil │ ├── if-wait.anvil │ ├── index-borrow.anvil │ ├── index-borrow2.anvil │ ├── linear.anvil │ ├── match_set.anvil │ ├── print-last-cycle.anvil │ ├── reg-index.anvil │ ├── send.anvil │ ├── static_dyn_ok_freq.anvil │ ├── static_dyn_zero_latency.anvil │ ├── subreg-lt.anvil │ ├── sync-static-dyn-good.anvil │ ├── test_recvReg.anvil │ ├── test_regBranch.anvil │ ├── test_regIndex1.anvil │ ├── test_regIndex2.anvil │ ├── test_send.anvil │ ├── test_sendRecv.anvil │ ├── tight-send.anvil │ └── try_recv_lifetime.anvil ├── sim_main.cpp ├── simple_usereg_pipeline.anvil ├── simple_usereg_pipeline.test ├── small-eval │ ├── Makefile │ ├── arbiter.anvil │ ├── cache.anvil │ ├── pipelineTB.anvil │ ├── queue.anvil │ └── sim_main.cpp ├── static_dyn_sync.anvil ├── static_dyn_sync.test ├── static_sync.anvil ├── static_sync.test ├── subreg.anvil ├── subreg.test ├── subreg_var.anvil ├── subreg_var.test ├── test-all.sh ├── test1.anvil ├── test_borrow.anvil ├── test_chan_array.anvil ├── test_foo.anvil ├── test_in.anvil ├── test_in.test ├── test_match_endpoint.anvil ├── test_multicycle.anvil ├── test_multicycle.test ├── test_proc.anvil ├── test_ready.anvil ├── test_ready.test ├── test_reg_borrow.anvil ├── test_reg_borrow.test ├── top.anvil ├── try_recv.anvil ├── try_recv_sync_pat.anvil ├── try_recv_sync_pat.test └── typecheck-test.sh ├── host-docs.sh ├── lib ├── buildScheduler.ml ├── buildScheduler.mli ├── codegen.ml ├── codegen.mli ├── codegenFormat.ml ├── codegenFormat.mli ├── codegenHelpers.ml ├── codegenPort.ml ├── codegenPort.mli ├── codegenPrinter.ml ├── codegenPrinter.mli ├── codegenStates.ml ├── codegenStates.mli ├── compileDriver.ml ├── compileDriver.mli ├── config.ml ├── config.mli ├── dune ├── eventGraph.ml ├── eventGraphOps.ml ├── eventGraphOps.mli ├── except.ml ├── graphAnalysis.ml ├── graphAnalysis.mli ├── graphBuilder.ml ├── graphBuilder.mli ├── graphOpt.ml ├── graphOpt.mli ├── jsonOutput.ml ├── jsonOutput.mli ├── lang.ml ├── lexer.mll ├── lifetimeCheck.ml ├── lifetimeCheck.mli ├── maybeConst.ml ├── maybeConst.mli ├── messageCollection.ml ├── messageCollection.mli ├── paramConcretise.ml ├── paramConcretise.mli ├── paramEnv.ml ├── paramEnv.mli ├── parser.mly ├── parserHelper.ml ├── spanPrinter.ml ├── spanPrinter.mli ├── typedefMap.ml ├── typedefMap.mli ├── utils.ml ├── utils.mli └── wireCollection.ml ├── run-tests.py └── test ├── anvil.ml └── dune /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/README.md -------------------------------------------------------------------------------- /anvil.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/anvil.opam -------------------------------------------------------------------------------- /bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/bin/dune -------------------------------------------------------------------------------- /bin/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/bin/main.ml -------------------------------------------------------------------------------- /docs/langref/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/langref/README.md -------------------------------------------------------------------------------- /docs/langref/channels.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/langref/channels.md -------------------------------------------------------------------------------- /docs/langref/compiler.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/langref/compiler.md -------------------------------------------------------------------------------- /docs/langref/data-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/langref/data-types.md -------------------------------------------------------------------------------- /docs/langref/expressions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/langref/expressions.md -------------------------------------------------------------------------------- /docs/langref/functions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/langref/functions.md -------------------------------------------------------------------------------- /docs/langref/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/langref/introduction.md -------------------------------------------------------------------------------- /docs/langref/lexical.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/langref/lexical.md -------------------------------------------------------------------------------- /docs/langref/modules.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/langref/modules.md -------------------------------------------------------------------------------- /docs/langref/processes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/langref/processes.md -------------------------------------------------------------------------------- /docs/langref/registers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/langref/registers.md -------------------------------------------------------------------------------- /docs/langref/systemverilog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/langref/systemverilog.md -------------------------------------------------------------------------------- /docs/langref/values.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/langref/values.md -------------------------------------------------------------------------------- /docs/tutorial/L0-HDL-Primer/HDL_module.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L0-HDL-Primer/HDL_module.jpg -------------------------------------------------------------------------------- /docs/tutorial/L0-HDL-Primer/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L0-HDL-Primer/README.md -------------------------------------------------------------------------------- /docs/tutorial/L0-HDL-Primer/memory.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L0-HDL-Primer/memory.png -------------------------------------------------------------------------------- /docs/tutorial/L1-Hello-World/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L1-Hello-World/README.md -------------------------------------------------------------------------------- /docs/tutorial/L1-Hello-World/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L1-Hello-World/src/Makefile -------------------------------------------------------------------------------- /docs/tutorial/L1-Hello-World/src/foo.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L1-Hello-World/src/foo.anvil -------------------------------------------------------------------------------- /docs/tutorial/L1-Hello-World/src/hello_world.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L1-Hello-World/src/hello_world.anvil -------------------------------------------------------------------------------- /docs/tutorial/L1-Hello-World/src/sim_main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L1-Hello-World/src/sim_main.cpp -------------------------------------------------------------------------------- /docs/tutorial/L2-Communication/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L2-Communication/README.md -------------------------------------------------------------------------------- /docs/tutorial/L3-Respecting-Contracts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L3-Respecting-Contracts/README.md -------------------------------------------------------------------------------- /docs/tutorial/L3-Respecting-Contracts/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L3-Respecting-Contracts/src/Makefile -------------------------------------------------------------------------------- /docs/tutorial/L3-Respecting-Contracts/src/memory.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L3-Respecting-Contracts/src/memory.anvil -------------------------------------------------------------------------------- /docs/tutorial/L3-Respecting-Contracts/src/memory_fix_1.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L3-Respecting-Contracts/src/memory_fix_1.anvil -------------------------------------------------------------------------------- /docs/tutorial/L3-Respecting-Contracts/src/memory_fix_2.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L3-Respecting-Contracts/src/memory_fix_2.anvil -------------------------------------------------------------------------------- /docs/tutorial/L3-Respecting-Contracts/src/memory_multiple_ports.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L3-Respecting-Contracts/src/memory_multiple_ports.anvil -------------------------------------------------------------------------------- /docs/tutorial/L3-Respecting-Contracts/src/memory_safe.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L3-Respecting-Contracts/src/memory_safe.anvil -------------------------------------------------------------------------------- /docs/tutorial/L3-Respecting-Contracts/src/sim_main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L3-Respecting-Contracts/src/sim_main.cpp -------------------------------------------------------------------------------- /docs/tutorial/L4-Some-More-Features/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L4-Some-More-Features/README.md -------------------------------------------------------------------------------- /docs/tutorial/L4-Some-More-Features/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L4-Some-More-Features/src/Makefile -------------------------------------------------------------------------------- /docs/tutorial/L4-Some-More-Features/src/sim_main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L4-Some-More-Features/src/sim_main.cpp -------------------------------------------------------------------------------- /docs/tutorial/L4-Some-More-Features/src/top.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/L4-Some-More-Features/src/top.anvil -------------------------------------------------------------------------------- /docs/tutorial/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/README.md -------------------------------------------------------------------------------- /docs/tutorial/Self-Practice/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/docs/tutorial/Self-Practice/README.md -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/dune-project -------------------------------------------------------------------------------- /editors/vscode/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/editors/vscode/README.md -------------------------------------------------------------------------------- /editors/vscode/grammar.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/editors/vscode/grammar.json -------------------------------------------------------------------------------- /editors/vscode/language.config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/editors/vscode/language.config.json -------------------------------------------------------------------------------- /editors/vscode/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/editors/vscode/package.json -------------------------------------------------------------------------------- /examples/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/.gitignore -------------------------------------------------------------------------------- /examples/AluExample.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/AluExample.anvil -------------------------------------------------------------------------------- /examples/AluExample.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/AluExample.test -------------------------------------------------------------------------------- /examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/Makefile -------------------------------------------------------------------------------- /examples/RCATop.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/RCATop.anvil -------------------------------------------------------------------------------- /examples/RCATop.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/RCATop.test -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/Top.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/Top.anvil -------------------------------------------------------------------------------- /examples/arbiter.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/arbiter.anvil -------------------------------------------------------------------------------- /examples/arbiter.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/arbiter.test -------------------------------------------------------------------------------- /examples/arbiter2.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/arbiter2.anvil -------------------------------------------------------------------------------- /examples/arbiter2.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/arbiter2.test -------------------------------------------------------------------------------- /examples/assign_repeat.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/assign_repeat.anvil -------------------------------------------------------------------------------- /examples/assign_repeat.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/assign_repeat.test -------------------------------------------------------------------------------- /examples/associativity.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/associativity.anvil -------------------------------------------------------------------------------- /examples/associativity.test: -------------------------------------------------------------------------------- 1 | 1 1 2 | 1 3 | -------------------------------------------------------------------------------- /examples/branch_borrow.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/branch_borrow.anvil -------------------------------------------------------------------------------- /examples/branch_borrow.test: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/bug_stuck.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/bug_stuck.anvil -------------------------------------------------------------------------------- /examples/bug_stuck.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/bug_stuck.test -------------------------------------------------------------------------------- /examples/cache.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/cache.anvil -------------------------------------------------------------------------------- /examples/cache.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/cache.test -------------------------------------------------------------------------------- /examples/comb_loop.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/comb_loop.anvil -------------------------------------------------------------------------------- /examples/comb_loop.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/comb_loop.test -------------------------------------------------------------------------------- /examples/concurrent.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/concurrent.anvil -------------------------------------------------------------------------------- /examples/concurrent.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/concurrent.test -------------------------------------------------------------------------------- /examples/counter2.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/counter2.anvil -------------------------------------------------------------------------------- /examples/counter2.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/counter2.test -------------------------------------------------------------------------------- /examples/cva6-mmu/cva6_ptw_tb.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/cva6-mmu/cva6_ptw_tb.anvil -------------------------------------------------------------------------------- /examples/cva6-mmu/tlb_tb.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/cva6-mmu/tlb_tb.anvil -------------------------------------------------------------------------------- /examples/enum_test.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/enum_test.anvil -------------------------------------------------------------------------------- /examples/enum_test.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/enum_test.test -------------------------------------------------------------------------------- /examples/extern_fifo_top.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/extern_fifo_top.anvil -------------------------------------------------------------------------------- /examples/extern_proc.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/extern_proc.anvil -------------------------------------------------------------------------------- /examples/extern_proc.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/extern_proc.test -------------------------------------------------------------------------------- /examples/extern_proc2.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/extern_proc2.anvil -------------------------------------------------------------------------------- /examples/extern_proc2.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/extern_proc2.test -------------------------------------------------------------------------------- /examples/fifo.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/fifo.sv -------------------------------------------------------------------------------- /examples/gen-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/gen-tests.sh -------------------------------------------------------------------------------- /examples/gen_seq_test.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/gen_seq_test.anvil -------------------------------------------------------------------------------- /examples/general_recurse_assign.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/general_recurse_assign.anvil -------------------------------------------------------------------------------- /examples/general_recurse_assign.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/general_recurse_assign.test -------------------------------------------------------------------------------- /examples/general_recurse_simple.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/general_recurse_simple.anvil -------------------------------------------------------------------------------- /examples/general_recurse_simple.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/general_recurse_simple.test -------------------------------------------------------------------------------- /examples/generate_test.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/generate_test.anvil -------------------------------------------------------------------------------- /examples/generate_test.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/generate_test.test -------------------------------------------------------------------------------- /examples/if_comb.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/if_comb.anvil -------------------------------------------------------------------------------- /examples/if_comb.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/if_comb.test -------------------------------------------------------------------------------- /examples/if_else_val.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/if_else_val.anvil -------------------------------------------------------------------------------- /examples/if_else_val.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/if_else_val.test -------------------------------------------------------------------------------- /examples/import_example.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/import_example.anvil -------------------------------------------------------------------------------- /examples/import_example.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/import_example.test -------------------------------------------------------------------------------- /examples/imported_example.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/imported_example.anvil -------------------------------------------------------------------------------- /examples/latency.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/latency.anvil -------------------------------------------------------------------------------- /examples/latency.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/latency.test -------------------------------------------------------------------------------- /examples/list.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/list.anvil -------------------------------------------------------------------------------- /examples/list.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/list.test -------------------------------------------------------------------------------- /examples/log.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/log.txt -------------------------------------------------------------------------------- /examples/match_bug.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/match_bug.anvil -------------------------------------------------------------------------------- /examples/match_bug.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/match_bug.test -------------------------------------------------------------------------------- /examples/match_test.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/match_test.anvil -------------------------------------------------------------------------------- /examples/match_test.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/match_test.test -------------------------------------------------------------------------------- /examples/match_test_set.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/match_test_set.anvil -------------------------------------------------------------------------------- /examples/match_test_set.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/match_test_set.test -------------------------------------------------------------------------------- /examples/multi_send_recv.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/multi_send_recv.anvil -------------------------------------------------------------------------------- /examples/multi_send_recv.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/multi_send_recv.test -------------------------------------------------------------------------------- /examples/multicycle_counter.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/multicycle_counter.anvil -------------------------------------------------------------------------------- /examples/multicycle_counter.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/multicycle_counter.test -------------------------------------------------------------------------------- /examples/outdated/alu.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/outdated/alu.anvil -------------------------------------------------------------------------------- /examples/outdated/axi.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/outdated/axi.anvil -------------------------------------------------------------------------------- /examples/outdated/counter.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/outdated/counter.anvil -------------------------------------------------------------------------------- /examples/outdated/double_send.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/outdated/double_send.anvil -------------------------------------------------------------------------------- /examples/outdated/fifo.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/outdated/fifo.anvil -------------------------------------------------------------------------------- /examples/outdated/filament.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/outdated/filament.ml -------------------------------------------------------------------------------- /examples/outdated/lifetime.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/outdated/lifetime.anvil -------------------------------------------------------------------------------- /examples/outdated/mux.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/outdated/mux.anvil -------------------------------------------------------------------------------- /examples/outdated/test.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/outdated/test.anvil -------------------------------------------------------------------------------- /examples/outdated/variant.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/outdated/variant.anvil -------------------------------------------------------------------------------- /examples/param_int.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/param_int.anvil -------------------------------------------------------------------------------- /examples/param_int.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/param_int.test -------------------------------------------------------------------------------- /examples/param_int_chan.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/param_int_chan.anvil -------------------------------------------------------------------------------- /examples/param_int_chan.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/param_int_chan.test -------------------------------------------------------------------------------- /examples/param_int_typedef.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/param_int_typedef.anvil -------------------------------------------------------------------------------- /examples/param_int_typedef.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/param_int_typedef.test -------------------------------------------------------------------------------- /examples/param_type.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/param_type.anvil -------------------------------------------------------------------------------- /examples/param_type.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/param_type.test -------------------------------------------------------------------------------- /examples/param_type_chan.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/param_type_chan.anvil -------------------------------------------------------------------------------- /examples/param_type_chan.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/param_type_chan.test -------------------------------------------------------------------------------- /examples/param_type_typedef.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/param_type_typedef.anvil -------------------------------------------------------------------------------- /examples/param_type_typedef.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/param_type_typedef.test -------------------------------------------------------------------------------- /examples/pipeline.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/pipeline.v -------------------------------------------------------------------------------- /examples/pipeline/Add.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/pipeline/Add.anvil -------------------------------------------------------------------------------- /examples/pipeline/Alu.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/pipeline/Alu.anvil -------------------------------------------------------------------------------- /examples/pipeline/Mux.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/pipeline/Mux.anvil -------------------------------------------------------------------------------- /examples/pipeline/Reg.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/pipeline/Reg.anvil -------------------------------------------------------------------------------- /examples/pipeline/SubtractDelayed.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/pipeline/SubtractDelayed.anvil -------------------------------------------------------------------------------- /examples/pipelineTB: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/pipelineTB.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/pipelineTB.anvil -------------------------------------------------------------------------------- /examples/queue.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/queue.anvil -------------------------------------------------------------------------------- /examples/queue.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/queue.test -------------------------------------------------------------------------------- /examples/queue.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/queue.v -------------------------------------------------------------------------------- /examples/record.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/record.anvil -------------------------------------------------------------------------------- /examples/record_update.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/record_update.anvil -------------------------------------------------------------------------------- /examples/reset_msg.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/reset_msg.anvil -------------------------------------------------------------------------------- /examples/reset_msg.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/reset_msg.test -------------------------------------------------------------------------------- /examples/safePipeLineTB.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/safePipeLineTB.anvil -------------------------------------------------------------------------------- /examples/should_fail/assign-last-cycle-bad.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/assign-last-cycle-bad.anvil -------------------------------------------------------------------------------- /examples/should_fail/bad-borrow-binding.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/bad-borrow-binding.anvil -------------------------------------------------------------------------------- /examples/should_fail/bad-borrow-send.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/bad-borrow-send.anvil -------------------------------------------------------------------------------- /examples/should_fail/bad-unused.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/bad-unused.anvil -------------------------------------------------------------------------------- /examples/should_fail/chan-class-undefined.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/chan-class-undefined.anvil -------------------------------------------------------------------------------- /examples/should_fail/foreign-arg-use.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/foreign-arg-use.anvil -------------------------------------------------------------------------------- /examples/should_fail/foreign-endpoint-use.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/foreign-endpoint-use.anvil -------------------------------------------------------------------------------- /examples/should_fail/index-bad-borrow.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/index-bad-borrow.anvil -------------------------------------------------------------------------------- /examples/should_fail/index-bad-borrow2.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/index-bad-borrow2.anvil -------------------------------------------------------------------------------- /examples/should_fail/index-bad-borrow3.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/index-bad-borrow3.anvil -------------------------------------------------------------------------------- /examples/should_fail/invalid-lifetime.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/invalid-lifetime.anvil -------------------------------------------------------------------------------- /examples/should_fail/invalid-sync-mode.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/invalid-sync-mode.anvil -------------------------------------------------------------------------------- /examples/should_fail/irrelevant_cycle.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/irrelevant_cycle.anvil -------------------------------------------------------------------------------- /examples/should_fail/irrelevant_msg.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/irrelevant_msg.anvil -------------------------------------------------------------------------------- /examples/should_fail/lifetime_msg.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/lifetime_msg.anvil -------------------------------------------------------------------------------- /examples/should_fail/loop-borrow.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/loop-borrow.anvil -------------------------------------------------------------------------------- /examples/should_fail/message-bad-direction.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/message-bad-direction.anvil -------------------------------------------------------------------------------- /examples/should_fail/non-linear.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/non-linear.anvil -------------------------------------------------------------------------------- /examples/should_fail/print-last-cycle-mut.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/print-last-cycle-mut.anvil -------------------------------------------------------------------------------- /examples/should_fail/proc-undefined.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/proc-undefined.anvil -------------------------------------------------------------------------------- /examples/should_fail/self-referential-sync-mode.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/self-referential-sync-mode.anvil -------------------------------------------------------------------------------- /examples/should_fail/send-loop-back.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/send-loop-back.anvil -------------------------------------------------------------------------------- /examples/should_fail/static_dyn_too_freq.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/static_dyn_too_freq.anvil -------------------------------------------------------------------------------- /examples/should_fail/static_dyn_too_freq_start.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/static_dyn_too_freq_start.anvil -------------------------------------------------------------------------------- /examples/should_fail/static_sync_bad.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/static_sync_bad.anvil -------------------------------------------------------------------------------- /examples/should_fail/static_sync_bad_branch.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/static_sync_bad_branch.anvil -------------------------------------------------------------------------------- /examples/should_fail/static_sync_imbalanced.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/static_sync_imbalanced.anvil -------------------------------------------------------------------------------- /examples/should_fail/subreg-lt-bad.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/subreg-lt-bad.anvil -------------------------------------------------------------------------------- /examples/should_fail/sync-static-dyn-bad.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/sync-static-dyn-bad.anvil -------------------------------------------------------------------------------- /examples/should_fail/syntax-error.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/syntax-error.anvil -------------------------------------------------------------------------------- /examples/should_fail/tight-send-0-cycle.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/tight-send-0-cycle.anvil -------------------------------------------------------------------------------- /examples/should_fail/tight-send-assign.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/tight-send-assign.anvil -------------------------------------------------------------------------------- /examples/should_fail/try_recv_lifetime.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/try_recv_lifetime.anvil -------------------------------------------------------------------------------- /examples/should_fail/undefined-binding.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/undefined-binding.anvil -------------------------------------------------------------------------------- /examples/should_fail/undefined-msg.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_fail/undefined-msg.anvil -------------------------------------------------------------------------------- /examples/should_pass/assign-branch.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/assign-branch.anvil -------------------------------------------------------------------------------- /examples/should_pass/assign-last-cycle.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/assign-last-cycle.anvil -------------------------------------------------------------------------------- /examples/should_pass/assign-last-cycle2.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/assign-last-cycle2.anvil -------------------------------------------------------------------------------- /examples/should_pass/assign-later.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/assign-later.anvil -------------------------------------------------------------------------------- /examples/should_pass/benign-unused-delayed.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/benign-unused-delayed.anvil -------------------------------------------------------------------------------- /examples/should_pass/benign-unused.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/benign-unused.anvil -------------------------------------------------------------------------------- /examples/should_pass/borrow-binding.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/borrow-binding.anvil -------------------------------------------------------------------------------- /examples/should_pass/borrow-branch.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/borrow-branch.anvil -------------------------------------------------------------------------------- /examples/should_pass/borrow-send.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/borrow-send.anvil -------------------------------------------------------------------------------- /examples/should_pass/branch-send.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/branch-send.anvil -------------------------------------------------------------------------------- /examples/should_pass/branch_borrow.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/branch_borrow.anvil -------------------------------------------------------------------------------- /examples/should_pass/branch_lifetime.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/branch_lifetime.anvil -------------------------------------------------------------------------------- /examples/should_pass/complex-join.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/complex-join.anvil -------------------------------------------------------------------------------- /examples/should_pass/dependent-simple.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/dependent-simple.anvil -------------------------------------------------------------------------------- /examples/should_pass/generate_match.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/generate_match.anvil -------------------------------------------------------------------------------- /examples/should_pass/if-wait.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/if-wait.anvil -------------------------------------------------------------------------------- /examples/should_pass/index-borrow.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/index-borrow.anvil -------------------------------------------------------------------------------- /examples/should_pass/index-borrow2.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/index-borrow2.anvil -------------------------------------------------------------------------------- /examples/should_pass/linear.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/linear.anvil -------------------------------------------------------------------------------- /examples/should_pass/match_set.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/match_set.anvil -------------------------------------------------------------------------------- /examples/should_pass/print-last-cycle.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/print-last-cycle.anvil -------------------------------------------------------------------------------- /examples/should_pass/reg-index.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/reg-index.anvil -------------------------------------------------------------------------------- /examples/should_pass/send.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/send.anvil -------------------------------------------------------------------------------- /examples/should_pass/static_dyn_ok_freq.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/static_dyn_ok_freq.anvil -------------------------------------------------------------------------------- /examples/should_pass/static_dyn_zero_latency.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/static_dyn_zero_latency.anvil -------------------------------------------------------------------------------- /examples/should_pass/subreg-lt.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/subreg-lt.anvil -------------------------------------------------------------------------------- /examples/should_pass/sync-static-dyn-good.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/sync-static-dyn-good.anvil -------------------------------------------------------------------------------- /examples/should_pass/test_recvReg.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/test_recvReg.anvil -------------------------------------------------------------------------------- /examples/should_pass/test_regBranch.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/test_regBranch.anvil -------------------------------------------------------------------------------- /examples/should_pass/test_regIndex1.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/test_regIndex1.anvil -------------------------------------------------------------------------------- /examples/should_pass/test_regIndex2.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/test_regIndex2.anvil -------------------------------------------------------------------------------- /examples/should_pass/test_send.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/test_send.anvil -------------------------------------------------------------------------------- /examples/should_pass/test_sendRecv.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/test_sendRecv.anvil -------------------------------------------------------------------------------- /examples/should_pass/tight-send.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/tight-send.anvil -------------------------------------------------------------------------------- /examples/should_pass/try_recv_lifetime.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/should_pass/try_recv_lifetime.anvil -------------------------------------------------------------------------------- /examples/sim_main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/sim_main.cpp -------------------------------------------------------------------------------- /examples/simple_usereg_pipeline.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/simple_usereg_pipeline.anvil -------------------------------------------------------------------------------- /examples/simple_usereg_pipeline.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/simple_usereg_pipeline.test -------------------------------------------------------------------------------- /examples/small-eval/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/small-eval/Makefile -------------------------------------------------------------------------------- /examples/small-eval/arbiter.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/small-eval/arbiter.anvil -------------------------------------------------------------------------------- /examples/small-eval/cache.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/small-eval/cache.anvil -------------------------------------------------------------------------------- /examples/small-eval/pipelineTB.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/small-eval/pipelineTB.anvil -------------------------------------------------------------------------------- /examples/small-eval/queue.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/small-eval/queue.anvil -------------------------------------------------------------------------------- /examples/small-eval/sim_main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/small-eval/sim_main.cpp -------------------------------------------------------------------------------- /examples/static_dyn_sync.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/static_dyn_sync.anvil -------------------------------------------------------------------------------- /examples/static_dyn_sync.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/static_dyn_sync.test -------------------------------------------------------------------------------- /examples/static_sync.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/static_sync.anvil -------------------------------------------------------------------------------- /examples/static_sync.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/static_sync.test -------------------------------------------------------------------------------- /examples/subreg.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/subreg.anvil -------------------------------------------------------------------------------- /examples/subreg.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/subreg.test -------------------------------------------------------------------------------- /examples/subreg_var.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/subreg_var.anvil -------------------------------------------------------------------------------- /examples/subreg_var.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/subreg_var.test -------------------------------------------------------------------------------- /examples/test-all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/test-all.sh -------------------------------------------------------------------------------- /examples/test1.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/test1.anvil -------------------------------------------------------------------------------- /examples/test_borrow.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/test_borrow.anvil -------------------------------------------------------------------------------- /examples/test_chan_array.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/test_chan_array.anvil -------------------------------------------------------------------------------- /examples/test_foo.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/test_foo.anvil -------------------------------------------------------------------------------- /examples/test_in.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/test_in.anvil -------------------------------------------------------------------------------- /examples/test_in.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/test_in.test -------------------------------------------------------------------------------- /examples/test_match_endpoint.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/test_match_endpoint.anvil -------------------------------------------------------------------------------- /examples/test_multicycle.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/test_multicycle.anvil -------------------------------------------------------------------------------- /examples/test_multicycle.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/test_multicycle.test -------------------------------------------------------------------------------- /examples/test_proc.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/test_proc.anvil -------------------------------------------------------------------------------- /examples/test_ready.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/test_ready.anvil -------------------------------------------------------------------------------- /examples/test_ready.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/test_ready.test -------------------------------------------------------------------------------- /examples/test_reg_borrow.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/test_reg_borrow.anvil -------------------------------------------------------------------------------- /examples/test_reg_borrow.test: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/top.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/top.anvil -------------------------------------------------------------------------------- /examples/try_recv.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/try_recv.anvil -------------------------------------------------------------------------------- /examples/try_recv_sync_pat.anvil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/try_recv_sync_pat.anvil -------------------------------------------------------------------------------- /examples/try_recv_sync_pat.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/try_recv_sync_pat.test -------------------------------------------------------------------------------- /examples/typecheck-test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/examples/typecheck-test.sh -------------------------------------------------------------------------------- /host-docs.sh: -------------------------------------------------------------------------------- 1 | python3 -m http.server -b 127.0.0.1 -d _build/default/_doc/_html $1 2 | -------------------------------------------------------------------------------- /lib/buildScheduler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/buildScheduler.ml -------------------------------------------------------------------------------- /lib/buildScheduler.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/buildScheduler.mli -------------------------------------------------------------------------------- /lib/codegen.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/codegen.ml -------------------------------------------------------------------------------- /lib/codegen.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/codegen.mli -------------------------------------------------------------------------------- /lib/codegenFormat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/codegenFormat.ml -------------------------------------------------------------------------------- /lib/codegenFormat.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/codegenFormat.mli -------------------------------------------------------------------------------- /lib/codegenHelpers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/codegenHelpers.ml -------------------------------------------------------------------------------- /lib/codegenPort.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/codegenPort.ml -------------------------------------------------------------------------------- /lib/codegenPort.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/codegenPort.mli -------------------------------------------------------------------------------- /lib/codegenPrinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/codegenPrinter.ml -------------------------------------------------------------------------------- /lib/codegenPrinter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/codegenPrinter.mli -------------------------------------------------------------------------------- /lib/codegenStates.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/codegenStates.ml -------------------------------------------------------------------------------- /lib/codegenStates.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/codegenStates.mli -------------------------------------------------------------------------------- /lib/compileDriver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/compileDriver.ml -------------------------------------------------------------------------------- /lib/compileDriver.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/compileDriver.mli -------------------------------------------------------------------------------- /lib/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/config.ml -------------------------------------------------------------------------------- /lib/config.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/config.mli -------------------------------------------------------------------------------- /lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/dune -------------------------------------------------------------------------------- /lib/eventGraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/eventGraph.ml -------------------------------------------------------------------------------- /lib/eventGraphOps.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/eventGraphOps.ml -------------------------------------------------------------------------------- /lib/eventGraphOps.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/eventGraphOps.mli -------------------------------------------------------------------------------- /lib/except.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/except.ml -------------------------------------------------------------------------------- /lib/graphAnalysis.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/graphAnalysis.ml -------------------------------------------------------------------------------- /lib/graphAnalysis.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/graphAnalysis.mli -------------------------------------------------------------------------------- /lib/graphBuilder.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/graphBuilder.ml -------------------------------------------------------------------------------- /lib/graphBuilder.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/graphBuilder.mli -------------------------------------------------------------------------------- /lib/graphOpt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/graphOpt.ml -------------------------------------------------------------------------------- /lib/graphOpt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/graphOpt.mli -------------------------------------------------------------------------------- /lib/jsonOutput.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/jsonOutput.ml -------------------------------------------------------------------------------- /lib/jsonOutput.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/jsonOutput.mli -------------------------------------------------------------------------------- /lib/lang.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/lang.ml -------------------------------------------------------------------------------- /lib/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/lexer.mll -------------------------------------------------------------------------------- /lib/lifetimeCheck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/lifetimeCheck.ml -------------------------------------------------------------------------------- /lib/lifetimeCheck.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/lifetimeCheck.mli -------------------------------------------------------------------------------- /lib/maybeConst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/maybeConst.ml -------------------------------------------------------------------------------- /lib/maybeConst.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/maybeConst.mli -------------------------------------------------------------------------------- /lib/messageCollection.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/messageCollection.ml -------------------------------------------------------------------------------- /lib/messageCollection.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/messageCollection.mli -------------------------------------------------------------------------------- /lib/paramConcretise.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/paramConcretise.ml -------------------------------------------------------------------------------- /lib/paramConcretise.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/paramConcretise.mli -------------------------------------------------------------------------------- /lib/paramEnv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/paramEnv.ml -------------------------------------------------------------------------------- /lib/paramEnv.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/paramEnv.mli -------------------------------------------------------------------------------- /lib/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/parser.mly -------------------------------------------------------------------------------- /lib/parserHelper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/parserHelper.ml -------------------------------------------------------------------------------- /lib/spanPrinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/spanPrinter.ml -------------------------------------------------------------------------------- /lib/spanPrinter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/spanPrinter.mli -------------------------------------------------------------------------------- /lib/typedefMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/typedefMap.ml -------------------------------------------------------------------------------- /lib/typedefMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/typedefMap.mli -------------------------------------------------------------------------------- /lib/utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/utils.ml -------------------------------------------------------------------------------- /lib/utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/utils.mli -------------------------------------------------------------------------------- /lib/wireCollection.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/lib/wireCollection.ml -------------------------------------------------------------------------------- /run-tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisp-nus/anvil/HEAD/run-tests.py -------------------------------------------------------------------------------- /test/anvil.ml: -------------------------------------------------------------------------------- 1 | let () = print_endline "" -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- 1 | (test 2 | (name anvil)) 3 | --------------------------------------------------------------------------------