Menu
▾
▴
dlvhex-notify — dlvhex commit messages
You can subscribe to this list here.
| 2008 |
Jan
(148) |
Feb
(176) |
Mar
(16) |
Apr
(55) |
May
(39) |
Jun
(5) |
Jul
(31) |
Aug
(10) |
Sep
|
Oct
(3) |
Nov
(9) |
Dec
(20) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2009 |
Jan
(24) |
Feb
(12) |
Mar
(6) |
Apr
(3) |
May
(2) |
Jun
(10) |
Jul
(42) |
Aug
(24) |
Sep
(12) |
Oct
(6) |
Nov
(16) |
Dec
(66) |
| 2010 |
Jan
(85) |
Feb
(54) |
Mar
(42) |
Apr
(78) |
May
(12) |
Jun
(137) |
Jul
(120) |
Aug
(27) |
Sep
(43) |
Oct
(44) |
Nov
(101) |
Dec
(33) |
| 2011 |
Jan
(86) |
Feb
(86) |
Mar
(98) |
Apr
(87) |
May
(34) |
Jun
(36) |
Jul
(84) |
Aug
(49) |
Sep
(54) |
Oct
(25) |
Nov
(24) |
Dec
(80) |
| 2012 |
Jan
(207) |
Feb
(85) |
Mar
(144) |
Apr
(73) |
May
(136) |
Jun
(34) |
Jul
(49) |
Aug
(67) |
Sep
(68) |
Oct
(56) |
Nov
(43) |
Dec
(30) |
| 2013 |
Jan
(90) |
Feb
(24) |
Mar
(47) |
Apr
(63) |
May
(31) |
Jun
(21) |
Jul
(3) |
Aug
(35) |
Sep
(1) |
Oct
(12) |
Nov
(29) |
Dec
(31) |
| 2014 |
Jan
(89) |
Feb
(61) |
Mar
(96) |
Apr
(6) |
May
(8) |
Jun
(2) |
Jul
(26) |
Aug
(12) |
Sep
(46) |
Oct
(1) |
Nov
(38) |
Dec
(12) |
| 2015 |
Jan
(50) |
Feb
(15) |
Mar
(124) |
Apr
(68) |
May
(27) |
Jun
(7) |
Jul
(23) |
Aug
(3) |
Sep
(18) |
Oct
(13) |
Nov
(16) |
Dec
(10) |
| 2016 |
Jan
(46) |
Feb
(26) |
Mar
(30) |
Apr
(30) |
May
(23) |
Jun
(1) |
Jul
(7) |
Aug
(4) |
Sep
(14) |
Oct
(12) |
Nov
(7) |
Dec
(4) |
| 2017 |
Jan
(49) |
Feb
(37) |
Mar
(1) |
Apr
(12) |
May
|
Jun
(6) |
Jul
(4) |
Aug
(4) |
Sep
(19) |
Oct
(5) |
Nov
(2) |
Dec
(3) |
| 2018 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
(4) |
Oct
(7) |
Nov
(11) |
Dec
|
| 2019 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
(5) |
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: tobiaskaminski <no...@gi...> - 2019-06-13 15:58:32
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 779c729baf74ca3fe1332873a8d22b11fd0c1813 https://github.com/hexhex/core/commit/779c729baf74ca3fe1332873a8d22b11fd0c1813 Author: Tobias Kaminski <tob...@gm...> Date: 2019-06-13 (Thu, 13 Jun 2019) Changed paths: M benchmarks/stratcomp-deppruning/generate_instances.py M testsuite/plugin.py Log Message: ----------- stratcomp benchmark changes |
|
From: tobiaskaminski <no...@gi...> - 2019-06-12 14:54:57
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 2af98843d6d1db3c37e1003f5e680b4b36e22c23 https://github.com/hexhex/core/commit/2af98843d6d1db3c37e1003f5e680b4b36e22c23 Author: Tobias Kaminski <tob...@gm...> Date: 2019-06-12 (Wed, 12 Jun 2019) Changed paths: M benchmarks/stratcomp-deppruning/generate_instances.py Log Message: ----------- fix |
|
From: tobiaskaminski <no...@gi...> - 2019-06-12 14:52:26
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 80aef96ccc85f1d0baa1c02db4feef32a3c07079 https://github.com/hexhex/core/commit/80aef96ccc85f1d0baa1c02db4feef32a3c07079 Author: Tobias Kaminski <tob...@gm...> Date: 2019-06-12 (Wed, 12 Jun 2019) Changed paths: M testsuite/plugin.py Log Message: ----------- added plugin |
|
From: tobiaskaminski <no...@gi...> - 2019-06-12 14:48:53
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 3b543275005f19562b5c1b0d262615cb8205c778 https://github.com/hexhex/core/commit/3b543275005f19562b5c1b0d262615cb8205c778 Author: Tobias Kaminski <tob...@gm...> Date: 2019-06-12 (Wed, 12 Jun 2019) Changed paths: A benchmarks/stratcomp-deppruning/generate_instances.py A benchmarks/stratcomp-deppruning/run.sh Log Message: ----------- added new strategic companies benchmark |
|
From: tobiaskaminski <no...@gi...> - 2019-06-12 09:15:46
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 60ab8ca2045face503af943d0f3c47722a187551 https://github.com/hexhex/core/commit/60ab8ca2045face503af943d0f3c47722a187551 Author: Tobias Kaminski <tob...@gm...> Date: 2019-06-12 (Wed, 12 Jun 2019) Changed paths: M testsuite/plugin.py Log Message: ----------- update plugin |
|
From: Tobias K. <tob...@gm...> - 2018-11-20 17:21:05
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 0a29c552c95a7d869c89d98957d8750cc4861180 https://github.com/hexhex/core/commit/0a29c552c95a7d869c89d98957d8750cc4861180 Author: Tobias Kaminski <tob...@gm...> Date: 2018-11-20 (Tue, 20 Nov 2018) Changed paths: M src/AnnotatedGroundProgram.cpp Log Message: ----------- fix **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-11-20 17:02:58
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 311f97d3749555c750c9fcaccc311e3e3fa218aa https://github.com/hexhex/core/commit/311f97d3749555c750c9fcaccc311e3e3fa218aa Author: Tobias Kaminski <tob...@gm...> Date: 2018-11-20 (Tue, 20 Nov 2018) Changed paths: M src/AnnotatedGroundProgram.cpp M testsuite/plugin.py Log Message: ----------- fixes **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-11-16 16:13:43
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 0a1d86cc60eb62194229fd164f2bec1704e047a5 https://github.com/hexhex/core/commit/0a1d86cc60eb62194229fd164f2bec1704e047a5 Author: Tobias Kaminski <tob...@gm...> Date: 2018-11-16 (Fri, 16 Nov 2018) Changed paths: M benchmarks/fair-division/fairdivision.hex M src/AnnotatedGroundProgram.cpp M src/ClaspSolver.cpp M src/ProgramCtx.cpp M src/dlvhex.cpp M testsuite/plugin.py Log Message: ----------- fixes **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-11-15 16:57:23
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 387c3200055c155f34c985b51663e13b8251b67c https://github.com/hexhex/core/commit/387c3200055c155f34c985b51663e13b8251b67c Author: Tobias Kaminski <tob...@gm...> Date: 2018-11-15 (Thu, 15 Nov 2018) Changed paths: M benchmarks/fair-division/fairdivision.hex M testsuite/plugin.py Log Message: ----------- fair division benchmark update **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-11-14 19:09:52
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: a2f5d1bc20431b198d22e6eb9d6591aadf43fef7 https://github.com/hexhex/core/commit/a2f5d1bc20431b198d22e6eb9d6591aadf43fef7 Author: Tobias Kaminski <tob...@gm...> Date: 2018-11-14 (Wed, 14 Nov 2018) Changed paths: M benchmarks/fair-division/fairdivision.hex M testsuite/plugin.py Log Message: ----------- update benchmark **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-11-14 18:14:37
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 4d45081efe7bf9e656301df206093a85bc0956fd https://github.com/hexhex/core/commit/4d45081efe7bf9e656301df206093a85bc0956fd Author: Tobias Kaminski <tob...@gm...> Date: 2018-11-14 (Wed, 14 Nov 2018) Changed paths: M benchmarks/fair-division/fairdivision.hex M benchmarks/fair-division/generateset.py M src/AnnotatedGroundProgram.cpp M testsuite/plugin.py Log Message: ----------- fixes **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-11-14 14:24:45
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: d2f46801e328b3d6eb8a0b3e1cde913890a2b086 https://github.com/hexhex/core/commit/d2f46801e328b3d6eb8a0b3e1cde913890a2b086 Author: Tobias Kaminski <tob...@gm...> Date: 2018-11-14 (Wed, 14 Nov 2018) Changed paths: M benchmarks/fair-division/fairdivision.hex M testsuite/plugin.py Log Message: ----------- fixes **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-11-14 13:52:06
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 2bd53c4dd54d85b270e96756dca2300f6ae642b8 https://github.com/hexhex/core/commit/2bd53c4dd54d85b270e96756dca2300f6ae642b8 Author: Tobias Kaminski <tob...@gm...> Date: 2018-11-14 (Wed, 14 Nov 2018) Changed paths: M src/ExternalAtomEvaluationHeuristics.cpp Log Message: ----------- fix **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-11-14 13:50:20
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: e1af917500a25a3eaec77efa28e8514d33615fa9 https://github.com/hexhex/core/commit/e1af917500a25a3eaec77efa28e8514d33615fa9 Author: Tobias Kaminski <tob...@gm...> Date: 2018-11-14 (Wed, 14 Nov 2018) Changed paths: A benchmarks/fair-division/fairdivision.hex A benchmarks/fair-division/generateset.py A benchmarks/fair-division/run.sh M include/dlvhex2/ExtSourceProperties.h M src/AnnotatedGroundProgram.cpp M src/ExternalAtomEvaluationHeuristics.cpp M testsuite/plugin.py Log Message: ----------- bug fixes and fair division benchmark **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-11-09 16:27:00
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 60e6ecdafdfa57893702e8fec05592eebd93f6d0 https://github.com/hexhex/core/commit/60e6ecdafdfa57893702e8fec05592eebd93f6d0 Author: Tobias Kaminski <tob...@gm...> Date: 2018-11-09 (Fri, 09 Nov 2018) Changed paths: M src/ExternalAtomEvaluationHeuristics.cpp Log Message: ----------- small fix **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-11-09 15:56:45
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 65b45ac5f296cf85275ca71c735420c9e9f8eb0f https://github.com/hexhex/core/commit/65b45ac5f296cf85275ca71c735420c9e9f8eb0f Author: Tobias Kaminski <tob...@gm...> Date: 2018-11-09 (Fri, 09 Nov 2018) Changed paths: M include/dlvhex2/ExternalAtomEvaluationHeuristics.h M include/dlvhex2/ExternalAtomEvaluationHeuristicsInterface.h M include/dlvhex2/GenuineGuessAndCheckModelGenerator.h M src/ExternalAtomEvaluationHeuristics.cpp M src/GenuineGuessAndCheckModelGenerator.cpp M src/ProgramCtx.cpp M src/dlvhex.cpp Log Message: ----------- add dynamic external atom evaluation heuristics **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-10-22 18:21:36
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: cd689090a5f2c5d5ed514577e7aef324da294531 https://github.com/hexhex/core/commit/cd689090a5f2c5d5ed514577e7aef324da294531 Author: Tobias Kaminski <tob...@gm...> Date: 2018-10-22 (Mon, 22 Oct 2018) Changed paths: M benchmarks/reach-adjacent/generate.sh Log Message: ----------- fix **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-10-22 18:21:10
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 78607f562da9918097d06d53bff7c06a58de9c3a https://github.com/hexhex/core/commit/78607f562da9918097d06d53bff7c06a58de9c3a Author: Tobias Kaminski <tob...@gm...> Date: 2018-10-22 (Mon, 22 Oct 2018) Changed paths: M benchmarks/reach-adjacent/generate.sh Log Message: ----------- fix **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-10-19 11:32:49
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: a0a5258b8fbdc6de7d531a5c7091fa36df738963 https://github.com/hexhex/core/commit/a0a5258b8fbdc6de7d531a5c7091fa36df738963 Author: Tobias Kaminski <tob...@gm...> Date: 2018-10-19 (Fri, 19 Oct 2018) Changed paths: M src/ExtSourceProperties.cpp Log Message: ----------- missing file **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-10-19 11:10:09
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 9d1fb337009b99c7d7426073f784fa2919ad1372 https://github.com/hexhex/core/commit/9d1fb337009b99c7d7426073f784fa2919ad1372 Author: Tobias Kaminski <tob...@gm...> Date: 2018-10-19 (Fri, 19 Oct 2018) Changed paths: M benchmarks/reach-adjacent/generate_inst.sh Log Message: ----------- fix **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-10-19 11:04:34
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 182f532cd318bb2d561e7f3e64608d204f9fb815 https://github.com/hexhex/core/commit/182f532cd318bb2d561e7f3e64608d204f9fb815 Author: Tobias Kaminski <tob...@gm...> Date: 2018-10-19 (Fri, 19 Oct 2018) Changed paths: M benchmarks/reach-adjacent/generateset.sh Log Message: ----------- fix **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-10-19 10:25:31
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 0375a3e6f76230d65ba3cdb55d46e632865dcfcc https://github.com/hexhex/core/commit/0375a3e6f76230d65ba3cdb55d46e632865dcfcc Author: Tobias Kaminski <tob...@gm...> Date: 2018-10-19 (Fri, 19 Oct 2018) Changed paths: M testsuite/plugin.py Log Message: ----------- small fix **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-10-19 10:12:22
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: d09ce502b3bc62b5643c6aeadbb13693dbcd73c1 https://github.com/hexhex/core/commit/d09ce502b3bc62b5643c6aeadbb13693dbcd73c1 Author: Tobias Kaminski <tob...@gm...> Date: 2018-10-19 (Fri, 19 Oct 2018) Changed paths: A benchmarks/reach-adjacent/generate.sh A benchmarks/reach-adjacent/generate_inst.sh A benchmarks/reach-adjacent/generateset.sh A benchmarks/reach-adjacent/run.sh M include/dlvhex2/ExtSourceProperties.h M include/dlvhex2/PluginInterface.h M src/AnnotatedGroundProgram.cpp M src/PluginInterface.cpp M src/ProgramCtx.cpp M src/PythonPlugin.cpp M src/dlvhex.cpp M testsuite/plugin.py Log Message: ----------- add compliance check for pruning the dependency graph of the UFS check Commit: f21f193ee4580a3f8f8caafa1afd7bda53052318 https://github.com/hexhex/core/commit/f21f193ee4580a3f8f8caafa1afd7bda53052318 Author: Tobias Kaminski <tob...@gm...> Date: 2018-10-19 (Fri, 19 Oct 2018) Changed paths: M benchmarks/non3col-inlining/run.sh M dlvhex-common M testsuite/TestPlugin.cpp Log Message: ----------- Merge branch 'master' of https://github.com/hexhex/core Compare: https://github.com/hexhex/core/compare/5a1ee06dad4e...f21f193ee458 **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Christoph R. <re...@kr...> - 2018-09-18 16:59:08
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 8ad6a83ccac3be09deb12ffb253999e6448c9d18 https://github.com/hexhex/core/commit/8ad6a83ccac3be09deb12ffb253999e6448c9d18 Author: Christoph Redl <re...@kr...> Date: 2018-02-18 (Sun, 18 Feb 2018) Changed paths: M benchmarks/non3col-inlining/run.sh Log Message: ----------- fix in benchmarks Commit: f29293672c4b63cb08c19a3d0113c4c3acb57b5f https://github.com/hexhex/core/commit/f29293672c4b63cb08c19a3d0113c4c3acb57b5f Author: Christoph Redl <re...@kr...> Date: 2018-09-18 (Tue, 18 Sep 2018) Changed paths: A benchmarks/setminus-incremental/generate_instance.sh A benchmarks/setminus-incremental/generate_set.sh A benchmarks/setminus-incremental/run.sh A benchmarks/setminus-incremental/setminus.hex M dlvhex-common M include/dlvhex2/ExtSourceProperties.h M src/AnnotatedGroundProgram.cpp M src/ExtSourceProperties.cpp M src/ProgramCtx.cpp M src/PythonPlugin.cpp M src/dlvhex.cpp M testsuite/plugin.py Log Message: ----------- Merge branch 'master' of https://github.com/hexhex/core Commit: 5a1ee06dad4e095477f93ab0198bf617fcafb8b6 https://github.com/hexhex/core/commit/5a1ee06dad4e095477f93ab0198bf617fcafb8b6 Author: Christoph Redl <re...@kr...> Date: 2018-09-18 (Tue, 18 Sep 2018) Changed paths: M dlvhex-common M testsuite/TestPlugin.cpp Log Message: ----------- fix in TestPlugin Compare: https://github.com/hexhex/core/compare/67547b1b1b23...5a1ee06dad4e **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
|
From: Tobias K. <tob...@gm...> - 2018-09-13 10:00:55
|
Branch: refs/heads/master Home: https://github.com/hexhex/core Commit: 67547b1b1b23c9061a5f79160ba1d67639caaf8a https://github.com/hexhex/core/commit/67547b1b1b23c9061a5f79160ba1d67639caaf8a Author: Tobias Kaminski <tob...@gm...> Date: 2018-09-13 (Thu, 13 Sep 2018) Changed paths: M benchmarks/setminus-incremental/generate_instance.sh M benchmarks/setminus-incremental/generate_set.sh M benchmarks/setminus-incremental/run.sh Log Message: ----------- fix **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. |
1 message has been excluded from this view by a project administrator.
