flora-commits Mailing List for Flora-2 (Page 9)
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-10-15 06:27:20
|
Revision: 1051
http://sourceforge.net/p/flora/src/1051
Author: kifer
Date: 2013-10-15 06:27:17 +0000 (Tue, 15 Oct 2013)
Log Message:
-----------
added integrity constraints
queries are moved to the end of the .P file
Modified Paths:
--------------
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_extensions.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlexer.P
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/syslib/flrcanon.P
trunk/flora2/syslib/flrclause.P
trunk/flora2/syslib/flrdescriptor_support.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/version.flh
trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_load_old
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2013-10-11 05:50:59
|
Revision: 1050
http://sourceforge.net/p/flora/src/1050
Author: kifer
Date: 2013-10-11 05:50:58 +0000 (Fri, 11 Oct 2013)
Log Message:
-----------
finished adapting libraries and packages by removing % from all methods
Modified Paths:
--------------
trunk/flora2/demos/sgml/sgmltest.flr
trunk/flora2/demos/xpath/xpathtest.flr
trunk/flora2/docs/flora-flrjava.tex
trunk/flora2/docs/flora-flrxml.tex
trunk/flora2/docs/flora-persistence.tex
trunk/flora2/docs/flora-prettyprint.tex
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/java/API/examples/buildExample.bat
trunk/flora2/java/API/examples/buildExample.sh
trunk/flora2/lib/flrparse.flr
trunk/flora2/lib/flrstorage.flr
trunk/flora2/pkgs/flrxml_aux.flr
trunk/flora2/pkgs/javaAPI.flr
trunk/flora2/pkgs/persistentmodules.flr
trunk/flora2/pkgs/prettyprint.flr
trunk/flora2/version.flh
trunk/flora2-testsuite/apptests/gpmanager/constraints.flr
trunk/flora2-testsuite/general_tests/pretty.flr
trunk/flora2-testsuite/general_tests/prolog_directive.flr
|
|
From: <ki...@us...> - 2013-10-11 05:50:54
|
Revision: 1049
http://sourceforge.net/p/flora/src/1049
Author: kifer
Date: 2013-10-11 05:50:52 +0000 (Fri, 11 Oct 2013)
Log Message:
-----------
fixed escaping and item concatenation for variables.
also improved treatment of compound types.
Modified Paths:
--------------
trunk/flora2/closure/flreqltrailer.fli
trunk/flora2/closure/flreqltrailer_inh.fli
trunk/flora2/closure/flrnoeqltrailer.fli
trunk/flora2/closure/flrnoeqltrailer_inh.fli
trunk/flora2/closure/flrtypes.fli
trunk/flora2/flrporting.P
trunk/flora2/pkgs/prolog/flrpm.P
trunk/flora2/syslib/flrdecode.P
|
|
From: <ki...@us...> - 2013-10-11 05:50:50
|
Revision: 1048
http://sourceforge.net/p/flora/src/1048
Author: kifer
Date: 2013-10-11 05:50:48 +0000 (Fri, 11 Oct 2013)
Log Message:
-----------
converted flrtypeconstraints library to use the nontabled_module directive
Modified Paths:
--------------
trunk/flora2/closure/flrtypes.fli
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrdependency.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrregistry.P
trunk/flora2/lib/flrtypeconstraint.flr
trunk/flora2/syslib/flrdecode.P
trunk/flora2-testsuite/general_tests/depchecktest_old
trunk/flora2-testsuite/general_tests/typecheck.flr
trunk/flora2-testsuite/general_tests/typecheck_old
|
|
From: <ki...@us...> - 2013-10-11 05:50:45
|
Revision: 1047
http://sourceforge.net/p/flora/src/1047
Author: kifer
Date: 2013-10-11 05:50:43 +0000 (Fri, 11 Oct 2013)
Log Message:
-----------
_io library updated. more to come.
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrcompiler.P
trunk/flora2/flrregistry.P
trunk/flora2/flrwrapper.H
trunk/flora2/flrwrapper.P
trunk/flora2/lib/flrio.flr
trunk/flora2/pkgs/javaAPI.flr
trunk/flora2/pkgs/prettyprint.flr
trunk/flora2/syslib/flrdynmod.P
trunk/flora2-testsuite/apptests/gpmanager/constraints.flr
trunk/flora2-testsuite/apptests/gpmanager/courses.flr
trunk/flora2-testsuite/apptests/gpmanager/examinations.flr
trunk/flora2-testsuite/apptests/gpmanager/gpmanager.flr
trunk/flora2-testsuite/apptests/gpmanager/instructors.flr
trunk/flora2-testsuite/apptests/programs/Grade.flr
trunk/flora2-testsuite/defeasible/atck1/actions.flr
trunk/flora2-testsuite/defeasible/atck1/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck1/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck1alt/actions.flr
trunk/flora2-testsuite/defeasible/atck1alt/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck1alt/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck2/actions.flr
trunk/flora2-testsuite/defeasible/atck2/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck2/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck2alt/actions.flr
trunk/flora2-testsuite/defeasible/atck2alt/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck2alt/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck3/actions.flr
trunk/flora2-testsuite/defeasible/atck3/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck3/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atco/actions.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific2_load.flr
trunk/flora2-testsuite/defeasible/atco2/actions.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific2_load.flr
trunk/flora2-testsuite/defeasible/atco3/actions.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific2_load.flr
trunk/flora2-testsuite/defeasible/new_gclp/actions.flr
trunk/flora2-testsuite/defeasible/new_gclp/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/new_gclp/tricky_tests.flr
trunk/flora2-testsuite/defeasible/old_gclp/actions.flr
trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/old_gclp/tricky_tests.flr
trunk/flora2-testsuite/functions/fun_defeat_interaction.flr
trunk/flora2-testsuite/functions/modular_prolog/test1.flr
trunk/flora2-testsuite/functions/test_func_arithmetics.flr
trunk/flora2-testsuite/functions/test_func_facts.flr
trunk/flora2-testsuite/functions/test_func_head.flr
trunk/flora2-testsuite/functions/test_func_obj.flr
trunk/flora2-testsuite/functions/test_udf_hilog_pred2.flr
trunk/flora2-testsuite/general_tests/abp.flr
trunk/flora2-testsuite/general_tests/aggregate.flr
trunk/flora2-testsuite/general_tests/btupdates.flr
trunk/flora2-testsuite/general_tests/clause.flr
trunk/flora2-testsuite/general_tests/dyn_fbasics.flr
trunk/flora2-testsuite/general_tests/dyn_pps.flr
trunk/flora2-testsuite/general_tests/enable.flr
trunk/flora2-testsuite/general_tests/explicit_neg_undefined.flr
trunk/flora2-testsuite/general_tests/explicit_negation.flr
trunk/flora2-testsuite/general_tests/flogic_basics.flr
trunk/flora2-testsuite/general_tests/guizhen.flr
trunk/flora2-testsuite/general_tests/intermod_neg.flr
trunk/flora2-testsuite/general_tests/london_map.flr
trunk/flora2-testsuite/general_tests/metavar.flr
trunk/flora2-testsuite/general_tests/moduletst.flr
trunk/flora2-testsuite/general_tests/pps.flr
trunk/flora2-testsuite/general_tests/prolog_directive.flr
trunk/flora2-testsuite/general_tests/reif.flr
trunk/flora2-testsuite/general_tests/ruleupdates.flr
trunk/flora2-testsuite/general_tests/tabletest.flr
trunk/flora2-testsuite/general_tests/undefined.flr
trunk/flora2-testsuite/general_tests/wives.flr
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2013-10-11 05:50:33
|
Revision: 1046
http://sourceforge.net/p/flora/src/1046
Author: kifer
Date: 2013-10-11 05:50:26 +0000 (Fri, 11 Oct 2013)
Log Message:
-----------
Added the directive :- nontabled_module and inserted it in all lib/ and pkgs/ libraries.
Deleted % from _system methods
Deleted _ from _basetypes methods
Modified Paths:
--------------
trunk/flora2/AT/atck1alt.flr
trunk/flora2/AT/atck2.flr
trunk/flora2/AT/atck3.flr
trunk/flora2/AT/atco.flr
trunk/flora2/AT/atco2.flr
trunk/flora2/AT/atco3.flr
trunk/flora2/AT/flrgclp.flr
trunk/flora2/AT/gclpe.flr
trunk/flora2/AT/include/change_module.flh
trunk/flora2/AT/ogclp.flr
trunk/flora2/AT/ogclpe.flr
trunk/flora2/AT/sgclp.flr
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/flrutils.P
trunk/flora2/genincludes/Makefile
trunk/flora2/genincludes/NMakefile.mak
trunk/flora2/genincludes/flrindex_P.fli
trunk/flora2/genincludes/flrtable.fli
trunk/flora2/headerinc/flrheader2_inc.flh
trunk/flora2/includes/flrtrailer.flh
trunk/flora2/lib/flrbasetype.flr
trunk/flora2/lib/flrio.flr
trunk/flora2/lib/flrparse.flr
trunk/flora2/lib/flrstorage.flr
trunk/flora2/lib/flrsystem.flr
trunk/flora2/lib/flrtypeconstraint.flr
trunk/flora2/lib/include/flrbasetype_double.flh
trunk/flora2/lib/include/flrbasetype_iri.flh
trunk/flora2/lib/include/flrbasetype_list.flh
trunk/flora2/lib/include/flrbasetype_signatures.flh
trunk/flora2/lib/include/flrbasetype_string.flh
trunk/flora2/lib/include/flrbasetype_symbol.flh
trunk/flora2/pkgs/flrxml_aux.flr
trunk/flora2/pkgs/javaAPI.flr
trunk/flora2/pkgs/persistentmodules.flr
trunk/flora2/pkgs/prettyprint.flr
trunk/flora2/pkgs/visualizer.flr
trunk/flora2-testsuite/apptests/gpmanager/admin_reports.flr
trunk/flora2-testsuite/apptests/gpmanager/constraints.flr
trunk/flora2-testsuite/apptests/gpmanager/gpmanager.flr
trunk/flora2-testsuite/apptests/gpmanager/schema.flr
trunk/flora2-testsuite/apptests/gpmanager/temporal.flr
trunk/flora2-testsuite/apptests/gpmanager/tuition.flr
trunk/flora2-testsuite/apptests/gpmanager_test.flr
trunk/flora2-testsuite/apptests/gradetest.flr
trunk/flora2-testsuite/apptests/programs/Grade.flr
trunk/flora2-testsuite/defeasible/atck1/actions.flr
trunk/flora2-testsuite/defeasible/atck1/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck1/credit_card.flr
trunk/flora2-testsuite/defeasible/atck1/defeasible.flr
trunk/flora2-testsuite/defeasible/atck1/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck1/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck1/strict.flr
trunk/flora2-testsuite/defeasible/atck1/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck1/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck1/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck1alt/actions.flr
trunk/flora2-testsuite/defeasible/atck1alt/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck1alt/credit_card.flr
trunk/flora2-testsuite/defeasible/atck1alt/defeasible.flr
trunk/flora2-testsuite/defeasible/atck1alt/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck1alt/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck1alt/strict.flr
trunk/flora2-testsuite/defeasible/atck1alt/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck1alt/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck1alt/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck2/actions.flr
trunk/flora2-testsuite/defeasible/atck2/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck2/credit_card.flr
trunk/flora2-testsuite/defeasible/atck2/defeasible.flr
trunk/flora2-testsuite/defeasible/atck2/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck2/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck2/strict.flr
trunk/flora2-testsuite/defeasible/atck2/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck2/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck2/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck2alt/actions.flr
trunk/flora2-testsuite/defeasible/atck2alt/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck2alt/credit_card.flr
trunk/flora2-testsuite/defeasible/atck2alt/defeasible.flr
trunk/flora2-testsuite/defeasible/atck2alt/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck2alt/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck2alt/strict.flr
trunk/flora2-testsuite/defeasible/atck2alt/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck2alt/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck2alt/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck3/actions.flr
trunk/flora2-testsuite/defeasible/atck3/cancel_test.flr
trunk/flora2-testsuite/defeasible/atck3/credit_card.flr
trunk/flora2-testsuite/defeasible/atck3/defeasible.flr
trunk/flora2-testsuite/defeasible/atck3/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck3/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck3/strict.flr
trunk/flora2-testsuite/defeasible/atck3/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck3/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atco/actions.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific2_load.flr
trunk/flora2-testsuite/defeasible/atco/cancel_test.flr
trunk/flora2-testsuite/defeasible/atco/credit_card.flr
trunk/flora2-testsuite/defeasible/atco/defeasible.flr
trunk/flora2-testsuite/defeasible/atco/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atco/strict.flr
trunk/flora2-testsuite/defeasible/atco/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atco/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atco/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atco2/actions.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific2_load.flr
trunk/flora2-testsuite/defeasible/atco2/cancel_test.flr
trunk/flora2-testsuite/defeasible/atco2/credit_card.flr
trunk/flora2-testsuite/defeasible/atco2/defeasible.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test.flr
trunk/flora2-testsuite/defeasible/atco2/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atco2/strict.flr
trunk/flora2-testsuite/defeasible/atco2/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atco2/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atco2/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atco3/actions.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific2_load.flr
trunk/flora2-testsuite/defeasible/atco3/cancel_test.flr
trunk/flora2-testsuite/defeasible/atco3/credit_card.flr
trunk/flora2-testsuite/defeasible/atco3/defeasible.flr
trunk/flora2-testsuite/defeasible/atco3/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atco3/strict.flr
trunk/flora2-testsuite/defeasible/atco3/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atco3/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atco3/tricky_tests.flr
trunk/flora2-testsuite/defeasible/new_gclp/actions.flr
trunk/flora2-testsuite/defeasible/new_gclp/cancel_test.flr
trunk/flora2-testsuite/defeasible/new_gclp/credit_card.flr
trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible.flr
trunk/flora2-testsuite/defeasible/new_gclp/defeasible.flr
trunk/flora2-testsuite/defeasible/new_gclp/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/new_gclp/strict.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/defeasible/old_gclp/actions.flr
trunk/flora2-testsuite/defeasible/old_gclp/cancel_test.flr
trunk/flora2-testsuite/defeasible/old_gclp/credit_card.flr
trunk/flora2-testsuite/defeasible/old_gclp/defeasible.flr
trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/old_gclp/strict.flr
trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/old_gclp/tricky_tests.flr
trunk/flora2-testsuite/delaystests/test_delays.flr
trunk/flora2-testsuite/exporttest/export_test.flr
trunk/flora2-testsuite/exporttest/importmodule.flr
trunk/flora2-testsuite/general_tests/add_load.flr
trunk/flora2-testsuite/general_tests/agent.flr
trunk/flora2-testsuite/general_tests/aggregate.flr
trunk/flora2-testsuite/general_tests/basetypes.flr
trunk/flora2-testsuite/general_tests/btupdates2.flr
trunk/flora2-testsuite/general_tests/btupdates_load.flr
trunk/flora2-testsuite/general_tests/callReified.flr
trunk/flora2-testsuite/general_tests/canon.flr
trunk/flora2-testsuite/general_tests/clause.flr
trunk/flora2-testsuite/general_tests/clauseWithLabel.flr
trunk/flora2-testsuite/general_tests/codeinheritance_simulated.flr
trunk/flora2-testsuite/general_tests/collectanswers.flr
trunk/flora2-testsuite/general_tests/composite_class.flr
trunk/flora2-testsuite/general_tests/decodetest.flr
trunk/flora2-testsuite/general_tests/delaytest.flr
trunk/flora2-testsuite/general_tests/delaytest2.flr
trunk/flora2-testsuite/general_tests/descriptors.flr
trunk/flora2-testsuite/general_tests/dyn_fbasics.flr
trunk/flora2-testsuite/general_tests/dyn_pps.flr
trunk/flora2-testsuite/general_tests/enable.flr
trunk/flora2-testsuite/general_tests/equaltest.flr
trunk/flora2-testsuite/general_tests/explicit_neg_undefined.flr
trunk/flora2-testsuite/general_tests/explicit_negation.flr
trunk/flora2-testsuite/general_tests/family.flr
trunk/flora2-testsuite/general_tests/flogic_basics.flr
trunk/flora2-testsuite/general_tests/groundpattern.flr
trunk/flora2-testsuite/general_tests/guizhen.flr
trunk/flora2-testsuite/general_tests/hashtest.flr
trunk/flora2-testsuite/general_tests/hypothetical.flr
trunk/flora2-testsuite/general_tests/incr_abolish.flr
trunk/flora2-testsuite/general_tests/incremental.flr
trunk/flora2-testsuite/general_tests/incremental2.flr
trunk/flora2-testsuite/general_tests/inher_termination.flr
trunk/flora2-testsuite/general_tests/inherit_with_descriptors.flr
trunk/flora2-testsuite/general_tests/inheritance_boolmeth.flr
trunk/flora2-testsuite/general_tests/inheritance_guard.flr
trunk/flora2-testsuite/general_tests/intermod_neg.flr
trunk/flora2-testsuite/general_tests/justifier.flr
trunk/flora2-testsuite/general_tests/london_map.flr
trunk/flora2-testsuite/general_tests/meta_unification.flr
trunk/flora2-testsuite/general_tests/metaupdates.flr
trunk/flora2-testsuite/general_tests/metavar.flr
trunk/flora2-testsuite/general_tests/module_syntax.flr
trunk/flora2-testsuite/general_tests/moduletst.flr
trunk/flora2-testsuite/general_tests/mon_inherit.flr
trunk/flora2-testsuite/general_tests/neg_meta_unification.flr
trunk/flora2-testsuite/general_tests/negation.flr
trunk/flora2-testsuite/general_tests/noinheritance.flr
trunk/flora2-testsuite/general_tests/nonmon_inherit.flr
trunk/flora2-testsuite/general_tests/nonmon_inherit2.flr
trunk/flora2-testsuite/general_tests/notexists.flr
trunk/flora2-testsuite/general_tests/pps.flr
trunk/flora2-testsuite/general_tests/prefix.flr
trunk/flora2-testsuite/general_tests/pretty.flr
trunk/flora2-testsuite/general_tests/prolog_directive.flr
trunk/flora2-testsuite/general_tests/prolog_tests.flr
trunk/flora2-testsuite/general_tests/properties.flr
trunk/flora2-testsuite/general_tests/rector.flr
trunk/flora2-testsuite/general_tests/reif.flr
trunk/flora2-testsuite/general_tests/reification.flr
trunk/flora2-testsuite/general_tests/reifiedRules.flr
trunk/flora2-testsuite/general_tests/ruleupdates_load.flr
trunk/flora2-testsuite/general_tests/sensortest.flr
trunk/flora2-testsuite/general_tests/services.flr
trunk/flora2-testsuite/general_tests/services_incr.flr
trunk/flora2-testsuite/general_tests/sortby.flr
trunk/flora2-testsuite/general_tests/tabledupdates_load.flr
trunk/flora2-testsuite/general_tests/tabletest.flr
trunk/flora2-testsuite/general_tests/tbl_ruledeletes.flr
trunk/flora2-testsuite/general_tests/terminyzer0.flr
trunk/flora2-testsuite/general_tests/terminyzer1.flr
trunk/flora2-testsuite/general_tests/terminyzer2.flr
trunk/flora2-testsuite/general_tests/trailer.flr
trunk/flora2-testsuite/general_tests/typecheck.flr
trunk/flora2-testsuite/general_tests/typelist.flr
trunk/flora2-testsuite/general_tests/undefined.flr
trunk/flora2-testsuite/general_tests/wives.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_load1.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_load2.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_nowarn_load1.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_nowarn_load2.flr
trunk/flora2-testsuite/symbols/test_load/test_symbols_warnoff_load1.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_transact.flr
Added Paths:
-----------
trunk/flora2/genincludes/flrindex_static_P.fli
trunk/flora2/genincludes/flrtable_always.fli
trunk/flora2-testsuite/defeasible/atck3/tricky_tests.flr
|
|
From: <ki...@us...> - 2013-10-05 04:53:22
|
Revision: 1045
http://sourceforge.net/p/flora/src/1045
Author: kifer
Date: 2013-10-05 04:53:19 +0000 (Sat, 05 Oct 2013)
Log Message:
-----------
when compiling complex molecules, out the code for class membership and subclassing last rather than first. Observations show that class membership/subclassing are usually expensive.
Modified Paths:
--------------
trunk/flora2/AT/atck1alt.flr
trunk/flora2/AT/atck2.flr
trunk/flora2/AT/atck3.flr
trunk/flora2/AT/gclpe.flr
trunk/flora2/AT/ogclpe.flr
trunk/flora2/flrcompiler.P
trunk/flora2-testsuite/general_tests/decodetest_old
trunk/flora2-testsuite/general_tests/pretty.flr
trunk/flora2-testsuite/general_tests/pretty_old
trunk/flora2-testsuite/general_tests/reification_old
|
|
From: <ki...@us...> - 2013-10-03 05:17:22
|
Revision: 1044
http://sourceforge.net/p/flora/src/1044
Author: kifer
Date: 2013-10-03 05:17:19 +0000 (Thu, 03 Oct 2013)
Log Message:
-----------
In flora_term_to_atom_quote, add quotes to atoms that don't require them. This predicate is used in the SQL interface, which always needs everything to be quoted.
Modified Paths:
--------------
trunk/flora2/flrporting.P
|
|
From: <ki...@us...> - 2013-10-01 22:48:05
|
Revision: 1043
http://sourceforge.net/p/flora/src/1043
Author: kifer
Date: 2013-10-01 22:48:03 +0000 (Tue, 01 Oct 2013)
Log Message:
-----------
added transactional enable/disable primitives
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrsimpleprimitive.P
trunk/flora2/syslib/flrdescriptor_support.P
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2013-10-01 17:29:10
|
Revision: 1042
http://sourceforge.net/p/flora/src/1042
Author: kifer
Date: 2013-10-01 17:29:07 +0000 (Tue, 01 Oct 2013)
Log Message:
-----------
updated the enable/disable description
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
|
|
From: <ki...@us...> - 2013-10-01 03:23:53
|
Revision: 1041
http://sourceforge.net/p/flora/src/1041
Author: kifer
Date: 2013-10-01 03:23:51 +0000 (Tue, 01 Oct 2013)
Log Message:
-----------
added the properties file-> and module-> to rule descriptor queries
updated the manual
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/flrutils.P
trunk/flora2/syslib/flrdynrule.P
|
|
From: <ki...@us...> - 2013-09-30 05:57:10
|
Revision: 1040
http://sourceforge.net/p/flora/src/1040
Author: kifer
Date: 2013-09-30 05:57:09 +0000 (Mon, 30 Sep 2013)
Log Message:
-----------
updated test. the old one had duplicate rule ids, which were not being checked.
Modified Paths:
--------------
trunk/flora2-testsuite/general_tests/descriptors.flr
trunk/flora2-testsuite/general_tests/descriptors_old
|
|
From: <ki...@us...> - 2013-09-30 05:57:08
|
Revision: 1039
http://sourceforge.net/p/flora/src/1039
Author: kifer
Date: 2013-09-30 05:57:06 +0000 (Mon, 30 Sep 2013)
Log Message:
-----------
rule id duplication was not being reported. fixed
Modified Paths:
--------------
trunk/flora2/flrutils.P
trunk/flora2/syslib/flrdynrule.P
|
|
From: <ki...@us...> - 2013-09-30 04:46:01
|
Revision: 1038
http://sourceforge.net/p/flora/src/1038
Author: kifer
Date: 2013-09-30 04:45:59 +0000 (Mon, 30 Sep 2013)
Log Message:
-----------
mostly done with textual info. several parse bugs fixed.
some work remains to enable queryin file/module of rules in rule descriptor queries.
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrcoder.H
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_extensions.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/syslib/Makefile
trunk/flora2/syslib/NMakefile.mak
trunk/flora2/syslib/flrcanon.P
trunk/flora2-testsuite/general_tests/descriptors.flr
trunk/flora2-testsuite/general_tests/neg_meta_unification.flr
trunk/flora2-testsuite/test_dir.sh
|
|
From: <ki...@us...> - 2013-09-30 04:45:55
|
Revision: 1037
http://sourceforge.net/p/flora/src/1037
Author: kifer
Date: 2013-09-30 04:45:53 +0000 (Mon, 30 Sep 2013)
Log Message:
-----------
fixed the
?- @!{abc}.
composer bug.
Modified Paths:
--------------
trunk/flora2/flrcomposer.P
|
|
From: <ki...@us...> - 2013-09-30 04:45:51
|
Revision: 1036
http://sourceforge.net/p/flora/src/1036
Author: kifer
Date: 2013-09-30 04:45:44 +0000 (Mon, 30 Sep 2013)
Log Message:
-----------
1. rule id is now local rule id+filename
2. default rule id is now a rule number+filename
3. rule number is exported in the rule signature (except for dynamically inserted rules)
4. a number of bugs fixed
Modified Paths:
--------------
trunk/flora2/AT/atck1alt.flr
trunk/flora2/AT/atck2.flr
trunk/flora2/AT/atck3.flr
trunk/flora2/AT/atco.flr
trunk/flora2/AT/atco2.flr
trunk/flora2/AT/atco3.flr
trunk/flora2/AT/flrgclp.flr
trunk/flora2/AT/gclpe.flr
trunk/flora2/AT/include/atco.flh
trunk/flora2/AT/ogclp.flr
trunk/flora2/AT/ogclpe.flr
trunk/flora2/AT/prolog/atco_init.P
trunk/flora2/AT/sgclp.flr
trunk/flora2/datatypes/flrdatatype_parse.P
trunk/flora2/debugger/dynamic_data.in
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrdependency.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrincludes/flora_wspredicates.flh
trunk/flora2/flrlexer.P
trunk/flora2/flrparser.P
trunk/flora2/flrsimpleprimitive.P
trunk/flora2/flrundefhook.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/genincludes/flrdescriptor_metafacts.fli
trunk/flora2/genincludes/flrdyndeclare.fli
trunk/flora2/genincludes/flrindex_P.fli
trunk/flora2/lib/flrbasetype.flr
trunk/flora2/lib/flrio.flr
trunk/flora2/lib/flrparse.flr
trunk/flora2/lib/flrstorage.flr
trunk/flora2/lib/flrsystem.flr
trunk/flora2/lib/flrtypeconstraint.flr
trunk/flora2/pkgs/flrxml_aux.flr
trunk/flora2/pkgs/javaAPI.flr
trunk/flora2/pkgs/persistentmodules.flr
trunk/flora2/pkgs/prettyprint.flr
trunk/flora2/pkgs/visualizer.flr
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrclause.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2/syslib/flrdescriptor_support.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/syslib/flrrulesigops.P
trunk/flora2-testsuite/defeasible/atco/actions.flr
trunk/flora2-testsuite/defeasible/atco/actions_load_old
trunk/flora2-testsuite/defeasible/atco/actions_old
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_specific2_load_old
trunk/flora2-testsuite/defeasible/atco/atco_specific_aux.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific_old
trunk/flora2-testsuite/defeasible/atco2/actions.flr
trunk/flora2-testsuite/defeasible/atco2/actions_load_old
trunk/flora2-testsuite/defeasible/atco2/actions_old
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_specific2_load_old
trunk/flora2-testsuite/defeasible/atco2/atco_specific_aux.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific_old
trunk/flora2-testsuite/defeasible/atco2/justification_test.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_just.flr
trunk/flora2-testsuite/defeasible/atco3/actions.flr
trunk/flora2-testsuite/defeasible/atco3/actions_load_old
trunk/flora2-testsuite/defeasible/atco3/actions_old
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_specific2_load_old
trunk/flora2-testsuite/defeasible/atco3/atco_specific_aux.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific_old
trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_load_old
trunk/flora2-testsuite/defeasible/new_gclp/defaultdefeasible_old
trunk/flora2-testsuite/general_tests/add_load_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/enable.flr
trunk/flora2-testsuite/general_tests/services.flr
trunk/flora2-testsuite/general_tests/table_dump_old
Added Paths:
-----------
trunk/flora2/.gitignore
trunk/flora2-performance/compiletests/clarklog2.flr
|
|
From: <ki...@us...> - 2013-09-09 05:32:43
|
Revision: 1035
http://sourceforge.net/p/flora/src/1035
Author: kifer
Date: 2013-09-09 05:32:41 +0000 (Mon, 09 Sep 2013)
Log Message:
-----------
dead code elimination
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
|
|
From: <ki...@us...> - 2013-09-09 01:19:21
|
Revision: 1034
http://sourceforge.net/p/flora/src/1034
Author: kifer
Date: 2013-09-09 01:19:20 +0000 (Mon, 09 Sep 2013)
Log Message:
-----------
Fixed a bug where rule meta info might not be fully loaded by the time the first query is asked.
Now rule signatures are loaded before any rules or queries in the same file.
Added tests for this case.
Modified Paths:
--------------
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
Added Paths:
-----------
trunk/flora2-testsuite/general_tests/miguel_test.flr
trunk/flora2-testsuite/general_tests/miguel_test_old
|
|
From: <ki...@us...> - 2013-09-09 01:19:18
|
Revision: 1033
http://sourceforge.net/p/flora/src/1033
Author: kifer
Date: 2013-09-09 01:19:14 +0000 (Mon, 09 Sep 2013)
Log Message:
-----------
some cleanup with respect to import of predicates
Modified Paths:
--------------
trunk/flora2/closure/flrcommon.fli
trunk/flora2/flora2.P
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2/genincludes/flrpreddef.fli
trunk/flora2/syslib/flrdecode.P
trunk/flora2-website/images/flora.ico
trunk/flora2-website/images/flora2.ico
Added Paths:
-----------
trunk/flora2-website/images/flora-desktop.ico
trunk/flora2-website/images/flora-desktop.jpg
trunk/flora2-website/images/floraicon2.jpg
|
|
From: <ki...@us...> - 2013-09-03 07:22:10
|
Revision: 1032
http://sourceforge.net/p/flora/src/1032
Author: kifer
Date: 2013-09-03 07:22:09 +0000 (Tue, 03 Sep 2013)
Log Message:
-----------
fixed the bug in parsing, which was preventing parsing @!{aaaa} (bb).
Modified Paths:
--------------
trunk/flora2/flrcomposer.P
trunk/flora2/flroperator.P
trunk/flora2/flrparser.P
trunk/flora2-testsuite/general_tests/descriptors.flr
|
|
From: <ki...@us...> - 2013-09-03 07:22:05
|
Revision: 1031
http://sourceforge.net/p/flora/src/1031
Author: kifer
Date: 2013-09-03 07:22:03 +0000 (Tue, 03 Sep 2013)
Log Message:
-----------
added compile tests
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
Added Paths:
-----------
trunk/flora2-performance/compiletests/
trunk/flora2-performance/compiletests/bio_carl.flr
trunk/flora2-performance/compiletests/biologyKB.flr
trunk/flora2-performance/compiletests/clarklog.flr
|
|
From: <ki...@us...> - 2013-09-03 07:21:52
|
Revision: 1030
http://sourceforge.net/p/flora/src/1030
Author: kifer
Date: 2013-09-03 07:21:51 +0000 (Tue, 03 Sep 2013)
Log Message:
-----------
In flrgclp, reduction in the number of tables generated. Should propagate to other ATs.
minor changes elsewhere
Modified Paths:
--------------
trunk/flora2/AT/flrgclp.flr
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2/syslib/flrnegation.P
|
|
From: <ki...@us...> - 2013-09-03 07:21:49
|
Revision: 1029
http://sourceforge.net/p/flora/src/1029
Author: kifer
Date: 2013-09-03 07:21:47 +0000 (Tue, 03 Sep 2013)
Log Message:
-----------
web site update
Modified Paths:
--------------
trunk/flora2-website/aboutFlogic.html
trunk/flora2-website/aboutTR.html
trunk/flora2-website/relatedWorks.html
|
|
From: <ki...@us...> - 2013-09-03 07:21:46
|
Revision: 1028
http://sourceforge.net/p/flora/src/1028
Author: kifer
Date: 2013-09-03 07:21:42 +0000 (Tue, 03 Sep 2013)
Log Message:
-----------
fixed broken links on web site
Modified Paths:
--------------
trunk/flora2-website/aboutFlogic.html
trunk/flora2-website/aboutTR.html
trunk/flora2-website/florahome.html
trunk/flora2-website/relatedWorks.html
|
|
From: <ki...@us...> - 2013-08-15 19:23:30
|
Revision: 1027
http://sourceforge.net/p/flora/src/1027
Author: kifer
Date: 2013-08-15 19:23:27 +0000 (Thu, 15 Aug 2013)
Log Message:
-----------
added special case for comparing numbers.
previously numbers were compared using @>, which was giving counterintuitive results because 0 @> 4.0
Modified Paths:
--------------
trunk/flora2/syslib/flraggmax.P
trunk/flora2/syslib/flraggmin.P
|