Skip to content

A TypeScript program generator based on Alloy

Notifications You must be signed in to change notification settings

gabritto/tsdolly

Repository files navigation

TSDolly

TSDolly is a tool for automatically generating TypeScript programs using Alloy. The generated programs can be used to test the implementation of refactorings.
TSDolly is based on JDolly, which generates Java programs.

This work is part of a bachelor's thesis.

TODO list

  • Update README with more details.
  • Add instructions on how to build.
  • Add instructions on how to run.
  • Unify refactoring with command argument.
  • Unify build.
  • Add ESLint?
  • Add instructions on how to contribute?
  • Add license? (Must check libraries' licenses (guava, alloy, gson))
  • Add CLI to Java code with command options.
  • Add CLI option to Java for manipulating scope?

About

A TypeScript program generator based on Alloy

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published