Giters

debrecenics / lock-and-merge-evaluation

Evaluate the combination of property-based locking and automated model merge

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Evaluate the combination of property-based locking and automated model merge

Languages

Language:Java 93.8%Language:Xtend 3.7%Language:GAP 2.5%