-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathChangeLog
More file actions
132 lines (85 loc) · 4.13 KB
/
ChangeLog
File metadata and controls
132 lines (85 loc) · 4.13 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
2013-08-18 Peter Schueller <ps@kr.tuwien.ac.at>
Release 2.0.0.
2012-06-17 Peter Schueller <ps@kr.tuwien.ac.at>
Porting to dlvhex 2.0.0.
(Includes refactoring, integration of OPEQ branch, new saturation encoding,
and new conversions diagnoses <-> explanations.)
2011-03-19 xiriel TODO
Implementation of Saturation Encoding for calculating explanations.
2011-01-11 Peter Schueller <ps@kr.tuwien.ac.at>
* include/ContextInterfacePlugin.h: Workaround for clang issue (not sure
if gcc or clang bug). http://llvm.org/bugs/show_bug.cgi?id=8952
2010-10-03 Peter Schueller <ps@kr.tuwien.ac.at>
* include/BaseContextAtom.h: Fixing bug with hardcoded
input predicate names.
2010-10-03 Peter Schueller <ps@kr.tuwien.ac.at>
* include/BaseContextAtom.h: Fixing bug with hardcoded
input predicate names.
2010-10-13 Peter Schueller <ps@kr.tuwien.ac.at>
* examples/Makefile.am: Fixing warning in make distcheck for one testcase.
2010-08-25 Peter Schueller <ps@kr.tuwien.ac.at>
* src/OutputRewriter.cpp: Fixing bug with consistent systems
and explanations.
* examples/benchmark9/ddmeem_opeq.out: Fixing testcase.
* examples/benchmark9/em.out: Likewise.
* examples/benchmark9/e.out: Likewise.
* examples/benchmark10/ddmeem_opeq.out: Likewise.
* examples/benchmark10/em.out: Likewise.
* examples/benchmark10/e.out: Likewise.
* src/OutputRewriter.cpp: Fixing bug with multiple equilibria
and subset-minimal diagnoses, including new testcase.
* examples/medExample/master_plusloop.hex: Likewise.
* examples/medExample/plusloop_dmem_opeq.out: Likewise.
* examples/mcsequilibriumtests.test: Likewise.
2010-07-20 Peter Schueller <ps@kr.tuwien.ac.at>
* Installing headers required to create custom context plugins.
2010-07-17 Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Release version 1.7.1.
* configure.ac: Bump version to 1.7.1.
* NEWS: Describe changes of version 1.7.1.
2010-07-14 Peter Schueller <ps@kr.tuwien.ac.at>
* src/OutputRewriter.cpp: Updating to changed ASPSolver interface.
* src/DLV_ASP_ContextAtom.cpp: Likewise.
2010-07-07 Peter Schueller <ps@kr.tuwien.ac.at>
* src/OutputRewriter.cpp: Using new ASPSolver interface.
* src/DLV_ASP_ContextAtom.cpp: Likewise.
2010-06-25 Peter Schueller <ps@kr.tuwien.ac.at>
Release version 1.7.0.
* configure.ac: Canonicalized plugin name for packaging.
2010-06-24 Peter Schueller <ps@kr.tuwien.ac.at>
* src/Makefile.am: added so-version for library which is used by plugin
and additional context plugins.
* examples/Makefile.am: Not installing test libraries, but making them
dlopen-able modules.
* src/MCSdiagexplPlugin.cpp: Not enabling output rewriter if plugin not
enabled.
* include/InputParserDriver.h: Added possibility for parser debugging.
* configure.ac: Version number for release.
2010-06-23 Peter Schueller <ps@kr.tuwien.ac.at>
* src/EquilibriumPrintVisitor.cpp: Fixing equilibrium output bug
(contexts without output beliefs were missing in some cases).
* src/ParseContext.cpp: Likewise.
2010-06-21 Peter Schueller <ps@kr.tuwien.ac.at>
* include/Global.h: Added commandline option for enabling rewriters,
normalized names for plugin commandline options.
* include/MCSdiagexplPlugin.h: Likewise.
* src/MCSdiagexplPlugin.cpp: Likewise.
* src/Global.cpp: Likewise.
* examples/mcsequilibriumtests.test: Likewise.
* testsuite/Makefile.am: Allowing test specification to specify rewriting.
2010-06-16 Peter Schueller <ps@kr.tuwien.ac.at>
* testsuite/Makefile.am: Fixing absolute vs. relative paths.
* testsuite/run-dlvhex-tests.sh: Likewise.
* examples/Makefile.am: Distributing all files required for testing.
* examples/mcsequilibriumtests.test: Registered new testcases.
* examples/medExample/dmem_opeq.out: Likewise.
* examples/independent_inc1/dmem_opeq.out: Likewise.
2010-06-15 Thomas Krennwallner <tkren@kr.tuwien.ac.at>
* configure.ac (BOOST_REQUIRE): Require boost >= 1.41.
2010-05-03 Markus Boegl <markus.boegl@student.tuwien.ac.at>
Initial version.
2010-04-23 Thomas Krennwallner <tkren@kr.tuwien.ac.at>
* testsuite/Makefile.am (AUTOMAKE_OPTIONS): Remove.
* src/Makefile.am: Likewise.
* include/Makefile.am: Likewise.
* examples/Makefile.am: Likewise.