Restructured backend
This commit is contained in:
parent
bc7f266fd3
commit
dcf091421f
137 changed files with 46 additions and 19 deletions
5
pom.xml
5
pom.xml
|
|
@ -32,8 +32,11 @@
|
|||
<modules>
|
||||
<module>dataModels</module>
|
||||
<module>conversion</module>
|
||||
<module>backend</module>
|
||||
<module>analysis</module>
|
||||
<module>frontend</module>
|
||||
<module>synthesis</module>
|
||||
<module>learn</module>
|
||||
<module>verification</module>
|
||||
</modules>
|
||||
|
||||
<build>
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue