Skip to content
GitLab
Explore
Sign in
LARA
lisa
Merge requests
!138
Change occurrences of Rewrite to Restate.from
Code
Review changes
Check out branch
Download
Patches
Plain diff
Sankalp Gambhir
requested to merge
github/fork/sankalpgambhir/rewrite-restate-from
into
main
Feb 20, 2023
Overview
0
Commits
1
Pipelines
0
Changes
3
Expand
Removed all occurrences of the Rewrite tactic to be uniform with the name change.
Merge request reports