flora-commits Mailing List for Flora-2 (Page 6)
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
|
|
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
|
|
From: <ki...@us...> - 2013-11-30 01:45:11
|
Revision: 1113
http://sourceforge.net/p/flora/src/1113
Author: kifer
Date: 2013-11-30 01:45:09 +0000 (Sat, 30 Nov 2013)
Log Message:
-----------
small fix
Modified Paths:
--------------
trunk/flora2/syslib/flrdelaysupport.P
|
|
From: <ki...@us...> - 2013-11-30 01:45:08
|
Revision: 1112
http://sourceforge.net/p/flora/src/1112
Author: kifer
Date: 2013-11-30 01:45:06 +0000 (Sat, 30 Nov 2013)
Log Message:
-----------
made flrterm_split_vars/3 check for acyclicity.
Modified Paths:
--------------
trunk/flora2/syslib/flrdelaysupport.P
|
|
From: <ki...@us...> - 2013-11-30 01:45:05
|
Revision: 1111
http://sourceforge.net/p/flora/src/1111
Author: kifer
Date: 2013-11-30 01:45:03 +0000 (Sat, 30 Nov 2013)
Log Message:
-----------
made the delay checker safe for cyclic terms in a more efficient way.
Modified Paths:
--------------
trunk/flora2/cc/flora_ground.c
trunk/flora2/closure/flrequality_none.inc
trunk/flora2/syslib/flrdelaysupport.P
|
|
From: <ki...@us...> - 2013-11-28 20:01:13
|
Revision: 1110
http://sourceforge.net/p/flora/src/1110
Author: kifer
Date: 2013-11-28 20:01:12 +0000 (Thu, 28 Nov 2013)
Log Message:
-----------
improved performance of the delay checker.
Modified Paths:
--------------
trunk/flora2/flrregistry.P
trunk/flora2/runflora
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2/syslib/flrexport.P
trunk/flora2-testsuite/testsuite.sh
Added Paths:
-----------
trunk/flora2-performance/wine_ontology/
trunk/flora2-performance/wine_ontology/wine2.flr
|
|
From: <ki...@us...> - 2013-11-28 20:01:03
|
Revision: 1109
http://sourceforge.net/p/flora/src/1109
Author: kifer
Date: 2013-11-28 20:01:00 +0000 (Thu, 28 Nov 2013)
Log Message:
-----------
minor corrections
Modified Paths:
--------------
trunk/flora2/flrshell.P
trunk/flora2/syslib/flrload.P
|
|
From: <ki...@us...> - 2013-11-25 09:43:42
|
Revision: 1108
http://sourceforge.net/p/flora/src/1108
Author: kifer
Date: 2013-11-25 09:43:39 +0000 (Mon, 25 Nov 2013)
Log Message:
-----------
work on banner control
make flora less chatty for normal users
Modified Paths:
--------------
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrporting.P
trunk/flora2/flrshell.P
trunk/flora2/runflora
trunk/flora2/runflora.bat
|
|
From: <ki...@us...> - 2013-11-25 02:09:08
|
Revision: 1107
http://sourceforge.net/p/flora/src/1107
Author: kifer
Date: 2013-11-25 02:09:06 +0000 (Mon, 25 Nov 2013)
Log Message:
-----------
made flora safe for cyclic #include's
Modified Paths:
--------------
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrparser.P
trunk/flora2/flrutils.P
|
|
From: <ki...@us...> - 2013-11-24 23:02:58
|
Revision: 1106
http://sourceforge.net/p/flora/src/1106
Author: kifer
Date: 2013-11-24 23:02:56 +0000 (Sun, 24 Nov 2013)
Log Message:
-----------
added the code for reading RC files.
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrporting.P
trunk/flora2/flrshell.H
trunk/flora2/flrshell.P
trunk/flora2/syslib/flrcallflora.P
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2013-11-24 23:02:54
|
Revision: 1105
http://sourceforge.net/p/flora/src/1105
Author: kifer
Date: 2013-11-24 23:02:51 +0000 (Sun, 24 Nov 2013)
Log Message:
-----------
more project management capabilities: reloading of changed files
recompilation of changed #include's.
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_extensions.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlexer.H
trunk/flora2/flrlexer.P
trunk/flora2/flrlibman.P
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrregistry.P
trunk/flora2/flrshell.H
trunk/flora2/flrshell.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrimport.H
trunk/flora2/syslib/flrimport.P
trunk/flora2/syslib/flrload.P
trunk/flora2-testsuite/general_tests/add_load_old
trunk/flora2-testsuite/general_tests/callReified_foo2.flr
trunk/flora2-testsuite/general_tests/services.flr
trunk/flora2-testsuite/general_tests/services_incr.flr
trunk/flora2-testsuite/general_tests/services_incr_old
|
|
From: <ki...@us...> - 2013-11-22 04:14:20
|
Revision: 1104
http://sourceforge.net/p/flora/src/1104
Author: kifer
Date: 2013-11-22 04:14:18 +0000 (Fri, 22 Nov 2013)
Log Message:
-----------
added bi-implications,
L-T to the manual,
more tests
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flroperator.P
trunk/flora2/flrparser.P
trunk/flora2-testsuite/general_tests/lt.flr
trunk/flora2-testsuite/general_tests/lt_old
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2013-11-20 08:23:03
|
Revision: 1103
http://sourceforge.net/p/flora/src/1103
Author: kifer
Date: 2013-11-20 08:23:01 +0000 (Wed, 20 Nov 2013)
Log Message:
-----------
lloyd-topor is working!
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.P
trunk/flora2/flrundefhook.P
trunk/flora2/flrundefined.P
trunk/flora2/flrwrapper.H
trunk/flora2/flrwrapper.P
trunk/flora2/lib/flrsystem.flr
trunk/flora2/syslib/flrnegation.P
trunk/flora2-testsuite/exporttest/encap_mod1.flr
trunk/flora2-testsuite/exporttest/export_test_old
trunk/flora2-testsuite/general_tests/family.flr
trunk/flora2-testsuite/general_tests/lt.flr
trunk/flora2-testsuite/general_tests/lt_old
trunk/flora2-testsuite/general_tests/meta_unification_old
trunk/flora2-testsuite/general_tests/reif_old
|
|
From: <ki...@us...> - 2013-11-20 08:22:58
|
Revision: 1102
http://sourceforge.net/p/flora/src/1102
Author: kifer
Date: 2013-11-20 08:22:57 +0000 (Wed, 20 Nov 2013)
Log Message:
-----------
naf now propagates inside complex formulas
Modified Paths:
--------------
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2-testsuite/general_tests/lt.flr
|