Achim D. Brucker
|
9965ab05ed
|
Renaming: tests -> test.
|
2016-08-21 22:46:47 +01:00 |
Achim D. Brucker
|
a96ed7f310
|
Refactoring: testdata -> test.data.
|
2016-08-21 22:39:35 +01:00 |
Achim D. Brucker
|
217a0ae886
|
Renaming.
|
2016-08-21 22:19:53 +01:00 |
Achim D. Brucker
|
7fbc55b0f6
|
Added missing src component.
|
2016-08-21 22:11:32 +01:00 |
Achim D. Brucker
|
34c4dec2e9
|
Ignore local configuration file.
|
2016-08-21 22:09:22 +01:00 |
Achim D. Brucker
|
363c45335f
|
Configuration template.
|
2016-08-21 22:07:31 +01:00 |
Achim D. Brucker
|
2595bfaa24
|
Renamed eu.aniketos.dasca.dataflow.tests to eu.aniketos.dasca.dataflow.testdata.
|
2016-08-21 22:03:42 +01:00 |
Achim D. Brucker
|
728c165fc6
|
Added lib/ to path of libcvc3-5.0.0.jar.
|
2016-08-21 22:03:26 +01:00 |
Achim D. Brucker
|
b7fd8ccd44
|
Renamed eu.aniketos.dasca.dataflow.tests to eu.aniketos.dasca.dataflow.testdata.
|
2016-08-21 22:00:54 +01:00 |
Achim D. Brucker
|
5a5a460f5e
|
Renamed menu.
|
2016-08-21 20:16:54 +01:00 |
Achim D. Brucker
|
ae9341908c
|
Added plugin.xml.
|
2016-08-21 16:27:27 +01:00 |
Achim D. Brucker
|
02fd55fb36
|
Updated plugin id.
|
2016-08-21 15:51:27 +01:00 |
Achim D. Brucker
|
c9bf1e1777
|
WALA should now track master.
|
2016-08-20 10:53:04 +01:00 |
Achim D. Brucker
|
d67ac0e1ae
|
Make submodule externals/WALA tracking master.
|
2016-08-20 10:48:55 +01:00 |
Achim D. Brucker
|
e32bdece19
|
Merge branch 'master' of logicalhacking.com:DASCA/DASCA
|
2016-08-18 00:05:57 +01:00 |
Achim D. Brucker
|
c62dc4154e
|
Added method that returns all (heavily overapproximating) possible Target nodes in a cross-language CG.
|
2016-08-18 00:05:42 +01:00 |
Achim D. Brucker
|
df517ea7a0
|
Updated submodule
|
2016-08-14 00:06:54 +01:00 |
Achim D. Brucker
|
76104c8e9c
|
Added test case using Cordova 6.3.0 (Featherweight DVHMA).
|
2016-08-11 08:59:11 +01:00 |
Achim D. Brucker
|
8fe6a2e61e
|
Fixed name of object Featherweight_100_350_Info.scala to reflect actual version of test app.
|
2016-08-11 08:30:14 +01:00 |
Achim D. Brucker
|
87dcf8808a
|
Added test case for de.zertapps.dvhma.featherweight_1.0.0_3.5.0_debug.apk.
|
2016-08-10 09:05:27 +01:00 |
Achim D. Brucker
|
d2fad354ce
|
Improved markdown.
|
2016-08-08 20:58:06 +01:00 |
Achim D. Brucker
|
275b5bf856
|
Ported crosslanguage package to latest WALA updates (based on 1.3.10-SNAPSHOT).
|
2016-08-07 14:02:22 +01:00 |
Achim D. Brucker
|
7b7a2b5a3c
|
Ported crosslanguage package to latest WALA updates (based on 1.3.10-SNAPSHOT).
|
2016-08-07 12:02:31 +01:00 |
Achim D. Brucker
|
996c025c16
|
Updated submodule reference.
|
2016-08-07 11:59:55 +01:00 |
Achim D. Brucker
|
97668c20d0
|
Updated WALA version to 1.3.10-SNAPSHOT.
|
2016-08-06 21:22:44 +01:00 |
Achim D. Brucker
|
208d408a44
|
Pulled down latest WALA updates.
|
2016-08-06 21:19:45 +01:00 |
Achim D. Brucker
|
f855ede646
|
Removed author tag.
|
2016-08-06 21:11:08 +01:00 |
Achim D. Brucker
|
8b81ad8642
|
Updated Eclipse version.
|
2016-08-05 17:07:15 +01:00 |
Achim D. Brucker
|
d349a966bc
|
Throw file not found exception if android19.jar could not be found (e.g., ANDROID_HOME was not set properly during installation).
|
2016-08-05 17:06:42 +01:00 |
Achim D. Brucker
|
9f32bd9a8a
|
Updated Installation instruction.
|
2016-08-05 16:34:19 +01:00 |
Achim D. Brucker
|
f213bfff9e
|
Noted the need for Java 6 core libraries.
|
2016-07-31 22:42:42 +01:00 |
Achim D. Brucker
|
886e763ed0
|
Added link to website for Michael Herzberg.
|
2016-07-30 23:31:42 +01:00 |
Achim D. Brucker
|
48fbb1b0c4
|
Added ESSoS 2016 publication.
|
2016-07-28 23:51:21 +01:00 |
Achim D. Brucker
|
5bac5040b5
|
Updated repository URL.
|
2016-07-28 23:45:31 +01:00 |
Achim D. Brucker
|
776d403682
|
Updated WALA URL to new home at git.logicalhacking.com.
|
2016-07-28 23:36:46 +01:00 |
Michael Herzberg
|
2bf48b3a60
|
Added launch file, advanced WALA commit id and fixed typo in pom.xml.
|
2016-06-28 14:46:41 +01:00 |
Achim D. Brucker
|
1e7083f698
|
Fixed typo.
|
2015-10-29 13:48:37 +01:00 |
Achim D. Brucker
|
b61f7a2e4f
|
Added DVHMA FeatherWeight app as test data.
|
2015-10-15 13:31:55 +02:00 |
Achim D. Brucker
|
dc60d9d078
|
Merge branch 'master' of github.com:DASPA/DASCA
|
2015-10-15 13:01:55 +02:00 |
Achim D. Brucker
|
b066aa89c1
|
Removed scala-plugin from lifecycle exclusion.
|
2015-10-15 13:01:37 +02:00 |
Achim D. Brucker
|
4273d88252
|
Update README.md
|
2015-10-15 12:39:15 +02:00 |
Achim D. Brucker
|
6fcb7ddd09
|
Removed testCompile goal.
|
2015-10-15 12:21:08 +02:00 |
Achim D. Brucker
|
cf885db356
|
Pulled down update to WALA
|
2015-10-15 11:58:34 +02:00 |
Achim D. Brucker
|
336f17c34e
|
Fixed markup.
|
2015-10-15 10:59:12 +02:00 |
Achim D. Brucker
|
c31c7a1c9c
|
Fixed markup.
|
2015-10-15 10:57:06 +02:00 |
Achim D. Brucker
|
b04938a25c
|
Added GUI stub.
|
2015-10-15 10:53:28 +02:00 |
Achim D. Brucker
|
e920bc07a5
|
Upgraded tycho version to match WALA's setup.
|
2015-10-15 10:36:26 +02:00 |
Achim D. Brucker
|
5eb4874616
|
Updated readme to reflect switch to new 'import as Maven project' setup.
|
2015-10-15 10:34:37 +02:00 |
Achim D. Brucker
|
f5f40d95c4
|
Updated m2e lifecycle configuration.
|
2015-10-15 08:45:22 +02:00 |
Achim D. Brucker
|
92ebaebcc3
|
Moved wala version property to parent pom.xml.
|
2015-10-15 08:00:56 +02:00 |