# |
Date |
Size |
|
Editor |
Comment |
Action |
- |
2011-07-13 16:59:52 |
934088 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.linux.20110713.beta |
view get |
- |
2011-07-13 16:54:59 |
1363390 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.win.20110713.static.beta.exe |
view get |
- |
2011-07-13 16:05:05 |
1332685 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.win.20110713.beta.exe |
view get |
89 |
2011-07-13 15:57:56 |
8656 |
to previous |
FrancescoCalimeri |
new RELEASE!!!! please check version history. |
view |
- |
2011-06-17 11:23:24 |
97784 |
- |
FrancescoCalimeri |
ATTNEW: ListAndSet.20100303.macOS.so |
view get |
- |
2011-06-17 11:23:13 |
97784 |
- |
FrancescoCalimeri |
ATTDEL: ListAndSet.20100303.macOS.so |
view get |
88 |
2011-06-17 11:14:53 |
8454 |
to previous |
FrancescoCalimeri |
add fixed macos version |
view |
- |
2011-06-17 11:13:06 |
1440368 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.mac.20100303.beta |
view get |
- |
2011-06-17 11:12:45 |
1440368 |
- |
FrancescoCalimeri |
ATTDEL: dl-complex.mac.20100303.beta |
view get |
87 |
2011-06-17 11:09:37 |
8351 |
to previous |
FrancescoCalimeri |
update built-in development kit |
view |
- |
2011-06-17 10:57:56 |
39264 |
- |
FrancescoCalimeri |
ATTNEW: for-mac-developers.tar.gz |
view get |
- |
2011-06-17 10:57:27 |
42785 |
- |
FrancescoCalimeri |
ATTNEW: for-windows-developers.zip |
view get |
- |
2011-06-17 10:56:46 |
38772 |
- |
FrancescoCalimeri |
ATTNEW: for-linux-developers.tar.gz |
view get |
86 |
2011-06-06 17:05:11 |
8780 |
to previous |
FrancescoCalimeri |
|
view |
85 |
2011-06-06 17:04:04 |
8803 |
to previous |
FrancescoCalimeri |
add development kit for mac os, windows, linux |
view |
84 |
2010-10-14 10:18:58 |
7650 |
to previous |
localhost |
converted to 1.6 markup |
view |
- |
2010-06-23 15:28:48 |
97784 |
- |
FrancescoCalimeri |
ATTNEW: ListAndSet.20100303.macOS.so |
view get |
- |
2010-06-23 15:27:14 |
97784 |
- |
FrancescoCalimeri |
ATTDEL: ListAndSet.20100303.macOS.so |
view get |
- |
2010-03-10 12:07:10 |
194145 |
- |
FrancescoCalimeri |
ATTNEW: dlv-complex-guide-20100303.html |
view get |
83 |
2010-03-10 12:06:54 |
7550 |
to previous |
FrancescoCalimeri |
update reference guide. |
view |
82 |
2010-03-08 17:06:44 |
7550 |
to previous |
FrancescoCalimeri |
|
view |
- |
2010-03-08 17:06:19 |
938624 |
- |
FrancescoCalimeri |
ATTNEW: ListAndSet.20100303.dll |
view get |
- |
2010-03-08 17:06:06 |
253497 |
- |
FrancescoCalimeri |
ATTNEW: ListAndSet.20100303.so |
view get |
81 |
2010-03-08 17:05:51 |
7563 |
to previous |
FrancescoCalimeri |
|
view |
80 |
2010-03-08 17:05:27 |
7562 |
to previous |
FrancescoCalimeri |
release latest list and set libraries |
view |
- |
2010-03-08 16:33:37 |
97784 |
- |
FrancescoCalimeri |
ATTNEW: ListAndSet.20100303.macOS.so |
view get |
- |
2010-03-08 16:33:24 |
1440368 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.mac.20100303.beta |
view get |
79 |
2010-03-08 16:33:05 |
7554 |
to previous |
FrancescoCalimeri |
release latest version for MacOS |
view |
- |
2010-03-05 15:20:39 |
1790375 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.win.20100303.static.beta.exe |
view get |
- |
2010-03-05 15:20:25 |
2240155 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.linux.20100303.static.beta |
view get |
- |
2010-03-05 15:20:01 |
2209782 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.win.20100303.beta.exe |
view get |
- |
2010-03-05 15:19:46 |
920507 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.linux.20100303.beta |
view get |
78 |
2010-03-05 15:19:19 |
7468 |
to previous |
FrancescoCalimeri |
new release - march 03 2010 |
view |
77 |
2009-11-09 11:15:52 |
7287 |
to previous |
FrancescoCalimeri |
|
view |
76 |
2009-11-09 11:15:34 |
7271 |
to previous |
FrancescoCalimeri |
|
view |
- |
2009-11-09 11:00:10 |
286005 |
- |
FrancescoCalimeri |
ATTNEW: calimeri-etal-magic-FI.pdf |
view get |
75 |
2009-11-09 10:59:31 |
7271 |
to previous |
FrancescoCalimeri |
add new tech report about magic sets - to apper in Fundamenta Informaticae |
view |
74 |
2009-10-12 11:12:11 |
6981 |
to previous |
GiovambattistaIanni |
|
view |
73 |
2009-08-27 14:40:55 |
6980 |
to previous |
FrancescoCalimeri |
|
view |
- |
2009-08-27 14:39:53 |
1221580 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.mac.20090727.beta |
view get |
- |
2009-08-27 14:39:33 |
75944 |
- |
FrancescoCalimeri |
ATTNEW: ListAndSet.macOS.so |
view get |
72 |
2009-08-27 14:38:54 |
6936 |
to previous |
FrancescoCalimeri |
add macos version |
view |
71 |
2009-07-29 10:32:24 |
6775 |
to previous |
GiovambattistaIanni |
|
view |
- |
2009-07-26 13:43:20 |
1788213 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.win.20090727.static.beta.exe |
view get |
- |
2009-07-26 13:42:27 |
2238892 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.linux.20090727.static.beta |
view get |
- |
2009-07-26 13:41:22 |
1788213 |
- |
FrancescoCalimeri |
ATTDEL: dl-complex.win.20090727.static.beta.exe |
view get |
- |
2009-07-26 13:41:16 |
2238892 |
- |
FrancescoCalimeri |
ATTDEL: dl-complex.linux.20090727.static.beta |
view get |
70 |
2009-07-20 16:21:40 |
6738 |
to previous |
FrancescoCalimeri |
add release notes for 2009 07 27 version. |
view |
- |
2009-07-20 16:14:46 |
1788213 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.win.20090727.static.beta.exe |
view get |
69 |
2009-07-20 16:14:35 |
6476 |
to previous |
FrancescoCalimeri |
|
view |
- |
2009-07-20 16:13:32 |
2209782 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.win.20090727.beta.exe |
view get |
- |
2009-07-20 16:13:21 |
1785251 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.win.20090519.static.beta.exe |
view get |
- |
2009-07-20 16:13:05 |
2238892 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.linux.20090727.static.beta |
view get |
- |
2009-07-20 16:12:45 |
920507 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.linux.20090727.beta |
view get |
68 |
2009-07-20 16:12:27 |
6478 |
to previous |
FrancescoCalimeri |
add new versions - release 2009 07 27 |
view |
67 |
2009-06-19 11:36:58 |
6478 |
to previous |
FrancescoCalimeri |
|
view |
- |
2009-06-19 11:35:48 |
1183 |
- |
FrancescoCalimeri |
ATTNEW: new.gif |
view get |
66 |
2009-06-19 11:33:45 |
6471 |
to previous |
FrancescoCalimeri |
|
view |
65 |
2009-06-19 11:32:16 |
6428 |
to previous |
FrancescoCalimeri |
|
view |
- |
2009-06-19 11:30:39 |
1748124 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.win.20090519.beta.static.exe |
view get |
- |
2009-06-19 11:30:19 |
2526758 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.linux.20090519.beta.static |
view get |
64 |
2009-06-19 11:29:42 |
6337 |
to previous |
FrancescoCalimeri |
|
view |
- |
2009-06-19 11:27:49 |
0 |
- |
FrancescoCalimeri |
ATTDEL: dl-complex.linux.20090519.beta.static.exe |
|
- |
2009-06-19 11:27:21 |
0 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.linux.20090519.beta.static.exe |
|
63 |
2009-06-19 11:26:46 |
6339 |
to previous |
FrancescoCalimeri |
|
view |
62 |
2009-06-19 11:26:18 |
6336 |
to previous |
FrancescoCalimeri |
add static version |
view |
61 |
2009-06-19 10:57:41 |
5557 |
to previous |
FrancescoCalimeri |
|
view |
60 |
2009-06-19 10:56:32 |
5585 |
to previous |
FrancescoCalimeri |
|
view |
59 |
2009-06-19 10:56:15 |
5571 |
to previous |
FrancescoCalimeri |
|
view |
58 |
2009-06-19 10:53:53 |
5447 |
to previous |
FrancescoCalimeri |
add proper references to the dlv-ex page. |
view |
57 |
2009-06-19 10:42:16 |
5006 |
to previous |
GiovambattistaIanni |
|
view |
56 |
2009-06-19 10:42:02 |
5006 |
to previous |
GiovambattistaIanni |
|
view |
- |
2009-05-19 16:25:02 |
2173814 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.linux.20090519.beta.exe |
view get |
- |
2009-05-19 16:24:53 |
893964 |
- |
FrancescoCalimeri |
ATTNEW: dl-complex.linux.20090519.beta |
view get |
55 |
2009-05-19 16:24:30 |
4929 |
to previous |
FrancescoCalimeri |
20090519: NEW RELEASE! improve stability.remove some useless maxint restrictions |
view |
54 |
2009-04-07 16:31:53 |
4796 |
to previous |
FrancescoCalimeri |
Update reference guide. |
view |
- |
2009-04-07 16:31:31 |
106302 |
- |
FrancescoCalimeri |
ATTNEW: dlv-complex-guide-20090407.html |
view get |
53 |
2009-03-24 17:43:38 |
4796 |
to previous |
FrancescoCalimeri |
add reference to ICLP2008 paper. |
view |
52 |
2009-03-24 17:42:02 |
4523 |
to previous |
FrancescoCalimeri |
|
view |
- |
2009-01-15 14:07:38 |
933956 |
- |
SusannaCozza |
ATTNEW: ListAndSet.20090115.dll |
view get |
51 |
2009-01-15 14:06:25 |
4566 |
to previous |
SusannaCozza |
Attach of updated version for ListAndSet.dll |
view |
- |
2008-12-09 12:37:52 |
102138 |
- |
SusannaCozza |
ATTNEW: dlv-complex-guide-20081209.html |
view get |
50 |
2008-12-09 12:36:58 |
4557 |
to previous |
SusannaCozza |
#head and #tail added to the reference guide |
view |
49 |
2008-09-14 08:42:21 |
4548 |
to previous |
FrancescoCalimeri |
|
view |
48 |
2008-09-14 08:41:39 |
4549 |
to previous |
FrancescoCalimeri |
|
view |
47 |
2008-09-14 08:31:02 |
4546 |
to previous |
FrancescoCalimeri |
|
view |
- |
2008-09-14 07:38:55 |
43236 |
- |
FrancescoCalimeri |
ATTNEW: TuringMachine.pdf |
view get |
46 |
2008-09-14 07:36:26 |
4530 |
to previous |
FrancescoCalimeri |
|
view |
- |
2008-09-14 07:29:02 |
1985 |
- |
FrancescoCalimeri |
ATTNEW: TuringMachine.txt |
view get |
- |
2008-09-14 07:28:46 |
3154 |
- |
FrancescoCalimeri |
ATTNEW: Hanoi1.txt |
view get |
45 |
2008-09-14 07:28:33 |
4424 |
to previous |
FrancescoCalimeri |
|
view |
- |
2008-07-29 16:45:41 |
3060 |
- |
SusannaCozza |
ATTNEW: Hanoi1.dl |
view get |
44 |
2008-07-29 16:44:17 |
4302 |
to previous |
SusannaCozza |
New attachment for the Hanoi example |
view |
- |
2008-07-29 16:34:22 |
2167016 |
- |
SusannaCozza |
ATTNEW: dl-complex.win.20080727.exe |
view get |
- |
2008-07-29 16:20:07 |
1106705 |
- |
SusannaCozza |
ATTNEW: dl-complex.linux.20080727.beta |
view get |
43 |
2008-07-29 16:17:56 |
4301 |
to previous |
SusannaCozza |
add new release (july 2008) |
view |
42 |
2008-06-20 10:23:33 |
4222 |
to previous |
FrancescoCalimeri |
|
view |
41 |
2008-06-20 10:16:46 |
4221 |
to previous |
FrancescoCalimeri |
|
view |
40 |
2008-06-20 10:16:18 |
4225 |
to previous |
FrancescoCalimeri |
|
view |
39 |
2008-06-20 10:16:05 |
4223 |
to previous |
FrancescoCalimeri |
|
view |
38 |
2008-06-20 10:15:14 |
4221 |
to previous |
FrancescoCalimeri |
|
view |
- |
2008-06-20 10:14:38 |
266075 |
- |
FrancescoCalimeri |
ATTNEW: cali-etal-2008-functions.pdf |
view get |
37 |
2008-06-20 10:13:49 |
4236 |
to previous |
FrancescoCalimeri |
|
view |
36 |
2008-06-19 22:49:32 |
4242 |
to previous |
FrancescoCalimeri |
|
view |
35 |
2008-06-19 22:44:48 |
4179 |
to previous |
FrancescoCalimeri |
|
view |
34 |
2008-06-19 17:21:08 |
4174 |
to previous |
FrancescoCalimeri |
|
view |
33 |
2008-06-19 17:19:32 |
4172 |
to previous |
FrancescoCalimeri |
|
view |
- |
2008-06-19 17:13:45 |
1919 |
- |
FrancescoCalimeri |
ATTNEW: TuringMachine.dl |
view get |
- |
2008-06-19 17:13:29 |
3142 |
- |
FrancescoCalimeri |
ATTNEW: Hanoi.dl |
view get |
- |
2008-06-19 17:13:07 |
846 |
- |
FrancescoCalimeri |
ATTNEW: Descendants.dl |
view get |
- |
2008-06-19 17:12:51 |
611 |
- |
FrancescoCalimeri |
ATTNEW: ListPath.dl |
view get |
- |
2008-06-19 17:12:27 |
1373 |
- |
FrancescoCalimeri |
ATTNEW: tutorial-examples.zip |
view get |
32 |
2008-06-19 17:12:08 |
3845 |
to previous |
FrancescoCalimeri |
Add examples. |
view |
31 |
2008-06-18 09:09:22 |
3584 |
to previous |
FrancescoCalimeri |
|
view |
- |
2008-06-18 09:08:34 |
266075 |
- |
FrancescoCalimeri |
ATTNEW: cali-etal-ICLP_2008-submitted.pdf |
view get |
30 |
2008-06-18 09:08:17 |
3558 |
to previous |
FrancescoCalimeri |
Add submitted paper to ICLP 2008 |
view |
- |
2008-06-17 18:00:39 |
29293 |
- |
FrancescoCalimeri |
ATTNEW: dlv-complex-tutorial.html |
view get |
- |
2008-06-17 18:00:29 |
99050 |
- |
FrancescoCalimeri |
ATTNEW: dlv-complex-guide.html |
view get |
29 |
2008-06-17 17:58:52 |
3421 |
to previous |
FrancescoCalimeri |
|
view |
- |
2008-06-17 17:24:06 |
2160466 |
- |
SusannaCozza |
ATTNEW: dl-complex.win.0.9.beta.exe |
view get |
- |
2008-06-17 17:22:37 |
1098169 |
- |
SusannaCozza |
ATTNEW: dl-complex.linux.0.9.beta |
view get |
28 |
2008-06-15 15:34:54 |
3229 |
to previous |
FrancescoCalimeri |
|
view |
27 |
2008-06-15 15:33:47 |
3158 |
to previous |
FrancescoCalimeri |
|
view |
26 |
2008-06-15 15:32:18 |
3189 |
to previous |
FrancescoCalimeri |
improve version history and download section. |
view |
25 |
2008-06-15 15:29:08 |
3058 |
to previous |
FrancescoCalimeri |
|
view |
24 |
2008-06-15 15:28:27 |
3046 |
to previous |
FrancescoCalimeri |
|
view |
23 |
2008-06-15 15:28:08 |
3034 |
to previous |
FrancescoCalimeri |
|
view |
22 |
2008-06-15 15:27:34 |
3010 |
to previous |
FrancescoCalimeri |
|
view |
21 |
2008-06-15 15:26:40 |
2988 |
to previous |
FrancescoCalimeri |
|
view |
20 |
2008-06-15 15:18:55 |
2979 |
to previous |
FrancescoCalimeri |
rearrange doc section. |
view |
19 |
2008-06-14 14:03:14 |
2909 |
to previous |
FrancescoCalimeri |
|
view |
18 |
2008-06-14 14:01:51 |
2909 |
to previous |
FrancescoCalimeri |
remmove old references to dlv-ex |
view |
17 |
2008-06-12 10:53:27 |
2856 |
to previous |
SusannaCozza |
|
view |
16 |
2008-06-12 10:46:49 |
2712 |
to previous |
SusannaCozza |
|
view |
- |
2008-06-12 10:35:37 |
915964 |
- |
SusannaCozza |
ATTNEW: ListAndSet.dll |
view get |
- |
2008-06-12 10:34:33 |
262670 |
- |
SusannaCozza |
ATTNEW: ListAndSet.so |
view get |
15 |
2008-06-12 10:33:01 |
2654 |
to previous |
SusannaCozza |
|
view |
- |
2008-06-12 10:31:44 |
2160466 |
- |
SusannaCozza |
ATTNEW: dl-complex.win.0.9.beta.exe |
view get |
- |
2008-06-12 10:28:31 |
1098169 |
- |
SusannaCozza |
ATTNEW: dl-complex.linux.0.9.beta |
view get |
14 |
2008-06-11 14:41:54 |
2650 |
to previous |
FrancescoCalimeri |
|
view |
13 |
2008-06-11 14:41:31 |
2660 |
to previous |
FrancescoCalimeri |
|
view |
12 |
2008-06-11 14:40:57 |
2648 |
to previous |
FrancescoCalimeri |
|
view |
11 |
2008-06-11 14:36:59 |
2363 |
to previous |
FrancescoCalimeri |
Add links to binaries |
view |
10 |
2008-06-10 16:26:48 |
2193 |
to previous |
FrancescoCalimeri |
|
view |
9 |
2008-06-10 16:26:20 |
2179 |
to previous |
FrancescoCalimeri |
|
view |
8 |
2008-06-10 16:25:58 |
2179 |
to previous |
FrancescoCalimeri |
|
view |
7 |
2008-06-10 16:25:21 |
2179 |
to previous |
FrancescoCalimeri |
|
view |
6 |
2008-06-10 10:21:49 |
2172 |
to previous |
FrancescoCalimeri |
|
view |
5 |
2008-06-10 10:20:45 |
2170 |
to previous |
FrancescoCalimeri |
|
view |
4 |
2008-06-10 10:18:49 |
2180 |
to previous |
FrancescoCalimeri |
|
view |
3 |
2008-06-10 10:18:12 |
2197 |
to previous |
FrancescoCalimeri |
First version. Check it out. |
view |
2 |
2008-06-10 08:41:44 |
16 |
to previous |
SusannaCozza |
|
view |
1 |
2008-06-10 07:24:56 |
20 |
|
WikiAdmin |
|
view |