Gráfico de commits

326 Commits

Autor SHA1 Mensaje Fecha
Achim D. Brucker 0ab7252e28 Include test binaries and test resources in jar for com.logicalhacking.dasca.crosslanguage.test. 2019-02-21 12:45:22 +00:00
Achim D. Brucker 54ba628226 Enabled artifact publishing. 2019-01-30 06:18:08 +00:00
Achim D. Brucker df3237bc28 Upgraded spray. 2018-11-09 19:55:16 +00:00
Achim D. Brucker 333ed62072 Improved handling of Android framework archive (in particualr for Eclipse). 2018-11-02 00:04:15 +00:00
Achim D. Brucker 66491c6295 Added Eclipse plugin. 2018-11-01 09:17:58 +00:00
Achim D. Brucker ffbae33074 Moved Android SDK download into main crosslanguage project. 2018-10-31 06:54:47 +00:00
Achim D. Brucker c858332176 Migrated to EPL 2.0. 2018-10-30 00:09:20 +00:00
Achim D. Brucker 38dab422e6 Added note about CVC3. 2018-10-29 12:25:50 +00:00
Achim D. Brucker 72d399bfe1 Updated Eclipse installation instructions. 2018-10-29 12:21:39 +00:00
Achim D. Brucker 6a11a14b73 Updated configuration instructions. 2018-10-29 11:44:25 +00:00
Achim D. Brucker 00242dd2fc Copy main.config.in to main.config, if it does not exist. 2018-10-29 11:42:54 +00:00
Achim D. Brucker fb1927fcc0 Marked WALA configuration 'optional'. 2018-10-29 11:32:29 +00:00
Achim D. Brucker 4865370393 Updated name and location of configuration file. 2018-10-29 11:31:58 +00:00
Achim D. Brucker bbeb513690 Upgraded to WALA 1.5.1.S.DASCA.1.0.0. 2018-10-29 08:50:46 +00:00
Achim D. Brucker 2808afda0d Updated submodule. 2018-10-28 08:33:59 +00:00
Achim D. Brucker 0674e6abdb Added master repository URL. 2018-10-28 08:33:27 +00:00
Achim D. Brucker 937a36aad1 Updated pre-requistes. 2018-10-28 08:32:38 +00:00
Achim D. Brucker 04a443be22 Updated submodule. 2018-10-28 00:11:20 +01:00
Achim D. Brucker cf52314aed Removed JUnit Eclipse launcher. 2018-10-28 00:11:05 +01:00
Achim D. Brucker 4e325801cf Cleanup of classpath. 2018-10-28 00:08:36 +01:00
Achim D. Brucker 5022078a80 Updated Eclipse import instructions. 2018-10-28 00:01:02 +01:00
Achim D. Brucker 210f2bae92 Integrated confidential test cases. 2018-10-27 23:40:26 +01:00
Achim D. Brucker af0a55f49a Enabled optional inclusion of confidential test cases. 2018-10-27 21:36:40 +01:00
Achim D. Brucker 2911969097 Updated documentation to reflect switch to gradle. 2018-10-27 21:36:03 +01:00
Achim D. Brucker cee54c801c Integrated extraction of android.jar from Android SDK based on the implementation of the WALA gradle setup. 2018-10-27 21:35:20 +01:00
Achim D. Brucker 8d8b7e04e3 File hierarchy refactoring. 2018-10-27 16:19:07 +01:00
Achim D. Brucker de8e087e0e Updated maven repository URL. 2018-10-27 16:01:34 +01:00
Achim D. Brucker afd08d989f Updated test version for WALA. 2018-10-27 16:01:17 +01:00
Achim D. Brucker ca16ede2f7 Enable stable publishing. 2018-10-27 15:35:43 +01:00
Achim D. Brucker 417d93ecb1 Updated WALA version. 2018-10-27 14:11:50 +01:00
Achim D. Brucker 2065fec897 Removed local repositories. 2018-10-27 14:11:25 +01:00
Achim D. Brucker d51055e0cc Use libcvc3 from artifacts.logicalhacking.com. 2018-10-27 14:07:38 +01:00
Achim D. Brucker 9cf9120a10 Deleted libs directory. 2018-10-27 13:53:03 +01:00
Achim D. Brucker 297e187cf0 Added artifacts.logicalhacking.com as maven repository. 2018-10-27 12:02:19 +01:00
Achim D. Brucker b6cb4a9afc Use gradle property for WALA version in dependencies. 2018-10-27 12:01:55 +01:00
Achim D. Brucker 9b004207b2 Updated cloning instructions. 2018-10-26 23:01:13 +01:00
Achim D. Brucker 41748b3c54 Removed Eclipse launchers for unit tests. 2018-10-26 22:54:40 +01:00
Achim D. Brucker 390662891c Removed WALA submodule. 2018-10-26 22:53:45 +01:00
Achim D. Brucker 6137968cd1 Cleanup: dependencies. 2018-10-26 21:33:08 +01:00
Achim D. Brucker e274698e17 Ignore cache directories. 2018-10-26 21:32:31 +01:00
Achim D. Brucker 19f5d7920a Fixed dependencies. 2018-10-26 13:06:32 +01:00
Achim D. Brucker 681d9d59e5 Moved depedencies into implementation group. 2018-10-26 13:06:14 +01:00
Achim D. Brucker 624decf575 Renamed Tag to Tags. 2018-10-25 21:54:28 +01:00
Achim D. Brucker 4f7c07ac40 Update to latest WALA. 2018-10-25 21:52:51 +01:00
Achim D. Brucker 2115640ff3 Reorganized file hierarchy to match expectations of gradle. 2018-10-25 21:52:21 +01:00
Achim D. Brucker 64193d9195 Removed outdated maven build.xml. 2018-10-25 15:32:16 +01:00
Achim D. Brucker 465a3cf0f1 Integrated JUnit tests into gradle build. 2018-10-25 15:30:10 +01:00
Achim D. Brucker e3001f8402 Ad-hoc fix of Java classpath (include Eclipse-related dependencies). 2018-10-23 23:12:04 +01:00
Achim D. Brucker 07ad780011 Java runtime configuration is usually not required. 2018-10-23 23:11:29 +01:00
Achim D. Brucker 925ec9c437 Upgrade to latest WALA version. 2018-10-23 21:30:39 +01:00