Achim D. Brucker
|
1c1c2817d6
|
Added/updated cvc3 dependency (draft).
|
2015-06-09 22:39:49 +02:00 |
Achim D. Brucker
|
0ba848d2d5
|
Initial tycho setup.
|
2015-06-09 22:35:09 +02:00 |
Achim D. Brucker
|
f1983f90d2
|
Ignore bin directories.
|
2015-06-09 19:21:36 +02:00 |
Achim D. Brucker
|
6e1ef3b61f
|
Removed tmp files from astyle.
|
2015-06-08 21:44:02 +02:00 |
Achim D. Brucker
|
1231f773d8
|
Applied astyle to ensure consistent formatting.
|
2015-06-08 21:43:23 +02:00 |
Achim D. Brucker
|
7a185c3e53
|
Ignore target directories.
|
2015-06-08 21:35:26 +02:00 |
Achim D. Brucker
|
7c3182b13b
|
Merge branch 'master' of github.com:DASPA/DASCA
|
2015-06-08 20:30:30 +02:00 |
Achim D. Brucker
|
8d69bc0e1e
|
Ignore .classpath and .project that are generated by maven (mvn eclipse:eclipse).
|
2015-06-08 20:30:13 +02:00 |
Achim D. Brucker
|
5562e5b2e8
|
Intial commit: test cases for dataflow analysis.
|
2015-06-08 20:29:37 +02:00 |
Achim D. Brucker
|
00ca96d41b
|
Initial commit
|
2015-05-30 23:28:28 +02:00 |
Achim D. Brucker
|
5056a51e89
|
root commit
|
2015-05-30 23:28:13 +02:00 |
Achim D. Brucker
|
a067a0aa70
|
Initial commit
|
2015-05-29 11:21:26 +02:00 |