flora-commits Mailing List for Flora-2 (Page 8)
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-11-02 06:42:19
|
Revision: 1076
http://sourceforge.net/p/flora/src/1076
Author: kifer
Date: 2013-11-02 06:42:17 +0000 (Sat, 02 Nov 2013)
Log Message:
-----------
marked new devel work
Modified Paths:
--------------
trunk/flora2/admin/windows/flora2.iss
trunk/flora2/admin/windows/flora2bundle.iss
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-11-02 05:58:17
|
Revision: 1075
http://sourceforge.net/p/flora/src/1075
Author: kifer
Date: 2013-11-02 05:58:15 +0000 (Sat, 02 Nov 2013)
Log Message:
-----------
final release updates
Modified Paths:
--------------
trunk/flora2/admin/README
trunk/flora2/admin/windows/flora2.iss
trunk/flora2/admin/windows/flora2bundle.iss
trunk/flora2-website/florahome.html
|
|
From: <ki...@us...> - 2013-11-02 05:04:18
|
Revision: 1074
http://sourceforge.net/p/flora/src/1074
Author: kifer
Date: 2013-11-02 05:04:16 +0000 (Sat, 02 Nov 2013)
Log Message:
-----------
admin updates
Modified Paths:
--------------
trunk/flora2/admin/windows/NOTES.txt
trunk/flora2/admin/windows/NOTES_bundle.txt
trunk/flora2/admin/windows/flora2.iss
trunk/flora2/admin/windows/flora2bundle.iss
Added Paths:
-----------
trunk/flora2/etc/flora-desktop.ico
trunk/flora2/etc/flora-desktop.jpg
|
|
From: <ki...@us...> - 2013-11-02 04:34:00
|
Revision: 1073
http://sourceforge.net/p/flora/src/1073
Author: kifer
Date: 2013-11-02 04:33:59 +0000 (Sat, 02 Nov 2013)
Log Message:
-----------
release version
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-11-02 04:30:29
|
Revision: 1072
http://sourceforge.net/p/flora/src/1072
Author: kifer
Date: 2013-11-02 04:30:27 +0000 (Sat, 02 Nov 2013)
Log Message:
-----------
version change
Modified Paths:
--------------
trunk/flora2/docs/flora-packages.tex
trunk/flora2/flrcompiler.P
trunk/flora2/version.flh
trunk/flora2-website/florahome.html
|
|
From: <ki...@us...> - 2013-10-31 06:02:07
|
Revision: 1071
http://sourceforge.net/p/flora/src/1071
Author: kifer
Date: 2013-10-31 06:02:05 +0000 (Thu, 31 Oct 2013)
Log Message:
-----------
more cleanup and some small bug fixes
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/syslib/flrdecode.P
|
|
From: <ki...@us...> - 2013-10-31 06:02:03
|
Revision: 1070
http://sourceforge.net/p/flora/src/1070
Author: kifer
Date: 2013-10-31 06:02:01 +0000 (Thu, 31 Oct 2013)
Log Message:
-----------
cleanup
and speedup of the compiler
Modified Paths:
--------------
trunk/flora2/AT/atco.flr
trunk/flora2/AT/atco2.flr
trunk/flora2/AT/atco3.flr
trunk/flora2/AT/include/atco.flh
trunk/flora2/AT/include/atco_common.flh
trunk/flora2/AT/prolog/atco_init.P
trunk/flora2/closure/flrtypes.fli
trunk/flora2/debugger/static_data.in
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/syslib/flrnewoid.P
trunk/flora2/version.flh
trunk/flora2-testsuite/defeasible/atco/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific2.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific2_aux.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific2_load.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific_aux.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific2.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific2_aux.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific2_load.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific_aux.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_fl.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_just.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_prog.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_prog_aux.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific2.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific2_aux.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific2_load.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific_aux.flr
|
|
From: <ki...@us...> - 2013-10-31 06:01:54
|
Revision: 1069
http://sourceforge.net/p/flora/src/1069
Author: kifer
Date: 2013-10-31 06:01:52 +0000 (Thu, 31 Oct 2013)
Log Message:
-----------
preliminary work adding serarg
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.P
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-10-28 02:00:56
|
Revision: 1068
http://sourceforge.net/p/flora/src/1068
Author: kifer
Date: 2013-10-28 02:00:52 +0000 (Mon, 28 Oct 2013)
Log Message:
-----------
cleanup.
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrporting.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrwhen.P
trunk/flora2-testsuite/delaystests/test_delays_old
trunk/flora2-testsuite/general_tests/agent_old
trunk/flora2-testsuite/general_tests/clauseWithLabel_old
trunk/flora2-testsuite/general_tests/decodetest_old
trunk/flora2-testsuite/general_tests/depchecktest_old
trunk/flora2-testsuite/general_tests/latent_query_old
trunk/flora2-website/download.html
trunk/flora2-website/florahome.html
trunk/flora2-website/installation.html
trunk/flora2-website/release_notes.html
Added Paths:
-----------
trunk/flora2/flrincludes/flora_var_attributes.flh
|
|
From: <ki...@us...> - 2013-10-27 22:14:36
|
Revision: 1067
http://sourceforge.net/p/flora/src/1067
Author: kifer
Date: 2013-10-27 22:14:34 +0000 (Sun, 27 Oct 2013)
Log Message:
-----------
version change
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-10-27 22:10:19
|
Revision: 1066
http://sourceforge.net/p/flora/src/1066
Author: kifer
Date: 2013-10-27 22:10:17 +0000 (Sun, 27 Oct 2013)
Log Message:
-----------
version change
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-10-27 22:04:53
|
Revision: 1065
http://sourceforge.net/p/flora/src/1065
Author: kifer
Date: 2013-10-27 22:04:51 +0000 (Sun, 27 Oct 2013)
Log Message:
-----------
cleanup. resolved some UDF test failures
Modified Paths:
--------------
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2/includes/flrdefinition.flh
trunk/flora2/includes/flrdefinition.fli
trunk/flora2/syslib/flrimportedcalls.P
trunk/flora2/syslib/flrudf.P
trunk/flora2-testsuite/functions/test_func_eq.flr
trunk/flora2-testsuite/functions/test_func_eq_old
trunk/flora2-testsuite/functions/test_udf_hilog_pred2.flr
trunk/flora2-testsuite/functions/test_udf_hilog_pred2_old
|
|
From: <ki...@us...> - 2013-10-27 04:20:51
|
Revision: 1064
http://sourceforge.net/p/flora/src/1064
Author: kifer
Date: 2013-10-27 04:20:49 +0000 (Sun, 27 Oct 2013)
Log Message:
-----------
adjusted traced_call for non-flora predicates
Modified Paths:
--------------
trunk/flora2/syslib/flrcallflora.P
|
|
From: <ki...@us...> - 2013-10-27 03:00:25
|
Revision: 1063
http://sourceforge.net/p/flora/src/1063
Author: kifer
Date: 2013-10-27 03:00:19 +0000 (Sun, 27 Oct 2013)
Log Message:
-----------
Added the file argument to traced_call. Expanded the manual.
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrcompiler.P
trunk/flora2/flrregistry.P
trunk/flora2/syslib/flrcallflora.P
trunk/flora2-testsuite/general_tests/traced_call.flr
trunk/flora2-testsuite/general_tests/traced_call_old
|
|
From: <ki...@us...> - 2013-10-26 06:44:10
|
Revision: 1062
http://sourceforge.net/p/flora/src/1062
Author: kifer
Date: 2013-10-26 06:44:06 +0000 (Sat, 26 Oct 2013)
Log Message:
-----------
added themodule arg to traced_call
Modified Paths:
--------------
trunk/flora2/syslib/flrcallflora.P
trunk/flora2-testsuite/general_tests/traced_call.flr
trunk/flora2-testsuite/general_tests/traced_call_old
|
|
From: <ki...@us...> - 2013-10-26 05:15:18
|
Revision: 1061
http://sourceforge.net/p/flora/src/1061
Author: kifer
Date: 2013-10-26 05:15:15 +0000 (Sat, 26 Oct 2013)
Log Message:
-----------
finished with latent queries (previously called integrity constraints)
Added traced_call/2
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/emacs/flora.el
trunk/flora2/flrarguments.P
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlibman.P
trunk/flora2/flroperator.P
trunk/flora2/flrparser.P
trunk/flora2/flrprolog.P
trunk/flora2/flrsimpleprimitive.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/includes/flrdefinition.flh
trunk/flora2/includes/flrdefinition.fli
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/flrdynrule.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/syslib/flrstorageutils.P
trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_old
trunk/flora2-testsuite/general_tests/descriptors_old
trunk/flora2-testsuite/general_tests/enable.flr
Added Paths:
-----------
trunk/flora2-testsuite/general_tests/latent_query.flr
trunk/flora2-testsuite/general_tests/latent_query_old
trunk/flora2-testsuite/general_tests/traced_call.flr
trunk/flora2-testsuite/general_tests/traced_call_old
|
|
From: <ki...@us...> - 2013-10-23 16:23:45
|
Revision: 1060
http://sourceforge.net/p/flora/src/1060
Author: kifer
Date: 2013-10-23 16:23:43 +0000 (Wed, 23 Oct 2013)
Log Message:
-----------
fix in var name in get_textual info/4
small fixes in flrdynmod.
Modified Paths:
--------------
trunk/flora2/flrutils.P
trunk/flora2/syslib/flrdynmod.P
|
|
From: <ki...@us...> - 2013-10-23 04:53:38
|
Revision: 1059
http://sourceforge.net/p/flora/src/1059
Author: kifer
Date: 2013-10-23 04:53:36 +0000 (Wed, 23 Oct 2013)
Log Message:
-----------
fixed a bug, which gave different meaning to _#1 in facts and in rules.
updated the manual regarding the scope of corference for skolems.
added skolem{...} as a synonym to newoid{...}
simplified the compilation of newoid{...}
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.P
trunk/flora2/flrsimpleprimitive.P
trunk/flora2/flrutils.P
trunk/flora2/syslib/flrnewoid.P
|
|
From: <ki...@us...> - 2013-10-23 04:53:34
|
Revision: 1058
http://sourceforge.net/p/flora/src/1058
Author: kifer
Date: 2013-10-23 04:53:31 +0000 (Wed, 23 Oct 2013)
Log Message:
-----------
finished with allowing Skolems to have the scope of multiple rules.
fixed several bugs having to do with rule descriptor queries.
Modified Paths:
--------------
trunk/flora2/admin/windows/flora2bundle.iss
trunk/flora2/debugger/dynamic_data.in
trunk/flora2/emacs/flora.el
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrincludes/flora_wspredicates.flh
trunk/flora2/flrparser.P
trunk/flora2/flrshell.P
trunk/flora2/flrutils.P
trunk/flora2/genincludes/flrdescriptor_metafacts.fli
trunk/flora2/genincludes/flrdyndeclare.fli
trunk/flora2/genincludes/flrindex_P.fli
trunk/flora2/syslib/flrclause.P
trunk/flora2/syslib/flrcommon_definitions.P
trunk/flora2/syslib/flrdescriptor_support.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/syslib/flrstorageutils.P
trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_old
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/table_dump_old
trunk/flora2-website/florahome.html
|
|
From: <ki...@us...> - 2013-10-23 04:53:26
|
Revision: 1057
http://sourceforge.net/p/flora/src/1057
Author: kifer
Date: 2013-10-23 04:53:24 +0000 (Wed, 23 Oct 2013)
Log Message:
-----------
ICs can now be inserted and deleted dynamically
Modified Paths:
--------------
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlibman.P
trunk/flora2/flrutils.P
trunk/flora2/syslib/flrbtdbop.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrclause.P
trunk/flora2/syslib/flrdbop.P
trunk/flora2/syslib/flrdescriptor_support.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/syslib/flrexport.P
trunk/flora2/syslib/flrstorageutils.P
trunk/flora2-testsuite/general_tests/sensortest_err_old
trunk/flora2-testsuite/general_tests/sensortest_load_err_old
trunk/flora2-testsuite/symbols/symbols_nowarn_load_tests_old
|
|
From: <ki...@us...> - 2013-10-23 04:53:21
|
Revision: 1056
http://sourceforge.net/p/flora/src/1056
Author: kifer
Date: 2013-10-23 04:53:19 +0000 (Wed, 23 Oct 2013)
Log Message:
-----------
fixed the issues with descriptors revealed after adding the type descriptor property.
refactored the descriptor code somewhat.
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrcompiler.P
trunk/flora2-testsuite/general_tests/agent_old
trunk/flora2-testsuite/general_tests/clauseWithLabel.flr
trunk/flora2-testsuite/general_tests/clauseWithLabel_old
trunk/flora2-testsuite/general_tests/clause_old
|
|
From: <ki...@us...> - 2013-10-23 04:53:17
|
Revision: 1055
http://sourceforge.net/p/flora/src/1055
Author: kifer
Date: 2013-10-23 04:53:13 +0000 (Wed, 23 Oct 2013)
Log Message:
-----------
added the property type to rule descriptords. Started to enable insersion of ICs.
Modified Paths:
--------------
trunk/flora2/emacs/flora.el
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.P
trunk/flora2/flrpretifydump.P
trunk/flora2/flrutils.P
trunk/flora2/includes/flrheader.flh
trunk/flora2/syslib/flrdbop.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/agent_old
trunk/flora2-testsuite/general_tests/reifiedRules_old
|
|
From: <ki...@us...> - 2013-10-15 07:04:17
|
Revision: 1054
http://sourceforge.net/p/flora/src/1054
Author: kifer
Date: 2013-10-15 07:04:16 +0000 (Tue, 15 Oct 2013)
Log Message:
-----------
split the body of ICs into the boydy proper and pre-code that appears in the IC signature and is added at the time of the call.
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrclause.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrdescriptor_support.P
trunk/flora2/syslib/flrmetaops.P
|
|
From: <ki...@us...> - 2013-10-15 06:27:26
|
Revision: 1053
http://sourceforge.net/p/flora/src/1053
Author: kifer
Date: 2013-10-15 06:27:24 +0000 (Tue, 15 Oct 2013)
Log Message:
-----------
allow ICs in reifications, make =.. and ~ understand the ICs.
Also, flrdecode now groks them.
Modified Paths:
--------------
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrparser.P
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrmetaops.P
|
|
From: <ki...@us...> - 2013-10-15 06:27:23
|
Revision: 1052
http://sourceforge.net/p/flora/src/1052
Author: kifer
Date: 2013-10-15 06:27:21 +0000 (Tue, 15 Oct 2013)
Log Message:
-----------
fixed parsing of reified rules that have rule descriptors
also enabled =.. to grok reified rules
Modified Paths:
--------------
trunk/flora2/flrparser.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrmetaops.P
|