4cc49c8 | Emmanuel Lonca | 11 March 2021, 13:44:28 UTC | [maven-release-plugin] prepare for next development iteration | 11 March 2021, 13:44:28 UTC |
43d4550 | Emmanuel Lonca | 11 March 2021, 13:44:22 UTC | [maven-release-plugin] prepare release fr.cril.rubens.pom-1.1.2 | 11 March 2021, 13:44:22 UTC |
e437b8e | Emmanuel Lonca | 11 March 2021, 13:43:38 UTC | rollbacked version numbers in POMs | 11 March 2021, 13:43:38 UTC |
920690e | Emmanuel Lonca | 11 March 2021, 13:41:44 UTC | updated CHANGELOG | 11 March 2021, 13:41:44 UTC |
84f0c41 | Emmanuel Lonca | 11 March 2021, 13:31:55 UTC | [maven-release-plugin] prepare for next development iteration | 11 March 2021, 13:31:55 UTC |
ece8c71 | Emmanuel Lonca | 11 March 2021, 13:31:50 UTC | [maven-release-plugin] prepare release fr.cril.rubens.pom-1.1.2 | 11 March 2021, 13:31:50 UTC |
9219e45 | Emmanuel Lonca | 11 March 2021, 10:39:27 UTC | some refactoring | 11 March 2021, 10:39:27 UTC |
eb2a1d4 | Emmanuel Lonca | 11 March 2021, 10:25:48 UTC | fixed a bug that could make the checker crash for dynamic acceptance queries | 11 March 2021, 10:25:48 UTC |
f43c63a | Emmanuel Lonca | 09 March 2021, 08:34:08 UTC | fixed a typo in changelog | 09 March 2021, 08:34:08 UTC |
8cda49e | Emmanuel Lonca | 08 March 2021, 18:36:00 UTC | [maven-release-plugin] prepare for next development iteration | 08 March 2021, 18:36:00 UTC |
ea7d41b | Emmanuel Lonca | 08 March 2021, 18:35:55 UTC | [maven-release-plugin] prepare release fr.cril.rubens.pom-1.1.1 | 08 March 2021, 18:35:55 UTC |
6ea43f9 | Emmanuel Lonca | 08 March 2021, 18:34:52 UTC | added CHANGELOG.md | 08 March 2021, 18:34:52 UTC |
0be5295 | Emmanuel Lonca | 08 March 2021, 16:58:47 UTC | updated maven plugins and migrated tests to junit5 | 08 March 2021, 16:58:47 UTC |
6074bff | Emmanuel Lonca | 08 March 2021, 08:41:55 UTC | updated maven plugins versions for java 14 | 08 March 2021, 08:41:55 UTC |
fa58ead | Emmanuel Lonca | 23 February 2021, 16:25:07 UTC | [maven-release-plugin] prepare for next development iteration | 23 February 2021, 16:25:07 UTC |
7cf0c47 | Emmanuel Lonca | 23 February 2021, 16:25:00 UTC | [maven-release-plugin] prepare release fr.cril.rubens.pom-1.1.0 | 23 February 2021, 16:25:00 UTC |
bff2da7 | Emmanuel Lonca | 23 February 2021, 16:22:50 UTC | Merge branch 'master' of https://github.com/crillab/rubens | 23 February 2021, 16:22:50 UTC |
08c373e | Emmanuel Lonca | 23 February 2021, 16:15:08 UTC | added more unit tests | 23 February 2021, 16:15:08 UTC |
402b011 | Emmanuel Lonca | 23 February 2021, 15:54:42 UTC | [maven-release-plugin] prepare release fr.cril.rubens.pom-1.1.0 | 23 February 2021, 15:54:42 UTC |
4693763 | Emmanuel Lonca | 23 February 2021, 15:52:25 UTC | [maven-release-plugin] prepare for next development iteration | 23 February 2021, 15:52:25 UTC |
7473b21 | Emmanuel Lonca | 23 February 2021, 15:52:17 UTC | [maven-release-plugin] prepare release fr.cril.rubens.pom-1.0.2 | 23 February 2021, 15:52:17 UTC |
c66d973 | Emmanuel Lonca | 23 February 2021, 15:45:02 UTC | updated README | 23 February 2021, 15:45:02 UTC |
cdf0c5d | Emmanuel Lonca | 23 February 2021, 15:29:58 UTC | bumped junit version to 4.13.1 | 23 February 2021, 15:29:58 UTC |
86d372c | Emmanuel Lonca | 23 February 2021, 15:25:58 UTC | implemented CE check for arg | 23 February 2021, 15:25:58 UTC |
b579263 | Emmanuel Lonca | 03 July 2019, 09:07:15 UTC | [maven-release-plugin] prepare for next development iteration | 03 July 2019, 09:07:15 UTC |
993d73f | Emmanuel Lonca | 03 July 2019, 09:07:08 UTC | [maven-release-plugin] prepare release fr.cril.rubens.pom-1.0.1 | 03 July 2019, 09:07:08 UTC |
72e40ad | Emmanuel Lonca | 03 July 2019, 08:33:34 UTC | fixed license/LICENSE name clash | 03 July 2019, 08:33:34 UTC |
4fb396b | Emmanuel Lonca | 03 July 2019, 08:32:42 UTC | fixed a bug that made tests not pass on non-Unix systems | 03 July 2019, 08:32:42 UTC |
7fd9969 | Emmanuel Lonca | 20 June 2019, 12:12:19 UTC | [maven-release-plugin] prepare for next development iteration | 20 June 2019, 12:12:19 UTC |
79cd30c | Emmanuel Lonca | 20 June 2019, 12:11:54 UTC | [maven-release-plugin] prepare release fr.cril.rubens.pom-1.0.0 | 20 June 2019, 12:11:54 UTC |
6561d8c | Emmanuel Lonca | 20 June 2019, 12:08:03 UTC | prepared POM for release | 20 June 2019, 12:08:03 UTC |
c62642b | Emmanuel Lonca | 19 June 2019, 14:12:39 UTC | updated README | 19 June 2019, 14:12:39 UTC |
d7a3929 | Emmanuel Lonca | 19 June 2019, 14:08:12 UTC | some refactoring | 19 June 2019, 14:08:12 UTC |
4bb62db | Emmanuel Lonca | 19 June 2019, 09:22:21 UTC | improved unit tests | 19 June 2019, 09:22:21 UTC |
91540be | Emmanuel Lonca | 19 June 2019, 07:19:41 UTC | updated .travis.yml | 19 June 2019, 07:19:41 UTC |
3c7432d | Emmanuel Lonca | 18 June 2019, 13:32:55 UTC | updated .travis.yml | 18 June 2019, 13:32:55 UTC |
7d12172 | Emmanuel Lonca | 18 June 2019, 13:21:00 UTC | added missing sonar config file | 18 June 2019, 13:21:00 UTC |
782ccb2 | Emmanuel Lonca | 18 June 2019, 13:07:44 UTC | added .travis.yml | 18 June 2019, 13:07:44 UTC |
fe54cce | Emmanuel Lonca | 14 June 2019, 08:56:02 UTC | updated README.md | 14 June 2019, 08:56:02 UTC |
51f3da0 | Emmanuel Lonca | 14 June 2019, 08:55:44 UTC | prepared POM for release | 14 June 2019, 08:55:44 UTC |
def5075 | Emmanuel Lonca | 05 June 2019, 13:17:48 UTC | added missing javadoc for modules | 05 June 2019, 13:17:48 UTC |
c4f5726 | Emmanuel Lonca | 05 June 2019, 13:13:17 UTC | fixed javadoc generation | 05 June 2019, 13:13:17 UTC |
d6b524d | Emmanuel Lonca | 05 June 2019, 11:30:28 UTC | some refactoring | 05 June 2019, 11:30:28 UTC |
c8e0cac | Emmanuel Lonca | 05 June 2019, 11:18:58 UTC | added missing license headers in generator module | 05 June 2019, 11:18:58 UTC |
9f04095 | Emmanuel Lonca | 05 June 2019, 11:18:16 UTC | added missing license headers in checker module | 05 June 2019, 11:18:16 UTC |
fb5c881 | Emmanuel Lonca | 05 June 2019, 11:13:43 UTC | added missing license header in core module | 05 June 2019, 11:13:43 UTC |
2cf0369 | Emmanuel Lonca | 16 May 2019, 07:10:57 UTC | checker now exits when the provided executable path does not correspond to an executable regular file | 16 May 2019, 07:10:57 UTC |
8c23fe4 | Emmanuel Lonca | 15 May 2019, 12:34:42 UTC | removed trailing assert | 15 May 2019, 12:34:42 UTC |
7b54ef5 | Emmanuel Lonca | 15 May 2019, 09:33:18 UTC | improved efficency for CNF based generators | 15 May 2019, 09:33:18 UTC |
cc3621f | Emmanuel Lonca | 14 May 2019, 11:19:50 UTC | fixed an issue with hashCode/equals for d-DNNF | 14 May 2019, 11:19:50 UTC |
df533c2 | Emmanuel Lonca | 14 May 2019, 07:12:51 UTC | changed log messages display during compilation phase (was stressful) | 14 May 2019, 07:12:51 UTC |
efdbad4 | Emmanuel Lonca | 13 May 2019, 14:22:55 UTC | improved logging | 13 May 2019, 14:22:55 UTC |
a6a208b | Emmanuel Lonca | 13 May 2019, 12:47:40 UTC | updated license headers | 13 May 2019, 12:47:40 UTC |
cf07bed | Emmanuel Lonca | 13 May 2019, 11:37:18 UTC | added license on source files | 13 May 2019, 11:37:18 UTC |
8d575c1 | Emmanuel Lonca | 13 May 2019, 08:57:53 UTC | added license messages in apps | 13 May 2019, 08:57:53 UTC |
feb6b7a | Daniel Le Berre | 12 May 2019, 10:35:46 UTC | Add GNU GPL3.0 license | 12 May 2019, 10:35:46 UTC |
8a26f8b | Lonca Emmanuel | 10 May 2019, 10:08:28 UTC | Updated README.md | 10 May 2019, 10:08:28 UTC |
0dc71c5 | Emmanuel Lonca | 10 May 2019, 09:59:48 UTC | rebuilt option system to factor it between both apps ; updated README.md | 10 May 2019, 09:59:48 UTC |
731e4b0 | Emmanuel Lonca | 02 May 2019, 09:10:51 UTC | fixed a bug that made rubens crash when dDNNF OR nodes have a child with no models | 02 May 2019, 09:10:51 UTC |
5950615 | Emmanuel Lonca | 02 May 2019, 08:38:04 UTC | fixed a bug in dDNNF model enumeration in presence of free variables | 02 May 2019, 08:38:04 UTC |
0ab9efd | Emmanuel Lonca | 02 May 2019, 08:34:43 UTC | improved messages for syntax errors in dDNNF | 02 May 2019, 08:34:43 UTC |
4d9a631 | Emmanuel Lonca | 02 May 2019, 06:49:05 UTC | fixed help message for checker | 02 May 2019, 06:49:05 UTC |
59624b2 | Emmanuel Lonca | 30 April 2019, 14:45:36 UTC | added generators/checkers families | 30 April 2019, 14:45:36 UTC |
d76f05e | Emmanuel Lonca | 30 April 2019, 09:37:53 UTC | improved methods' local options handling | 30 April 2019, 09:37:53 UTC |
23935d5 | Emmanuel Lonca | 26 April 2019, 14:58:35 UTC | implemented checking for d-DNNF compilers | 26 April 2019, 14:58:35 UTC |
8bcdc26 | Emmanuel Lonca | 26 April 2019, 14:55:54 UTC | made CheckResult serializable to allow its use in serializable classes (like exceptions) | 26 April 2019, 14:55:54 UTC |
ced7c8c | Emmanuel Lonca | 09 April 2019, 14:44:50 UTC | implemented software checking for SAT and #SAT (as sharpSAT) problems | 09 April 2019, 14:44:50 UTC |
0aa81aa | Emmanuel Lonca | 09 April 2019, 14:43:27 UTC | fixed a bug that made no error appear when path to software to check was wrong | 09 April 2019, 14:43:27 UTC |
76f5d31 | Emmanuel Lonca | 01 March 2019, 10:02:12 UTC | some refactoring + added unit tests | 01 March 2019, 10:02:12 UTC |
d313a8b | Emmanuel Lonca | 26 February 2019, 14:10:40 UTC | fixed javadoc | 26 February 2019, 14:10:40 UTC |
43b4875 | Emmanuel Lonca | 26 February 2019, 11:10:06 UTC | added some unit tests for CNF module | 26 February 2019, 11:10:06 UTC |
97cda08 | Emmanuel Lonca | 26 February 2019, 10:27:19 UTC | fixed a bug in multithreaded environment | 26 February 2019, 10:27:19 UTC |
13ab564 | Emmanuel Lonca | 05 February 2019, 07:53:45 UTC | fixed a potential deadlock in checkers | 05 February 2019, 07:53:45 UTC |
a99d2ff | Emmanuel Lonca | 05 February 2019, 07:43:16 UTC | added a timeout of one minute per arg check | 05 February 2019, 07:43:16 UTC |
efa5cee | Emmanuel Lonca | 04 February 2019, 14:18:05 UTC | improved multithreading performances for arg checking | 04 February 2019, 14:18:05 UTC |
47960f1 | Emmanuel Lonca | 18 January 2019, 11:01:07 UTC | set allowed number of threads to system cores for multithreaded AF checkings | 18 January 2019, 11:01:07 UTC |
2143b6a | Emmanuel Lonca | 18 January 2019, 10:46:31 UTC | made order predictable for arg checks collections (2) | 18 January 2019, 10:46:31 UTC |
54393e7 | Emmanuel Lonca | 18 January 2019, 10:46:07 UTC | made order predictable for arg checks collections | 18 January 2019, 10:46:07 UTC |
03d6e22 | Emmanuel Lonca | 18 January 2019, 10:19:55 UTC | parallelized argumentation checker | 18 January 2019, 10:19:55 UTC |
e23a2ea | Emmanuel Lonca | 15 January 2019, 15:28:36 UTC | updated jacoco version to fix a bug with java 11 | 15 January 2019, 15:28:36 UTC |
dd46451 | Lonca Emmanuel | 10 January 2019, 08:29:54 UTC | fixed external AF solver partial output issue | 10 January 2019, 08:29:54 UTC |
fa6b147 | Lonca Emmanuel | 09 January 2019, 15:50:16 UTC | fixed some minor issues | 09 January 2019, 15:50:16 UTC |
bccf5ed | Lonca Emmanuel | 11 December 2018, 08:51:19 UTC | made some toString method results predictible | 11 December 2018, 08:51:19 UTC |
c2946a0 | Lonca Emmanuel | 10 December 2018, 16:23:52 UTC | added some unit tests | 10 December 2018, 16:23:52 UTC |
95c314e | Lonca Emmanuel | 10 December 2018, 16:00:10 UTC | implemented checkers for ICCMA19 dynamic tracks | 10 December 2018, 16:00:10 UTC |
c70a549 | Lonca Emmanuel | 10 December 2018, 14:52:43 UTC | added a decorator used to produce test generators for dynamic tracks from the ones used in "static" tracks | 10 December 2018, 14:52:43 UTC |
653d8dc | Lonca Emmanuel | 10 December 2018, 14:24:21 UTC | implemented datastructure for dynamic AFs | 10 December 2018, 14:24:21 UTC |
6fd9e03 | Lonca Emmanuel | 10 December 2018, 13:42:44 UTC | added an instance translator for attack removal (to use for dynamic instances) | 10 December 2018, 13:42:44 UTC |
c02fd32 | Lonca Emmanuel | 10 December 2018, 13:15:37 UTC | added missing annotations | 10 December 2018, 13:15:37 UTC |
7f224ac | Lonca Emmanuel | 10 December 2018, 13:12:09 UTC | updated decoders to handle dynamic tracks | 10 December 2018, 13:12:09 UTC |
f4bdd0f | Lonca Emmanuel | 05 December 2018, 13:43:25 UTC | some refactoring | 05 December 2018, 13:43:25 UTC |
52d06fc | Lonca Emmanuel | 05 December 2018, 13:32:15 UTC | grouped elementary arg checkers into a dedicated mother class | 05 December 2018, 13:32:15 UTC |
0f04818 | Lonca Emmanuel | 23 November 2018, 16:26:00 UTC | some refactoring plus some new unit tests | 23 November 2018, 16:26:00 UTC |
c0a2b0f | Lonca Emmanuel | 23 November 2018, 14:08:45 UTC | implemented ICCMA2019 output format reader and fixed some bugs | 23 November 2018, 14:08:45 UTC |
0e931b2 | Lonca Emmanuel | 22 November 2018, 16:23:48 UTC | implemented checker dedicated options | 22 November 2018, 16:23:48 UTC |
bd7f773 | Lonca Emmanuel | 22 November 2018, 16:22:47 UTC | added option handling for AF checkers, plus the selection of solver output decoders | 22 November 2018, 16:22:47 UTC |
aa416e1 | Lonca Emmanuel | 22 November 2018, 16:17:09 UTC | added handling of checker own options | 22 November 2018, 16:17:09 UTC |
0e38b6b | Lonca Emmanuel | 22 November 2018, 15:24:05 UTC | begun refactoring allownig to use different solver output decoders for argumentation solvers | 22 November 2018, 15:24:05 UTC |
1c4f29f | Lonca Emmanuel | 22 November 2018, 10:41:11 UTC | improved external software executor | 22 November 2018, 10:41:11 UTC |
17c45e4 | Lonca Emmanuel | 14 November 2018, 08:28:30 UTC | added some unit tests | 14 November 2018, 08:28:30 UTC |