Commit Graph

324 Commits

Author SHA1 Message Date
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
Achim D. Brucker caf911135d Ignore maven lifcycle errors. 2015-10-14 23:05:55 +02:00
Achim D. Brucker 33ff66898d Added dependency to the crosslanguage package. 2015-10-14 23:05:26 +02:00