🛤️ React-tRace

React-tRace is a React hooks reference interpreter based on a formal semantics¹. It focuses on detecting inefficient re-renders.

Developing

OCaml 5.2.0 should be installed.

opam update
opam switch create . ocaml-base-compiler.5.2.0

Confirm that the new opam switch is activated using opam switch and install the dependencies:

opam install --deps-only --with-test .

Then build with dune:

dune build

You can run React-tRace with dune as well:

dune exec react_trace -- samples/simple.ml

Tests can be run with

dune runtest

Footnotes

1. The Coq formalization is currently being developed here ↩