flora-commits Mailing List for Flora-2 (Page 4)
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...> - 2014-05-20 05:12:07
|
Revision: 1176
http://sourceforge.net/p/flora/src/1176
Author: kifer
Date: 2014-05-20 05:12:05 +0000 (Tue, 20 May 2014)
Log Message:
-----------
warning fix
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-05-20 05:12:00
|
Revision: 1175
http://sourceforge.net/p/flora/src/1175
Author: kifer
Date: 2014-05-20 05:11:57 +0000 (Tue, 20 May 2014)
Log Message:
-----------
bug fixes in UDFs
improvements in the compiler
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrdependency.P
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/version.flh
trunk/flora2-performance/compiletests/bio_carl.flr
trunk/flora2-performance/compiletests/biologyKB.flr
trunk/flora2-testsuite/functions/test_func_body.flr
trunk/flora2-testsuite/functions/test_func_body_old
trunk/flora2-testsuite/general_tests/compiletest_flora_old
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2014-05-17 01:40:30
|
Revision: 1174
http://sourceforge.net/p/flora/src/1174
Author: kifer
Date: 2014-05-17 01:40:28 +0000 (Sat, 17 May 2014)
Log Message:
-----------
fixed the semantics of udfs
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/lib/flrbasetype.flr
trunk/flora2/lib/include/flrbasetype_list.flh
trunk/flora2/syslib/flrudf.P
trunk/flora2/version.flh
trunk/flora2-testsuite/functions/test_func_eq.flr
trunk/flora2-testsuite/functions/test_func_eq_old
trunk/flora2-testsuite/functions/test_func_facts.flr
trunk/flora2-testsuite/functions/test_func_facts_load_old
trunk/flora2-testsuite/functions/test_func_facts_old
trunk/flora2-testsuite/functions/test_func_head_old
trunk/flora2-testsuite/functions/test_func_obj_old
trunk/flora2-testsuite/functions/test_udf_hilog_pred.flr
trunk/flora2-testsuite/functions/test_udf_hilog_pred2_old
trunk/flora2-testsuite/functions/test_udf_hilog_pred_old
Added Paths:
-----------
trunk/flora2-testsuite/functions/test_func_partial.flr
trunk/flora2-testsuite/functions/test_func_partial_old
|
|
From: <ki...@us...> - 2014-05-15 02:40:25
|
Revision: 1173
http://sourceforge.net/p/flora/src/1173
Author: kifer
Date: 2014-05-15 02:40:20 +0000 (Thu, 15 May 2014)
Log Message:
-----------
fixes to make sure unification handlers and flrload.P are loaded when needed.
Modified Paths:
--------------
trunk/flora2/syslib/flranswer.P
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrimportedcalls.P
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-05-11 06:45:08
|
Revision: 1172
http://sourceforge.net/p/flora/src/1172
Author: kifer
Date: 2014-05-11 06:45:04 +0000 (Sun, 11 May 2014)
Log Message:
-----------
added typed vars, fixed a bug with forall
Modified Paths:
--------------
trunk/flora2/closure/flrcommon.fli
trunk/flora2/closure/flrtypes.fli
trunk/flora2/datatypes/flrdatatype.P
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_datatype_symbols.flh
trunk/flora2/flrincludes/flora_var_attributes.flh
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrsynonym.P
trunk/flora2/includes/flr_fld_standardtypes.flh
trunk/flora2/lib/flrshow.flr
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrunify_handlers.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/basetypes_old
trunk/flora2-testsuite/general_tests/lt.flr
trunk/flora2-testsuite/general_tests/lt_old
Added Paths:
-----------
trunk/flora2-testsuite/general_tests/typedvars.flr
trunk/flora2-testsuite/general_tests/typedvars_old
|
|
From: <ki...@us...> - 2014-05-06 05:31:43
|
Revision: 1171
http://sourceforge.net/p/flora/src/1171
Author: kifer
Date: 2014-05-06 05:31:40 +0000 (Tue, 06 May 2014)
Log Message:
-----------
overhaul of builtin data types. in most cases they translate directly to datalog, which makes them much more uniformly integrated and efficient. Fixed problems with type variables.
Modified Paths:
--------------
trunk/flora2/datatypes/flrdatatype.P
trunk/flora2/datatypes/flrdatatype_parse.P
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_datatype_symbols.flh
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrincludes/flora_var_attributes.flh
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrsimpleprimitive.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/lib/flrbasetype.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/syslib/flrdelaysupport.P
trunk/flora2/syslib/flrgateway.P
trunk/flora2/syslib/flrunify_handlers.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/basetypes_old
trunk/flora2-testsuite/general_tests/compile_control.flr
trunk/flora2-testsuite/general_tests/typelist_old
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2014-05-02 06:04:34
|
Revision: 1170
http://sourceforge.net/p/flora/src/1170
Author: kifer
Date: 2014-05-02 06:04:30 +0000 (Fri, 02 May 2014)
Log Message:
-----------
new system module: \show. Gets printable representation for Flora-2 terms/goals
a number of small bug fixes
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlexer.H
trunk/flora2/flrlexer.P
trunk/flora2/flrlibman.P
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrsynonym.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/flrwrapper.P
trunk/flora2/lib/Makefile
trunk/flora2/lib/NMakefile.mak
trunk/flora2/syslib/flrdecode.P
trunk/flora2/version.flh
trunk/flora2-website/release_notes.html
Added Paths:
-----------
trunk/flora2/lib/flrshow.flr
|
|
From: <ki...@us...> - 2014-04-28 03:18:59
|
Revision: 1169
http://sourceforge.net/p/flora/src/1169
Author: kifer
Date: 2014-04-28 03:18:57 +0000 (Mon, 28 Apr 2014)
Log Message:
-----------
better explanations
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-04-28 03:18:54
|
Revision: 1168
http://sourceforge.net/p/flora/src/1168
Author: kifer
Date: 2014-04-28 03:18:52 +0000 (Mon, 28 Apr 2014)
Log Message:
-----------
minor
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-04-28 02:46:57
|
Revision: 1167
http://sourceforge.net/p/flora/src/1167
Author: kifer
Date: 2014-04-28 02:46:56 +0000 (Mon, 28 Apr 2014)
Log Message:
-----------
silence compiler
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
|
|
From: <ki...@us...> - 2014-04-28 02:46:54
|
Revision: 1166
http://sourceforge.net/p/flora/src/1166
Author: kifer
Date: 2014-04-28 02:46:52 +0000 (Mon, 28 Apr 2014)
Log Message:
-----------
clean up xsb stack after each query
Modified Paths:
--------------
trunk/flora2/AT/flrgclp.flr
trunk/flora2/flora2.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrshell.H
trunk/flora2/flrshell.P
trunk/flora2/syslib/flranswer.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/textual_load_old
|
|
From: <ki...@us...> - 2014-04-26 04:52:55
|
Revision: 1165
http://sourceforge.net/p/flora/src/1165
Author: kifer
Date: 2014-04-26 04:52:52 +0000 (Sat, 26 Apr 2014)
Log Message:
-----------
added LT to reified formulas and other small improvements
Modified Paths:
--------------
trunk/flora2/closure/flrcommon.fli
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/flrnoeqltrailer.fli
trunk/flora2/closure/flrnoeqltrailer_inh.fli
trunk/flora2/closure/flrnoeqltrailer_neg.inc
trunk/flora2/closure/flrnoeqltrailer_neg_inh.inc
trunk/flora2/docs/hash-proposal
trunk/flora2/docs/predicate-dependency.txt
trunk/flora2/flrcompiler.P
trunk/flora2/flrparser.P
trunk/flora2/flrshell.P
trunk/flora2/syslib/flranswer.P
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/syslib/flrtruthvalue.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/traced_call.flr
trunk/flora2-testsuite/general_tests/traced_call_old
Added Paths:
-----------
trunk/flora2/syslib/.gitignore
|
|
From: <ki...@us...> - 2014-04-15 05:46:26
|
Revision: 1164
http://sourceforge.net/p/flora/src/1164
Author: kifer
Date: 2014-04-15 05:46:23 +0000 (Tue, 15 Apr 2014)
Log Message:
-----------
removed unnecessary trimming operations when inserting into trie dbs
fixed bug in \load, \add
added isbasefact{Call,StoredFact}
\production(on/off) ~~> production{on/off}
Modified Paths:
--------------
trunk/flora2/demos/family_obj.flr
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrarguments.P
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrprolog.P
trunk/flora2/flrsimpleprimitive.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/syslib/flrbtdbop.P
trunk/flora2/syslib/flrdbop.P
trunk/flora2/syslib/flrload.P
trunk/flora2/syslib/flrstoragebase.P
trunk/flora2/syslib/flrstorageutils.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/add_load.flr
trunk/flora2-testsuite/general_tests/newoidtest.flr
trunk/flora2-testsuite/general_tests/reifiedRules.flr
|
|
From: <ki...@us...> - 2014-04-12 01:27:35
|
Revision: 1163
http://sourceforge.net/p/flora/src/1163
Author: kifer
Date: 2014-04-12 01:27:32 +0000 (Sat, 12 Apr 2014)
Log Message:
-----------
allow calling delayed literals, like \is, using the @foo metaphore. @foo is ignored.
fix problems with \load,\add when loading prolog files
Added optimize{...} instead of \optimize.
Modified Paths:
--------------
trunk/flora2/demos/benchmark.flr
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrparser.P
trunk/flora2/flrsimpleprimitive.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrload.P
trunk/flora2/syslib/flroptimize.P
trunk/flora2/version.flh
trunk/flora2-testsuite/apptests/gpmanager_test.flr
trunk/flora2-testsuite/general_tests/guizhen.flr
trunk/flora2-testsuite/general_tests/inher_termination.flr
trunk/flora2-testsuite/general_tests/london_map.flr
trunk/flora2-testsuite/general_tests/wine2.flr
|
|
From: <ki...@us...> - 2014-04-05 08:23:32
|
Revision: 1162
http://sourceforge.net/p/flora/src/1162
Author: kifer
Date: 2014-04-05 08:23:30 +0000 (Sat, 05 Apr 2014)
Log Message:
-----------
added preferred synonyms isinteger{...} isskolem{...} isatom{...} etc.
Modified Paths:
--------------
trunk/flora2/AT/atco.flr
trunk/flora2/AT/atco2.flr
trunk/flora2/AT/atco3.flr
trunk/flora2/AT/flrgclp.flr
trunk/flora2/AT/include/change_module.flh
trunk/flora2/AT/ogclp.flr
trunk/flora2/AT/sgclp.flr
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrarguments.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrsimpleprimitive.P
trunk/flora2/lib/flrbasetype.flr
trunk/flora2/lib/flrio.flr
trunk/flora2/lib/flrsystem.flr
trunk/flora2/lib/flrtypeconstraint.flr
trunk/flora2/lib/include/flrbasetype_list.flh
trunk/flora2/lib/include/flrbasetype_string.flh
trunk/flora2/pkgs/flrxml_aux.flr
trunk/flora2/pkgs/javaAPI.flr
trunk/flora2/pkgs/prettyprint.flr
trunk/flora2/pkgs/visualizer.flr
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2/version.flh
trunk/flora2-testsuite/apptests/gpmanager/gpmanager.flr
trunk/flora2-testsuite/apptests/gpmanager/temporal.flr
trunk/flora2-testsuite/apptests/gpmanager/tuition.flr
trunk/flora2-testsuite/defeasible/atck1/actions.flr
trunk/flora2-testsuite/defeasible/atck1alt/actions.flr
trunk/flora2-testsuite/defeasible/atck2/actions.flr
trunk/flora2-testsuite/defeasible/atck2alt/actions.flr
trunk/flora2-testsuite/defeasible/atck3/actions.flr
trunk/flora2-testsuite/defeasible/atco/actions.flr
trunk/flora2-testsuite/defeasible/atco2/actions.flr
trunk/flora2-testsuite/defeasible/atco3/actions.flr
trunk/flora2-testsuite/defeasible/new_gclp/actions.flr
trunk/flora2-testsuite/defeasible/old_gclp/actions.flr
trunk/flora2-testsuite/functions/test_func_arithmetics.flr
trunk/flora2-testsuite/general_tests/add_load.flr
trunk/flora2-testsuite/general_tests/add_load_old
trunk/flora2-testsuite/general_tests/equaltest.flr
trunk/flora2-testsuite/general_tests/family.flr
trunk/flora2-testsuite/general_tests/groundpattern.flr
trunk/flora2-testsuite/general_tests/moduletst.flr
trunk/flora2-testsuite/general_tests/mon_inherit.flr
trunk/flora2-testsuite/general_tests/prolog_tests.flr
trunk/flora2-testsuite/general_tests/reif.flr
trunk/flora2-testsuite/general_tests/sensortest_declarations.flr
trunk/flora2-testsuite/general_tests/services_incr.flr
trunk/flora2-testsuite/java/quotation/test/sqwrl.flr
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2014-04-05 05:43:28
|
Revision: 1161
http://sourceforge.net/p/flora/src/1161
Author: kifer
Date: 2014-04-05 05:43:25 +0000 (Sat, 05 Apr 2014)
Log Message:
-----------
added load{...}, add{...}, isbasefact{...} and friends as preferred synonyms.
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/ogclp.flr
trunk/flora2/AT/ogclpe.flr
trunk/flora2/AT/sgclp.flr
trunk/flora2/demos/db_test1.flr
trunk/flora2/demos/db_test2.flr
trunk/flora2/demos/db_test3.flr
trunk/flora2/demos/db_test4.flr
trunk/flora2/demos/sgml/sgmltest.flr
trunk/flora2/demos/xpath/xpathtest.flr
trunk/flora2/docs/flora-flrjava.tex
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/emacs/flora.el
trunk/flora2/flora2.P
trunk/flora2/flrarguments.H
trunk/flora2/flrarguments.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrprolog.P
trunk/flora2/flrshell.P
trunk/flora2/flrsimpleprimitive.P
trunk/flora2/lib/flrtypeconstraint.flr
trunk/flora2/pkgs/flrxml_aux.flr
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrload.P
trunk/flora2/syslib/flrstorageutils.P
trunk/flora2/version.flh
trunk/flora2-testsuite/datafiles/flora_query_caller
trunk/flora2-testsuite/delaystests/errors_tests.flr
trunk/flora2-testsuite/exporttest/export_compile_test.flr
trunk/flora2-testsuite/functions/errors_warnings_tests.flr
trunk/flora2-testsuite/functions/test_func_modules1.flr
trunk/flora2-testsuite/functions/test_func_modules2.flr
trunk/flora2-testsuite/general_tests/add_load.flr
trunk/flora2-testsuite/general_tests/compiletest.flr
trunk/flora2-testsuite/general_tests/cranial.flr
trunk/flora2-testsuite/general_tests/depchecktest.flr
trunk/flora2-testsuite/general_tests/importloop_aux1.flr
trunk/flora2-testsuite/general_tests/importloop_aux2.flr
trunk/flora2-testsuite/general_tests/loadloop.flr
trunk/flora2-testsuite/general_tests/loadloop_aux1.flr
trunk/flora2-testsuite/general_tests/loadloop_aux2.flr
trunk/flora2-testsuite/general_tests/wine2.flr
trunk/flora2-testsuite/symbols/symbol_context_syntax.flr
trunk/flora2-testsuite/symbols/symbols_load_tests.flr
trunk/flora2-testsuite/symbols/symbols_nowarn_load_tests.flr
trunk/flora2-testsuite/symbols/symbols_tests.flr
trunk/flora2-testsuite/symbols/symbols_warnoff_load_tests.flr
trunk/flora2-testsuite/symbols/test_udf_hilog_pred.flr
trunk/flora2-testsuite/symbols/test_udf_hilog_pred_err.flr
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2014-04-04 16:25:48
|
Revision: 1160
http://sourceforge.net/p/flora/src/1160
Author: kifer
Date: 2014-04-04 16:25:46 +0000 (Fri, 04 Apr 2014)
Log Message:
-----------
version change
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-04-04 16:25:45
|
Revision: 1159
http://sourceforge.net/p/flora/src/1159
Author: kifer
Date: 2014-04-04 16:25:42 +0000 (Fri, 04 Apr 2014)
Log Message:
-----------
better error checking, some parsing fixes
Modified Paths:
--------------
trunk/flora2/emacs/flora.el
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrnodefp.H
trunk/flora2/flrnodefp.P
trunk/flora2/flroperator.P
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/version.flh
trunk/flora2-testsuite/functions/test_builtin_old
|
|
From: <ki...@us...> - 2014-04-01 23:32:13
|
Revision: 1158
http://sourceforge.net/p/flora/src/1158
Author: kifer
Date: 2014-04-01 23:32:10 +0000 (Tue, 01 Apr 2014)
Log Message:
-----------
added context to some operators like ->, =>, etc. They are not operators outside of the frame context any more.
Modified Paths:
--------------
trunk/flora2/flrcomposer.H
trunk/flora2/flrcomposer.P
trunk/flora2/flroperator.P
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-04-01 17:20:08
|
Revision: 1157
http://sourceforge.net/p/flora/src/1157
Author: kifer
Date: 2014-04-01 17:20:05 +0000 (Tue, 01 Apr 2014)
Log Message:
-----------
improvements in treatment of builtin constants
slight cleanup of windows installation
Modified Paths:
--------------
trunk/flora2/NMakefile.mak
trunk/flora2/admin/README
trunk/flora2/admin/windows/flora2.iss
trunk/flora2/admin/windows/flora2bundle.iss
trunk/flora2/emacs/flora.el
trunk/flora2/flrprolog.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrgateway.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/clauseWithLabel_old
trunk/flora2-testsuite/general_tests/enable_old
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2014-03-28 04:40:04
|
Revision: 1156
http://sourceforge.net/p/flora/src/1156
Author: kifer
Date: 2014-03-28 04:40:00 +0000 (Fri, 28 Mar 2014)
Log Message:
-----------
improved error reporting
small bug fixes
Modified Paths:
--------------
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrnodefp.H
trunk/flora2/flrnodefp.P
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrutils.P
trunk/flora2/version.flh
trunk/flora2-testsuite/functions/test_builtin.flr
trunk/flora2-testsuite/functions/test_builtin_old
trunk/flora2-testsuite/symbols/symbols_tests_old
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2014-03-26 21:04:26
|
Revision: 1155
http://sourceforge.net/p/flora/src/1155
Author: kifer
Date: 2014-03-26 21:04:24 +0000 (Wed, 26 Mar 2014)
Log Message:
-----------
fixed the :- op{} bug
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrparser.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-03-26 03:55:55
|
Revision: 1154
http://sourceforge.net/p/flora/src/1154
Author: kifer
Date: 2014-03-26 03:55:54 +0000 (Wed, 26 Mar 2014)
Log Message:
-----------
version change
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-03-26 03:55:49
|
Revision: 1153
http://sourceforge.net/p/flora/src/1153
Author: kifer
Date: 2014-03-26 03:55:42 +0000 (Wed, 26 Mar 2014)
Log Message:
-----------
Merge in syntax changes from the ergo branch
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/include/change_module.flh
trunk/flora2/AT/ogclp.flr
trunk/flora2/AT/ogclpe.flr
trunk/flora2/AT/sgclp.flr
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/closure/flreqltrailer.fli
trunk/flora2/closure/flreqltrailer_inh.fli
trunk/flora2/closure/flreqltrailer_neg.inc
trunk/flora2/closure/flrnoeqltrailer.fli
trunk/flora2/closure/flrnoeqltrailer_inh.fli
trunk/flora2/closure/flrnoeqltrailer_neg.inc
trunk/flora2/datatypes/flrdatatype.P
trunk/flora2/demos/NMakefile.mak
trunk/flora2/demos/aggregate.flr
trunk/flora2/demos/btupdates.flr
trunk/flora2/demos/db_test2.flr
trunk/flora2/demos/db_test3.flr
trunk/flora2/demos/default.flr
trunk/flora2/demos/dyn_pps.flr
trunk/flora2/demos/encap_error_test.flr
trunk/flora2/demos/encap_mod2.flr
trunk/flora2/demos/family_obj.flr
trunk/flora2/demos/family_rel.flr
trunk/flora2/demos/flogic_basics.flr
trunk/flora2/demos/mix.flr
trunk/flora2/demos/owl_benchmark.flr
trunk/flora2/demos/pps.flr
trunk/flora2/demos/pps2.flr
trunk/flora2/demos/rel_ops.flr
trunk/flora2/demos/tree_traversal.flr
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/emacs/flora.el
trunk/flora2/flrarguments.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlexer.P
trunk/flora2/flrnodefp.P
trunk/flora2/flrnowsp.P
trunk/flora2/flroperator.P
trunk/flora2/flrparser.P
trunk/flora2/flrprolog.P
trunk/flora2/flrshell.P
trunk/flora2/flrsynonym.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/java/API/examples/flogicbasicsExample/flogic_basics.flr
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_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/syslib/flrdecode.P
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2/syslib/flrexport.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/syslib/flroptimize.P
trunk/flora2/syslib/flrprefixdef.P
trunk/flora2/syslib/flrsemantics.P
trunk/flora2/syslib/flrtruthvalue.P
trunk/flora2/version.flh
trunk/flora2-testsuite/apptests/gpmanager/admin_reports.flr
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/gpmanager/schema.flr
trunk/flora2-testsuite/apptests/gpmanager/temporal.flr
trunk/flora2-testsuite/apptests/gpmanager/tuition.flr
trunk/flora2-testsuite/apptests/programs/Grade.flr
trunk/flora2-testsuite/apptests/programs/GradingPolicy.flr
trunk/flora2-testsuite/datafiles/clause_data.flr
trunk/flora2-testsuite/datafiles/flora_query_caller
trunk/flora2-testsuite/defeasible/atck1/actions.flr
trunk/flora2-testsuite/defeasible/atck1/actions_load_old
trunk/flora2-testsuite/defeasible/atck1/actions_old
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/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atck1/drive.flr
trunk/flora2-testsuite/defeasible/atck1/drive_seattle.flr
trunk/flora2-testsuite/defeasible/atck1/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck1/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atck1/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck1/strict.flr
trunk/flora2-testsuite/defeasible/atck1/strict_old
trunk/flora2-testsuite/defeasible/atck1/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck1/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck1/toxic.flr
trunk/flora2-testsuite/defeasible/atck1/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck1/tricky_tests_load_old
trunk/flora2-testsuite/defeasible/atck1/tricky_tests_old
trunk/flora2-testsuite/defeasible/atck1alt/actions.flr
trunk/flora2-testsuite/defeasible/atck1alt/actions_load_old
trunk/flora2-testsuite/defeasible/atck1alt/actions_old
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/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atck1alt/drive_seattle.flr
trunk/flora2-testsuite/defeasible/atck1alt/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck1alt/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atck1alt/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck1alt/strict.flr
trunk/flora2-testsuite/defeasible/atck1alt/strict_old
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/atck1alt/tricky_tests_load_old
trunk/flora2-testsuite/defeasible/atck1alt/tricky_tests_old
trunk/flora2-testsuite/defeasible/atck2/actions.flr
trunk/flora2-testsuite/defeasible/atck2/actions_old
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/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atck2/drive.flr
trunk/flora2-testsuite/defeasible/atck2/drive_seattle.flr
trunk/flora2-testsuite/defeasible/atck2/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck2/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atck2/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck2/strict.flr
trunk/flora2-testsuite/defeasible/atck2/strict_old
trunk/flora2-testsuite/defeasible/atck2/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck2/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck2/toxic.flr
trunk/flora2-testsuite/defeasible/atck2/tricky_tests.flr
trunk/flora2-testsuite/defeasible/atck2/tricky_tests_old
trunk/flora2-testsuite/defeasible/atck2alt/actions.flr
trunk/flora2-testsuite/defeasible/atck2alt/actions_old
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/defeasible_bug_test.flr
trunk/flora2-testsuite/defeasible/atck2alt/drive.flr
trunk/flora2-testsuite/defeasible/atck2alt/drive_seattle.flr
trunk/flora2-testsuite/defeasible/atck2alt/mutex_tests.flr
trunk/flora2-testsuite/defeasible/atck2alt/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atck2alt/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck2alt/strict.flr
trunk/flora2-testsuite/defeasible/atck2alt/strict_old
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/atck2alt/tricky_tests_old
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_defeasible.flr
trunk/flora2-testsuite/defeasible/atck3/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atck3/strict.flr
trunk/flora2-testsuite/defeasible/atck3/strict_old
trunk/flora2-testsuite/defeasible/atck3/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/atck3/temp_paradox2.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.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific2_aux.flr
trunk/flora2-testsuite/defeasible/atco/atco_specific_aux.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_defeasible.flr
trunk/flora2-testsuite/defeasible/atco/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atco/strict.flr
trunk/flora2-testsuite/defeasible/atco/strict_old
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.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific2_aux.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific_aux.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/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/atco2/paul_defeasible.flr
trunk/flora2-testsuite/defeasible/atco2/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atco2/strict.flr
trunk/flora2-testsuite/defeasible/atco2/strict_old
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.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific2_aux.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific_aux.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific_old
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_defeasible.flr
trunk/flora2-testsuite/defeasible/atco3/paul_defeasible2.flr
trunk/flora2-testsuite/defeasible/atco3/strict.flr
trunk/flora2-testsuite/defeasible/atco3/strict_old
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/actions_load_old
trunk/flora2-testsuite/defeasible/new_gclp/actions_old
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_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/strict_old
trunk/flora2-testsuite/defeasible/new_gclp/temp_paradox1.flr
trunk/flora2-testsuite/defeasible/new_gclp/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/new_gclp/toxic.flr
trunk/flora2-testsuite/defeasible/new_gclp/tricky_tests.flr
trunk/flora2-testsuite/defeasible/new_gclp/tricky_tests_load_old
trunk/flora2-testsuite/defeasible/new_gclp/tricky_tests_old
trunk/flora2-testsuite/defeasible/old_gclp/actions.flr
trunk/flora2-testsuite/defeasible/old_gclp/actions_load_old
trunk/flora2-testsuite/defeasible/old_gclp/actions_old
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_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/strict_old
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/defeasible/old_gclp/tricky_tests_load_old
trunk/flora2-testsuite/defeasible/old_gclp/tricky_tests_old
trunk/flora2-testsuite/delaystests/errors_tests.flr
trunk/flora2-testsuite/delaystests/nondelaying_strict_undefeat.flr
trunk/flora2-testsuite/delaystests/test_delays.flr
trunk/flora2-testsuite/exporttest/encap_mod1.flr
trunk/flora2-testsuite/exporttest/encap_mod2.flr
trunk/flora2-testsuite/exporttest/encap_syntax_check.flr
trunk/flora2-testsuite/exporttest/error_dynmod.flr
trunk/flora2-testsuite/exporttest/error_invalidsym.flr
trunk/flora2-testsuite/exporttest/error_nonvar.flr
trunk/flora2-testsuite/exporttest/error_nonvar2.flr
trunk/flora2-testsuite/exporttest/error_nonvar3.flr
trunk/flora2-testsuite/exporttest/export_compile_test_old
trunk/flora2-testsuite/exporttest/importmodule.flr
trunk/flora2-testsuite/exporttest/module_foo.flr
trunk/flora2-testsuite/functions/equality/fact_eq.flr
trunk/flora2-testsuite/functions/equality/fact_fun.flr
trunk/flora2-testsuite/functions/equality/fib_eq.flr
trunk/flora2-testsuite/functions/equality/fib_fun.flr
trunk/flora2-testsuite/functions/equality/fib_fun_is.flr
trunk/flora2-testsuite/functions/equality/fib_fun_pred.flr
trunk/flora2-testsuite/functions/equality/test1.flr
trunk/flora2-testsuite/functions/equality/test2.flr
trunk/flora2-testsuite/functions/equality/test_prolog.flr
trunk/flora2-testsuite/functions/errors_warnings_tests/test_func_errors.flr
trunk/flora2-testsuite/functions/errors_warnings_tests/test_func_warnings.flr
trunk/flora2-testsuite/functions/errors_warnings_tests.flr
trunk/flora2-testsuite/functions/errors_warnings_tests_old
trunk/flora2-testsuite/functions/fun_defeat_interaction.flr
trunk/flora2-testsuite/functions/modprolog_test2.flr
trunk/flora2-testsuite/functions/modprolog_test3.flr
trunk/flora2-testsuite/functions/modular_prolog/jbuiltin.flr
trunk/flora2-testsuite/functions/modular_prolog/jmain.flr
trunk/flora2-testsuite/functions/modular_prolog/test1.flr
trunk/flora2-testsuite/functions/test_builtin_err.flr
trunk/flora2-testsuite/functions/test_builtin_old
trunk/flora2-testsuite/functions/test_func_arithmetics.flr
trunk/flora2-testsuite/functions/test_func_atoms.flr
trunk/flora2-testsuite/functions/test_func_body.flr
trunk/flora2-testsuite/functions/test_func_eq.flr
trunk/flora2-testsuite/functions/test_func_facts.flr
trunk/flora2-testsuite/functions/test_func_facts_aux.flr
trunk/flora2-testsuite/functions/test_func_facts_err.flr
trunk/flora2-testsuite/functions/test_func_facts_load_err.flr
trunk/flora2-testsuite/functions/test_func_head.flr
trunk/flora2-testsuite/functions/test_func_hilog.flr
trunk/flora2-testsuite/functions/test_func_modulebar.flr
trunk/flora2-testsuite/functions/test_func_modules1.flr
trunk/flora2-testsuite/functions/test_func_modules2.flr
trunk/flora2-testsuite/functions/test_func_nested.flr
trunk/flora2-testsuite/functions/test_func_obj.flr
trunk/flora2-testsuite/functions/test_func_unification.flr
trunk/flora2-testsuite/functions/test_udf_hilog_pred.flr
trunk/flora2-testsuite/functions/test_udf_hilog_pred2.flr
trunk/flora2-testsuite/general_tests/abp.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/basetype_moo.flr
trunk/flora2-testsuite/general_tests/basetypes.flr
trunk/flora2-testsuite/general_tests/btupdates.flr
trunk/flora2-testsuite/general_tests/btupdates2.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/clauseWithLabel_old
trunk/flora2-testsuite/general_tests/clause_old
trunk/flora2-testsuite/general_tests/clptest.flr
trunk/flora2-testsuite/general_tests/codeinheritance_simulated.flr
trunk/flora2-testsuite/general_tests/collectanswers.flr
trunk/flora2-testsuite/general_tests/compile_control.flr
trunk/flora2-testsuite/general_tests/compiletest.flr
trunk/flora2-testsuite/general_tests/compiletest_flora_old
trunk/flora2-testsuite/general_tests/composite_class.flr
trunk/flora2-testsuite/general_tests/cranial.flr
trunk/flora2-testsuite/general_tests/cranial_data.flr
trunk/flora2-testsuite/general_tests/cranial_flora_old
trunk/flora2-testsuite/general_tests/decodetest.flr
trunk/flora2-testsuite/general_tests/decodetest_old
trunk/flora2-testsuite/general_tests/delaytest.flr
trunk/flora2-testsuite/general_tests/delaytest2.flr
trunk/flora2-testsuite/general_tests/depcheck_control.flr
trunk/flora2-testsuite/general_tests/depchecktest_old
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/enable_old
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/framely.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/importloop.flr
trunk/flora2-testsuite/general_tests/importloop_aux1.flr
trunk/flora2-testsuite/general_tests/importloop_aux2.flr
trunk/flora2-testsuite/general_tests/importloop_tbox.flr
trunk/flora2-testsuite/general_tests/incr_abolish.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/inheritance_guard_old
trunk/flora2-testsuite/general_tests/intermod_neg.flr
trunk/flora2-testsuite/general_tests/justifier.flr
trunk/flora2-testsuite/general_tests/justifier_ex.flr
trunk/flora2-testsuite/general_tests/latent_query.flr
trunk/flora2-testsuite/general_tests/loadloop.flr
trunk/flora2-testsuite/general_tests/loadloop_aux1.flr
trunk/flora2-testsuite/general_tests/loadloop_aux2.flr
trunk/flora2-testsuite/general_tests/loadloop_tbox.flr
trunk/flora2-testsuite/general_tests/london_map.flr
trunk/flora2-testsuite/general_tests/lt.flr
trunk/flora2-testsuite/general_tests/meta_unification.flr
trunk/flora2-testsuite/general_tests/metavar.flr
trunk/flora2-testsuite/general_tests/miguel_test.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/neg_meta_unification_old
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/omni.flr
trunk/flora2-testsuite/general_tests/pps.flr
trunk/flora2-testsuite/general_tests/prefix.flr
trunk/flora2-testsuite/general_tests/prefix2.flr
trunk/flora2-testsuite/general_tests/prefix_old
trunk/flora2-testsuite/general_tests/pretty.flr
trunk/flora2-testsuite/general_tests/prolog_directive.flr
trunk/flora2-testsuite/general_tests/prolog_directive_old
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.flr
trunk/flora2-testsuite/general_tests/sensortest.flr
trunk/flora2-testsuite/general_tests/sensortest_declarations.flr
trunk/flora2-testsuite/general_tests/sensortest_err_old
trunk/flora2-testsuite/general_tests/sensortest_load_err_old
trunk/flora2-testsuite/general_tests/sensortest_usedecl.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/table_dump.flr
trunk/flora2-testsuite/general_tests/table_dump_old
trunk/flora2-testsuite/general_tests/tabledupdates.flr
trunk/flora2-testsuite/general_tests/tabletest.flr
trunk/flora2-testsuite/general_tests/tbl_ruledeletes.flr
trunk/flora2-testsuite/general_tests/tnf.flr
trunk/flora2-testsuite/general_tests/tnf_data.flr
trunk/flora2-testsuite/general_tests/tnf_flora_old
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/wine2.flr
trunk/flora2-testsuite/general_tests/wives.flr
trunk/flora2-testsuite/java/quotation/test/sqwrl.flr
trunk/flora2-testsuite/symbols/hilog_udf/test_udf_hilog_pred3.flr
trunk/flora2-testsuite/symbols/symbol_context_syntax.flr
trunk/flora2-testsuite/symbols/symbol_context_syntax_nowarnings.flr
trunk/flora2-testsuite/symbols/symbol_context_syntax_old
trunk/flora2-testsuite/symbols/symbol_context_syntax_warnings.flr
trunk/flora2-testsuite/symbols/symbols_load_tests.flr
trunk/flora2-testsuite/symbols/symbols_tests.flr
trunk/flora2-testsuite/symbols/symbols_tests_old
trunk/flora2-testsuite/symbols/symbols_warnoff_load_tests.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/test_udf_hilog_pred.flr
trunk/flora2-testsuite/symbols/test_udf_hilog_pred_err.flr
trunk/flora2-testsuite/symbols/tests/test_symbols.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_builtin.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_constoff.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_dyn.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_nowarn.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_transact.flr
trunk/flora2-testsuite/symbols/tests/test_symbols_warnoff.flr
trunk/flora2-website/release_notes.html
trunk/flora2-website/tutorial/examples/depchk.flr
trunk/flora2-website/tutorial/examples/moduleExample.flr
trunk/flora2-website/tutorial/examples/tableVSnot.flr
trunk/flora2-website/tutorial/homeworks/hw2-sol/temporal.flr
trunk/flora2-website/tutorial/part1-foundations.ppt
trunk/flora2-website/tutorial/part2-programming.ppt
|
|
From: <ki...@us...> - 2014-03-13 02:22:18
|
Revision: 1152
http://sourceforge.net/p/flora/src/1152
Author: kifer
Date: 2014-03-13 02:22:14 +0000 (Thu, 13 Mar 2014)
Log Message:
-----------
fixed bug having to do with \-modules under windows
fixed bug, which permitted inheritable default transactions like a[|%b|]
Modified Paths:
--------------
trunk/flora2/demos/benchmark.flr
trunk/flora2/demos/dyn_fbasics.flr
trunk/flora2/demos/owl_benchmark.flr
trunk/flora2/demos/pretty.flr
trunk/flora2/demos/pretty_data.flr
trunk/flora2/docs/Makefile
trunk/flora2/flora2.P
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrparser.P
trunk/flora2/flrutils.P
trunk/flora2/pkgs/prettyprint.flr
trunk/flora2/version.flh
trunk/flora2-testsuite/datafiles/pretty_data.flr
trunk/flora2-testsuite/general_tests/pretty_old
|