Skip to main content
swh:1:snp:5c81b35c32cd128e955f4da753d99c09557a4451
sort by:
RevisionAuthorDateMessageCommit Date
79246c2 Lonca Emmanuel18 January 2017, 15:04:56 UTCfixed a memory leak ; sat-based solvers are now passed using smart pointers18 January 2017, 15:04:56 UTC
0072bd6 Lonca Emmanuel18 January 2017, 14:31:11 UTCcorrected a memory leak18 January 2017, 14:31:11 UTC
2b8af2a Lonca Emmanuel18 January 2017, 13:56:55 UTCsome old pointers replaced by smart ones18 January 2017, 13:56:55 UTC
e75d61f Lonca Emmanuel18 January 2017, 12:07:07 UTCmade old-school pointers smart ones for parsers18 January 2017, 12:07:07 UTC
01dcdf0 Lonca Emmanuel11 January 2017, 16:22:16 UTCimplemented "Dung's triathlon"11 January 2017, 16:22:16 UTC
e14fba0 Lonca Emmanuel11 January 2017, 15:17:30 UTCadded graph-based grounded extension computer11 January 2017, 15:17:30 UTC
21a4b22 Lonca Emmanuel11 January 2017, 14:05:55 UTCadded a varMap getter to Attacks class11 January 2017, 14:05:55 UTC
62aa087 Lonca Emmanuel09 January 2017, 15:09:04 UTCremoved useless files09 January 2017, 15:09:04 UTC
9a37eaf Lonca Emmanuel09 January 2017, 14:55:46 UTCremoved useless files09 January 2017, 14:55:46 UTC
053dfb3 Lonca Emmanuel09 January 2017, 14:51:28 UTCimproved error message09 January 2017, 14:51:28 UTC
ef52d54 Lonca Emmanuel03 January 2017, 14:00:52 UTC(beta) STG semantics solver is now built on top of an MSS solver03 January 2017, 14:00:52 UTC
73950ec Lonca Emmanuel15 December 2016, 14:53:29 UTCcommited missing Makefile.am update15 December 2016, 14:53:29 UTC
f2a8e80 Lonca Emmanuel15 December 2016, 12:29:52 UTCSST solvers now use coMss-based solvers15 December 2016, 12:29:52 UTC
2db5094 Lonca Emmanuel15 December 2016, 12:27:55 UTCfixed a bug in aux. method of lbx solver ; this bug had no effect until now15 December 2016, 12:27:55 UTC
0a1d581 Lonca Emmanuel15 December 2016, 09:53:53 UTCimplemented lbx external solving and linked it as default coMss solver15 December 2016, 09:53:53 UTC
73db5e7 Emmanuel Lonca14 December 2016, 14:11:28 UTCadded unterminated lbx-based solver class14 December 2016, 14:11:28 UTC
0dc5060 Emmanuel Lonca09 December 2016, 13:56:44 UTCimproved external coMss solver handling09 December 2016, 13:56:44 UTC
0946e36 Emmanuel Lonca09 December 2016, 13:55:16 UTCupdated mails in credits09 December 2016, 13:55:16 UTC
b835107 Lonca Emmanuel09 December 2016, 10:12:40 UTCprepared handling of different external coMss solver outputs09 December 2016, 10:12:40 UTC
01d2b0d Lonca Emmanuel09 December 2016, 10:11:54 UTCfixed some undefined behaviour in comssExtractor09 December 2016, 10:11:54 UTC
3ae4abb Lonca Emmanuel09 December 2016, 10:06:01 UTCfixed meaningless warning on clang09 December 2016, 10:06:01 UTC
91b1900 Lonca Emmanuel09 December 2016, 10:00:26 UTCfixed meaningless warning on clang09 December 2016, 10:00:26 UTC
eb27420 Lonca Emmanuel09 December 2016, 09:56:00 UTCfixed a warning considered as an error by some compilers09 December 2016, 09:56:00 UTC
8de4d0e Lonca Emmanuel07 December 2016, 15:14:43 UTCsome refactoring07 December 2016, 15:14:43 UTC
6d2f9f2 Lonca Emmanuel07 December 2016, 14:40:01 UTCcomputeOneX functions now return a boolean indicated whether a X has been found or not07 December 2016, 14:40:01 UTC
c7412ed Lonca Emmanuel07 December 2016, 14:28:13 UTCcomssExtractor now returns a boolean indicating whether hard part is satifiable or not07 December 2016, 14:28:13 UTC
1ad1524 Lonca Emmanuel07 December 2016, 14:26:53 UTCfixed an error message07 December 2016, 14:26:53 UTC
a4a533a Lonca Emmanuel07 December 2016, 09:41:16 UTCfixed a bug that made ideal semantics solver incorrect07 December 2016, 09:41:16 UTC
e6a715c Lonca Emmanuel07 December 2016, 09:40:33 UTCdeactivated coMss extractor as it is buggy when applied to ideal semantics07 December 2016, 09:40:33 UTC
0b20b09 Lonca Emmanuel07 December 2016, 09:08:00 UTCfixed a bug that made SST solver incorrect07 December 2016, 09:08:00 UTC
c4055da Lonca Emmanuel07 December 2016, 08:36:39 UTCremoved throw instruction by a display-message-and-exit block07 December 2016, 08:36:39 UTC
b6ece94 Lonca Emmanuel06 December 2016, 13:42:51 UTCfixed a bug that made solvers return wrong solutions when they are used more than once06 December 2016, 13:42:51 UTC
65437ca Lonca Emmanuel06 December 2016, 13:42:22 UTCadded missing class related to ideal semantics06 December 2016, 13:42:22 UTC
7a6c51d Lonca Emmanuel06 December 2016, 13:13:05 UTCadded ideal semantics06 December 2016, 13:13:05 UTC
f214f7e Lonca Emmanuel06 December 2016, 11:02:59 UTCmade MSS solvers use selectors (see last commit)06 December 2016, 11:02:59 UTC
144eaa5 Lonca Emmanuel06 December 2016, 10:54:22 UTCSAT solvers are now able to accept clauses with selectors. Fixed enumeration processes using those selectors in order to make the original formula equivalent as the one before the enumeration process.06 December 2016, 10:54:22 UTC
20ebcda Lonca Emmanuel06 December 2016, 08:13:03 UTCfixed some minor issues in error messages06 December 2016, 08:13:03 UTC
2ba25c0 Lonca Emmanuel05 December 2016, 15:48:45 UTCimplemented stage semantics05 December 2016, 15:48:45 UTC
2fce3d9 Lonca Emmanuel05 December 2016, 13:26:02 UTCimplemented Semistable semantics using (only external at this time) MaxSAT05 December 2016, 13:26:02 UTC
ae890d3 Lonca Emmanuel05 December 2016, 09:14:40 UTCremoved trailing debug messages05 December 2016, 09:14:40 UTC
258e5de Lonca Emmanuel01 December 2016, 13:40:49 UTCsome refactoring01 December 2016, 13:40:49 UTC
5aa0cca Lonca Emmanuel01 September 2016, 12:27:00 UTCadded .gitignore01 September 2016, 12:27:00 UTC
6997469 Lonca Emmanuel01 September 2016, 12:06:07 UTCadded to API an argumentation solver that launches portfolio of other argumentation solvers01 September 2016, 12:06:07 UTC
39e0f53 Lonca Emmanuel31 August 2016, 08:15:56 UTCset namespaces properly31 August 2016, 08:15:56 UTC
716557b Lonca Emmanuel23 August 2016, 13:06:25 UTCadded CoQuiAAS v2.023 August 2016, 13:06:25 UTC
back to top