Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

A

AbstractTransformation
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Terraform modules
- Incidents

Snippets Groups Projects

- GuideForce
AbstractTransformation

A

AbstractTransformation

Project ID: 2777

Project information

Implementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)

39 Commits
1 Branch
0 Tags

README
MIT License

Created on

March 15, 2023

Select Git revision

0 results

abstracttransformation

- Clone with SSH
- Clone with HTTPS
Open in your IDE
Download source code

Download source code

Copy SSH clone URLgit@git.fortiss.org:gf/abstracttransformation.git
Copy HTTPS clone URLhttps://git.fortiss.org/gf/abstracttransformation.git

Update README.md

Chuangjie Xu authored 2 years ago

f3f3884c

f3f3884c 2 years ago

Name	Last commit	Last update