flora-commits Mailing List for Flora-2
Brought to you by:
kifer
Menu
▾
▴
flora-commits — List for commit messages
You can subscribe to this list here.
| 2002 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(59) |
Jun
(43) |
Jul
(4) |
Aug
(4) |
Sep
(102) |
Oct
(20) |
Nov
(47) |
Dec
(32) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2003 |
Jan
(24) |
Feb
(34) |
Mar
(72) |
Apr
(36) |
May
(10) |
Jun
(46) |
Jul
(36) |
Aug
(24) |
Sep
(37) |
Oct
(27) |
Nov
(43) |
Dec
(40) |
| 2004 |
Jan
(35) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(30) |
Aug
(83) |
Sep
(68) |
Oct
(38) |
Nov
(3) |
Dec
(7) |
| 2005 |
Jan
(9) |
Feb
(31) |
Mar
(46) |
Apr
(73) |
May
(21) |
Jun
(1) |
Jul
(32) |
Aug
(33) |
Sep
(3) |
Oct
(28) |
Nov
(4) |
Dec
(23) |
| 2006 |
Jan
(22) |
Feb
(2) |
Mar
(12) |
Apr
(23) |
May
(73) |
Jun
(14) |
Jul
|
Aug
(20) |
Sep
(14) |
Oct
(5) |
Nov
|
Dec
(14) |
| 2007 |
Jan
(54) |
Feb
(81) |
Mar
(286) |
Apr
(313) |
May
(154) |
Jun
(85) |
Jul
(8) |
Aug
(11) |
Sep
(12) |
Oct
(14) |
Nov
(6) |
Dec
(6) |
| 2008 |
Jan
|
Feb
|
Mar
(1) |
Apr
(12) |
May
(4) |
Jun
|
Jul
(13) |
Aug
(22) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2013 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(46) |
Jun
(43) |
Jul
(46) |
Aug
(9) |
Sep
(13) |
Oct
(31) |
Nov
(42) |
Dec
(18) |
| 2014 |
Jan
(7) |
Feb
(7) |
Mar
(11) |
Apr
(13) |
May
(16) |
Jun
(6) |
Jul
(17) |
Aug
|
Sep
(2) |
Oct
|
Nov
(1) |
Dec
|
| 2015 |
Jan
|
Feb
(17) |
Mar
(4) |
Apr
(3) |
May
(2) |
Jun
(3) |
Jul
(2) |
Aug
(3) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2016 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
|
Oct
|
Nov
|
Dec
(2) |
| 2017 |
Jan
|
Feb
|
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
|
Nov
|
Dec
|
| 2019 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| S | M | T | W | T | F | S |
|---|---|---|---|---|---|---|
|
1
|
2
|
3
|
4
|
5
|
6
|
7
|
|
8
|
9
(1) |
10
(2) |
11
(3) |
12
|
13
|
14
|
|
15
(7) |
16
(1) |
17
|
18
(2) |
19
|
20
|
21
|
|
22
|
23
(1) |
24
|
25
|
26
|
27
|
28
|
|
29
|
30
|
31
(1) |
|
|
|
|
|
From: <ki...@us...> - 2013-12-31 03:07:05
|
Revision: 1131
http://sourceforge.net/p/flora/src/1131
Author: kifer
Date: 2013-12-31 03:07:02 +0000 (Tue, 31 Dec 2013)
Log Message:
-----------
Merge branch 'master' into svn
Merges in the changes from ergo. neg propagation through naf, quantifiers
Modified Paths:
--------------
trunk/flora2/.gitignore
trunk/flora2/cc/.gitignore
trunk/flora2/cc/flora_ground.c
trunk/flora2/cc/flora_prefix.in
trunk/flora2/cc/prolog2hilog.c
trunk/flora2/cc/windows/flora_ground.dll
trunk/flora2/cc/windows/flora_ground.exp
trunk/flora2/cc/windows/flora_ground.lib
trunk/flora2/cc/windows/prolog2hilog.dll
trunk/flora2/cc/windows/prolog2hilog.exp
trunk/flora2/cc/windows/prolog2hilog.lib
trunk/flora2/cc/windows64/flora_ground.dll
trunk/flora2/cc/windows64/flora_ground.exp
trunk/flora2/cc/windows64/flora_ground.lib
trunk/flora2/cc/windows64/prolog2hilog.dll
trunk/flora2/cc/windows64/prolog2hilog.exp
trunk/flora2/cc/windows64/prolog2hilog.lib
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrshell.P
trunk/flora2/flrutils.P
trunk/flora2/makeflora
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrdynmod.P
trunk/flora2/version.flh
trunk/flora2-performance/wine_ontology/wine2.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_fl.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific.flr
trunk/flora2-testsuite/general_tests/add_load.flr
trunk/flora2-testsuite/general_tests/lt.flr
trunk/flora2-testsuite/general_tests/lt_old
Added Paths:
-----------
trunk/flora2/includes/.gitignore
Removed Paths:
-------------
trunk/flora2/includes/flrdefinition.flh
|
|
From: <ki...@us...> - 2013-12-23 08:50:47
|
Revision: 1130
http://sourceforge.net/p/flora/src/1130
Author: kifer
Date: 2013-12-23 08:50:44 +0000 (Mon, 23 Dec 2013)
Log Message:
-----------
squashed several meta-programming bugs
involve both the compiler and metaops.P
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/.gitignore
trunk/flora2/AT/Makefile
trunk/flora2/AT/NMakefile.mak
trunk/flora2/cc/flora_ground.c
trunk/flora2/cc/prolog2hilog.c
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/.gitignore
trunk/flora2/flrincludes/flora_exceptions.flh
trunk/flora2/flrincludes/flora_prefix.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/includes/flrdefinition.flh
trunk/flora2/makeflora
trunk/flora2/makeflora.bat
trunk/flora2/syslib/flrbtdbop.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrdbop.P
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2/syslib/flrdynmod.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/syslib/flrstorageutils.P
trunk/flora2-testsuite/defeasible/new_gclp/cancel_test.flr
trunk/flora2-testsuite/defeasible/new_gclp/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/new_gclp/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/new_gclp/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/new_gclp/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/new_gclp/tricky_tests.flr
trunk/flora2-testsuite/general_tests/delaytest2.flr
trunk/flora2-testsuite/general_tests/lt.flr
trunk/flora2-testsuite/general_tests/meta_unification.flr
trunk/flora2-testsuite/general_tests/meta_unification_old
trunk/flora2-testsuite/general_tests/metaupdates_old
trunk/flora2-testsuite/general_tests/pretty.flr
trunk/flora2-testsuite/general_tests/typecheck.flr
Added Paths:
-----------
trunk/flora2/cc/.gitignore
trunk/flora2/cc/flora_prefix.in
|
|
From: <ki...@us...> - 2013-12-18 04:17:53
|
Revision: 1129
http://sourceforge.net/p/flora/src/1129
Author: kifer
Date: 2013-12-18 04:17:51 +0000 (Wed, 18 Dec 2013)
Log Message:
-----------
small change in error messages
Modified Paths:
--------------
trunk/flora2/flrincludes/flora_errors.flh
|
|
From: <ki...@us...> - 2013-12-18 04:17:50
|
Revision: 1128
http://sourceforge.net/p/flora/src/1128
Author: kifer
Date: 2013-12-18 04:17:48 +0000 (Wed, 18 Dec 2013)
Log Message:
-----------
bug fix in metaops, test added
Modified Paths:
--------------
trunk/flora2/syslib/flrmetaops.P
trunk/flora2-testsuite/general_tests/metavar.flr
trunk/flora2-testsuite/general_tests/metavar_old
trunk/flora2-website/aboutTR.html
|
|
From: <ki...@us...> - 2013-12-16 01:04:33
|
Revision: 1127
http://sourceforge.net/p/flora/src/1127
Author: kifer
Date: 2013-12-16 01:04:30 +0000 (Mon, 16 Dec 2013)
Log Message:
-----------
squashed some warnings
Modified Paths:
--------------
trunk/flora2/cc/flora_ground.c
trunk/flora2/cc/windows64/flora_ground.dll
trunk/flora2/cc/windows64/flora_ground.exp
trunk/flora2/cc/windows64/flora_ground.lib
trunk/flora2/cc/windows64/prolog2hilog.dll
trunk/flora2/cc/windows64/prolog2hilog.exp
trunk/flora2/cc/windows64/prolog2hilog.lib
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-12-15 08:37:09
|
Revision: 1126
http://sourceforge.net/p/flora/src/1126
Author: kifer
Date: 2013-12-15 08:37:06 +0000 (Sun, 15 Dec 2013)
Log Message:
-----------
fixed the priority for -->>
Support for Z in timezones
fixed addition of duration
Modified Paths:
--------------
trunk/flora2/datatypes/flrdatatype.P
trunk/flora2/datatypes/flrdatatype_parse.P
trunk/flora2/datatypes/flrtime_arith.P
trunk/flora2/flroperator.P
trunk/flora2/lib/flrbasetype.flr
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-12-15 06:04:44
|
Revision: 1125
http://sourceforge.net/p/flora/src/1125
Author: kifer
Date: 2013-12-15 06:04:42 +0000 (Sun, 15 Dec 2013)
Log Message:
-----------
small update
Modified Paths:
--------------
trunk/flora2/docs/flora-packages.tex
|
|
From: <ki...@us...> - 2013-12-15 05:37:59
|
Revision: 1124
http://sourceforge.net/p/flora/src/1124
Author: kifer
Date: 2013-12-15 05:37:56 +0000 (Sun, 15 Dec 2013)
Log Message:
-----------
bundle script update
Modified Paths:
--------------
trunk/flora2/admin/BundleBall.sh
trunk/flora2/admin/README
trunk/flora2-website/download.html
|
|
From: <ki...@us...> - 2013-12-15 04:50:55
|
Revision: 1123
http://sourceforge.net/p/flora/src/1123
Author: kifer
Date: 2013-12-15 04:50:52 +0000 (Sun, 15 Dec 2013)
Log Message:
-----------
version update
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-12-15 04:46:52
|
Revision: 1122
http://sourceforge.net/p/flora/src/1122
Author: kifer
Date: 2013-12-15 04:46:49 +0000 (Sun, 15 Dec 2013)
Log Message:
-----------
windows install update
Modified Paths:
--------------
trunk/flora2/admin/windows/flora2.iss
trunk/flora2/admin/windows/flora2bundle.iss
trunk/flora2/cc/windows/flora_ground.dll
trunk/flora2/cc/windows/flora_ground.exp
trunk/flora2/cc/windows/flora_ground.lib
trunk/flora2/cc/windows/prolog2hilog.dll
trunk/flora2/cc/windows/prolog2hilog.exp
trunk/flora2/cc/windows/prolog2hilog.lib
trunk/flora2/cc/windows64/flora_ground.dll
trunk/flora2/cc/windows64/flora_ground.exp
trunk/flora2/cc/windows64/flora_ground.lib
trunk/flora2/cc/windows64/prolog2hilog.dll
trunk/flora2/cc/windows64/prolog2hilog.exp
trunk/flora2/cc/windows64/prolog2hilog.lib
|
|
From: <ki...@us...> - 2013-12-15 04:00:03
|
Revision: 1121
http://sourceforge.net/p/flora/src/1121
Author: kifer
Date: 2013-12-15 04:00:00 +0000 (Sun, 15 Dec 2013)
Log Message:
-----------
updated the dlls for W32/64
Modified Paths:
--------------
trunk/flora2/cc/windows/flora_ground.dll
trunk/flora2/cc/windows/flora_ground.exp
trunk/flora2/cc/windows/flora_ground.lib
trunk/flora2/cc/windows/prolog2hilog.dll
trunk/flora2/cc/windows/prolog2hilog.exp
trunk/flora2/cc/windows/prolog2hilog.lib
trunk/flora2/cc/windows64/flora_ground.dll
trunk/flora2/cc/windows64/flora_ground.exp
trunk/flora2/cc/windows64/flora_ground.lib
trunk/flora2/cc/windows64/prolog2hilog.dll
trunk/flora2/cc/windows64/prolog2hilog.exp
trunk/flora2/cc/windows64/prolog2hilog.lib
trunk/flora2/version.flh
trunk/flora2-website/florahome.html
|
|
From: <ki...@us...> - 2013-12-15 03:13:53
|
Revision: 1120
http://sourceforge.net/p/flora/src/1120
Author: kifer
Date: 2013-12-15 03:13:50 +0000 (Sun, 15 Dec 2013)
Log Message:
-----------
minor testsuite fixes for the mac
Modified Paths:
--------------
trunk/flora2/admin/.excludedFiles
trunk/flora2-testsuite/testsuite.sh
trunk/flora2-website/florabar.html
Added Paths:
-----------
trunk/flora2-website/images/coherent.jpg
|
|
From: <ki...@us...> - 2013-12-11 06:30:13
|
Revision: 1119
http://sourceforge.net/p/flora/src/1119
Author: kifer
Date: 2013-12-11 06:30:11 +0000 (Wed, 11 Dec 2013)
Log Message:
-----------
added files to ignore
Modified Paths:
--------------
trunk/flora2/.gitignore
Added Paths:
-----------
trunk/flora2/flrincludes/.gitignore
|
|
From: <ki...@us...> - 2013-12-11 06:20:26
|
Revision: 1118
http://sourceforge.net/p/flora/src/1118
Author: kifer
Date: 2013-12-11 06:20:24 +0000 (Wed, 11 Dec 2013)
Log Message:
-----------
unified various messages
Modified Paths:
--------------
trunk/flora2/.gitignore
trunk/flora2/flrarguments.P
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlibman.H
trunk/flora2/flrlibman.P
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrprint.P
trunk/flora2/flrshell.P
trunk/flora2/flrutils.P
trunk/flora2/flrwrapper.H
trunk/flora2/flrwrapper.P
Added Paths:
-----------
trunk/flora2-testsuite/flrtesthook.flh
|
|
From: <ki...@us...> - 2013-12-11 02:34:21
|
Revision: 1117
http://sourceforge.net/p/flora/src/1117
Author: kifer
Date: 2013-12-11 02:34:18 +0000 (Wed, 11 Dec 2013)
Log Message:
-----------
fixed some bugs, rationalized code
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.P
trunk/flora2/flrshell.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/descriptors.flr
trunk/flora2-website/florahome.html
trunk/flora2-website/release_notes.html
Added Paths:
-----------
trunk/flora2-testsuite/general_tests/prefix2.flr
trunk/flora2-testsuite/general_tests/prefix2_old
|
|
From: <ki...@us...> - 2013-12-10 04:33:35
|
Revision: 1116
http://sourceforge.net/p/flora/src/1116
Author: kifer
Date: 2013-12-10 04:33:34 +0000 (Tue, 10 Dec 2013)
Log Message:
-----------
fixed a number of errors in _is* builtins. Added delayable versions of these builtins. Documented.
Modified Paths:
--------------
trunk/flora2/closure/flrtypes.fli
trunk/flora2/datatypes/flrdtype_sub.P
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrnodefp.P
trunk/flora2/flrprolog.P
trunk/flora2/lib/flrbasetype.flr
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2013-12-10 04:33:31
|
Revision: 1115
http://sourceforge.net/p/flora/src/1115
Author: kifer
Date: 2013-12-10 04:33:28 +0000 (Tue, 10 Dec 2013)
Log Message:
-----------
FLRULESIG and FLQUERYSIG macros. Make changes to rule/query signatures less error-prone.
Modified Paths:
--------------
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrdynrule.P
|
|
From: <ki...@us...> - 2013-12-09 07:37:54
|
Revision: 1114
http://sourceforge.net/p/flora/src/1114
Author: kifer
Date: 2013-12-09 07:37:50 +0000 (Mon, 09 Dec 2013)
Log Message:
-----------
Merge branch 'head-hook'
Modified Paths:
--------------
trunk/flora2/cc/windows64/flora_ground.dll
trunk/flora2/cc/windows64/flora_ground.exp
trunk/flora2/cc/windows64/flora_ground.lib
trunk/flora2/cc/windows64/prolog2hilog.dll
trunk/flora2/cc/windows64/prolog2hilog.exp
trunk/flora2/cc/windows64/prolog2hilog.lib
trunk/flora2/closure/flrcommon.fli
trunk/flora2/closure/flrcommon_inh.fli
trunk/flora2/closure/flrcommon_neg.inc
trunk/flora2/closure/flrcommon_pred.fli
trunk/flora2/closure/flreqltrailer.fli
trunk/flora2/closure/flreqltrailer_inh.fli
trunk/flora2/closure/flreqltrailer_neg.inc
trunk/flora2/closure/flreqltrailer_neg_inh.inc
trunk/flora2/closure/flrequality_none.inc
trunk/flora2/closure/flrimportaxioms.fli
trunk/flora2/closure/flrimportaxioms_neg.inc
trunk/flora2/closure/flrnoeqltrailer.fli
trunk/flora2/closure/flrnoeqltrailer_inh.fli
trunk/flora2/closure/flrnoeqltrailer_neg.inc
trunk/flora2/closure/flrnoeqltrailer_neg_inh.inc
trunk/flora2/closure/flrpredeql.fli
trunk/flora2/closure/flrprednoeql.fli
trunk/flora2/closure/flrscalareql.fli
trunk/flora2/closure/flrsigaxioms.fli
trunk/flora2/closure/flrtypes.fli
trunk/flora2/debugger/flrtabledump.P
trunk/flora2/debugger/flrterminyzer.P
trunk/flora2/demos/slow_depchk.flr
trunk/flora2/flrcoder.H
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrdependency.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_prefix.flh
trunk/flora2/flrincludes/flora_tabling_methods.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrincludes/flora_wspredicates.flh
trunk/flora2/flroperator.P
trunk/flora2/flrporting.P
trunk/flora2/flrundefined.P
trunk/flora2/flrwrapper.P
trunk/flora2/genincludes/flrdefeasible.fli
trunk/flora2/genincludes/flrdyna.fli
trunk/flora2/genincludes/flrdyna_defeasibles.inc
trunk/flora2/genincludes/flrdyna_neg.inc
trunk/flora2/genincludes/flrdynz.fli
trunk/flora2/genincludes/flrdynz_defeasibles.inc
trunk/flora2/genincludes/flrdynz_neg.inc
trunk/flora2/genincludes/flrexportcheck.fli
trunk/flora2/genincludes/flrexportcheck_neg.inc
trunk/flora2/genincludes/flropposes_data.fli
trunk/flora2/genincludes/flrpreddef.fli
trunk/flora2/genincludes/flrpreddef_NAF.inc
trunk/flora2/genincludes/flrpreddef_neg.inc
trunk/flora2/genincludes/flrrefreshtable.fli
trunk/flora2/genincludes/flrrefreshtable_neg.inc
trunk/flora2/makeflora
trunk/flora2/makeflora.bat
trunk/flora2/syslib/flrbtdbop.P
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrclause.P
trunk/flora2/syslib/flrdbop.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrdescriptor_support.P
trunk/flora2/syslib/flrdynmod.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/syslib/flrexport.P
trunk/flora2/syslib/flrimport.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/syslib/flrrulesigops.P
trunk/flora2/syslib/flrstoragebase.P
trunk/flora2/syslib/flrstorageutils.P
trunk/flora2/syslib/flrtrim.P
trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_load_old
trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_old
trunk/flora2-testsuite/general_tests/agent.flr
trunk/flora2-testsuite/general_tests/agent_old
trunk/flora2-testsuite/general_tests/clauseWithLabel_old
trunk/flora2-testsuite/general_tests/descriptors_old
trunk/flora2-testsuite/general_tests/incremental.flr
trunk/flora2-testsuite/general_tests/metaupdates_old
trunk/flora2-testsuite/general_tests/services.flr
trunk/flora2-testsuite/general_tests/table_dump_old
trunk/flora2-testsuite/general_tests/traced_call_old
trunk/flora2-testsuite/testsuite.sh
|