Skip to content

Time-traveling state inspector for the Luau DCR solver.

License

Notifications You must be signed in to change notification settings

luau-lang/dcr-timetraveler

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

dcr-timetraveler

Deploy

Live on GitHub pages.

A debugging tool for the Luau programming language that allows you to step forward and backwards through constraint solving steps, inspecting the state of the scope tree and the constraint graph at each point.

To use this tool, set the Luau fast flag FFlagDebugLuauLogSolverToJson to True. This will print a JSON blob to stdout whenever the constraint solver runs. You can copy and paste that blob into the "Input" tab and press "Apply", which will parse the input and display a graphical view of each solver step, including the beginning and end states.