-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathChangeLog
112 lines (66 loc) · 3.06 KB
/
ChangeLog
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
2012-04-29 Peter Schueller <[email protected]>
* src/Makefile.am: Remove static compilation test
that does not work with clasp/gringo.
2012-03-11 Peter Schueller <[email protected]>
Release version 2.0.0.
2012-02-16 Sabine Laszakovits <[email protected]>
Porting to dlvhex 2.0.0 (see NEWS).
2010-10-11 Thomas Krennwallner <[email protected]>
* NEWS: Fix content.
* configure.ac: Bump version to 1.7.1.
* m4/boost.m4: Merged with dlvhex trunk.
2010-06-22 Thomas Krennwallner <[email protected]>
Release version 1.7.0.
2010-06-15 Thomas Krennwallner <[email protected]>
* configure.ac (BOOST_REQUIRE): Require boost >= 1.41.
2010-06-14 Thomas Krennwallner <[email protected]>
* m4/boost.m4: Updating to version currently used in dlvhex trunk.
* configure.ac (AC_PREREQ): Require autoconf >= 2.61.
(AC_INIT): Bump version to 1.7.0.
2010-04-24 Thomas Krennwallner <[email protected]>
* NEWS: Fix content.
2010-04-23 Thomas Krennwallner <[email protected]>
* testsuite/Makefile.am (AUTOMAKE_OPTIONS): Remove.
* src/Makefile.am: Likewise.
* include/Makefile.am: Likewise.
* Makefile.am (AUTOMAKE_OPTIONS): Use gnu instead of foreign.
2009-09-23 Thomas Krennwallner <[email protected]>
* m4/boost.m4: Fix for autoconf 2.64 (see also
http://lists.gnu.org/archive/html/bug-autoconf/2009-08/msg00054.html).
2009-08-24 Peter Schueller <[email protected]>
* m4/boost.m4: Updating to version currently used in dlvhex trunk.
2008-02-12 Thomas Krennwallner <[email protected]>
* doxygen.cfg: Update doxygen configuration via doxygen -u.
Extract static and private members.
* configure.ac: Integrate new boost searching macros.
Create doxygen documentation in the doc directory.
* src/Makefile.am: Likewise.
* m4/boost.m4: Use boost.m4 from http://repo.or.cz/w/boost.m4.git.
2008-01-27 Thomas Krennwallner <[email protected]>
* src/AggPluginInterface.cpp: Set plugin name.
2008-01-09 Thomas Krennwallner <[email protected]>
* src/AggPluginInterface.cpp: Adapt to new dlvhex plugin API.
* include/AggPluginInterface.h: Likewise.
* m4/boost.m4: New file.
* configure.ac: Bump version to 0.2.0.
Fix boost searching.
* bootstrap.sh: Use autoreconf.
2007-07-19 Roman Schindlauer <[email protected]>
* bootstrap.sh: Fixed inclusion of m4 folder.
* include/AggPluginInterface.h: Removed hardcoded "mask" id.
* src/AggPluginInterface.cpp (MASKTERM), (projectInput): Likewise.
* testsuite/run-dlvhex-tests.sh: Fixed plugin lib path.
2007-07-18 Roman Schindlauer <[email protected]>
* include/AggPluginInterface.h: Added min, max.
* src/AggPluginInterface.cpp (AggAtom), (getAtoms): Likewise.
* testsuite/Makefile.am: Added testfiles.
* testsuite/aggregates.test: Likewise.
* testsuite/min1.hex: Added.
* testsuite/min1.out: Added.
* testsuite/min2.hex: Added.
* testsuite/min2.out: Added.
* testsuite/minmax1.hex: Added.
* testsuite/minmax1.out: Added.
* NEWS: Added info.
2007-07-17 Roman Schindlauer <[email protected]>
* testsuite/Makefile.am: Fixed testsuite bug.