flora-commits Mailing List for Flora-2
Brought to you by:
kifer
Menu
▾
▴
flora-commits — List for commit messages
You can subscribe to this list here.
| 2002 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(59) |
Jun
(43) |
Jul
(4) |
Aug
(4) |
Sep
(102) |
Oct
(20) |
Nov
(47) |
Dec
(32) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2003 |
Jan
(24) |
Feb
(34) |
Mar
(72) |
Apr
(36) |
May
(10) |
Jun
(46) |
Jul
(36) |
Aug
(24) |
Sep
(37) |
Oct
(27) |
Nov
(43) |
Dec
(40) |
| 2004 |
Jan
(35) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(30) |
Aug
(83) |
Sep
(68) |
Oct
(38) |
Nov
(3) |
Dec
(7) |
| 2005 |
Jan
(9) |
Feb
(31) |
Mar
(46) |
Apr
(73) |
May
(21) |
Jun
(1) |
Jul
(32) |
Aug
(33) |
Sep
(3) |
Oct
(28) |
Nov
(4) |
Dec
(23) |
| 2006 |
Jan
(22) |
Feb
(2) |
Mar
(12) |
Apr
(23) |
May
(73) |
Jun
(14) |
Jul
|
Aug
(20) |
Sep
(14) |
Oct
(5) |
Nov
|
Dec
(14) |
| 2007 |
Jan
(54) |
Feb
(81) |
Mar
(286) |
Apr
(313) |
May
(154) |
Jun
(85) |
Jul
(8) |
Aug
(11) |
Sep
(12) |
Oct
(14) |
Nov
(6) |
Dec
(6) |
| 2008 |
Jan
|
Feb
|
Mar
(1) |
Apr
(12) |
May
(4) |
Jun
|
Jul
(13) |
Aug
(22) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2013 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(46) |
Jun
(43) |
Jul
(46) |
Aug
(9) |
Sep
(13) |
Oct
(31) |
Nov
(42) |
Dec
(18) |
| 2014 |
Jan
(7) |
Feb
(7) |
Mar
(11) |
Apr
(13) |
May
(16) |
Jun
(6) |
Jul
(17) |
Aug
|
Sep
(2) |
Oct
|
Nov
(1) |
Dec
|
| 2015 |
Jan
|
Feb
(17) |
Mar
(4) |
Apr
(3) |
May
(2) |
Jun
(3) |
Jul
(2) |
Aug
(3) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2016 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
|
Oct
|
Nov
|
Dec
(2) |
| 2017 |
Jan
|
Feb
|
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
|
Nov
|
Dec
|
| 2019 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: <ki...@us...> - 2019-07-15 17:09:46
|
Revision: 1310
http://sourceforge.net/p/flora/src/1310
Author: kifer
Date: 2019-07-15 17:09:44 +0000 (Mon, 15 Jul 2019)
Log Message:
-----------
adjust for XSB changes in path_sysop(size,...,...)
Modified Paths:
--------------
trunk/flora2/debugger/flrterminyzer.P
|
|
From: <ki...@us...> - 2017-09-05 05:57:22
|
Revision: 1291
http://sourceforge.net/p/flora/src/1291
Author: kifer
Date: 2017-09-05 05:57:20 +0000 (Tue, 05 Sep 2017)
Log Message:
-----------
removed empty dirs
Removed Paths:
-------------
trunk/flora2/ergosuite/
trunk/flora2-testsuite/justifier/
|
|
From: <ki...@us...> - 2017-03-30 02:09:08
|
Revision: 1277
http://sourceforge.net/p/flora/src/1277
Author: kifer
Date: 2017-03-30 02:09:07 +0000 (Thu, 30 Mar 2017)
Log Message:
-----------
removed empty dirs
Removed Paths:
-------------
trunk/flora2/closure/ergoisms/
trunk/flora2/docs/auto/
trunk/flora2/docs/ergodocs/
trunk/flora2/docs/ergoisms/
trunk/flora2/ergo_lib/
trunk/flora2/ergoisms/
trunk/flora2/genincludes/ergoisms/
trunk/flora2/syslib/ergoisms/
|
|
From: <ki...@us...> - 2016-12-16 06:35:56
|
Revision: 1254
http://sourceforge.net/p/flora/src/1254
Author: kifer
Date: 2016-12-16 06:35:55 +0000 (Fri, 16 Dec 2016)
Log Message:
-----------
demoved empty dirs
Removed Paths:
-------------
trunk/flora2/ergosuite/
|
|
From: <ki...@us...> - 2016-12-14 03:33:19
|
Revision: 1248
http://sourceforge.net/p/flora/src/1248
Author: kifer
Date: 2016-12-14 03:33:18 +0000 (Wed, 14 Dec 2016)
Log Message:
-----------
deteted empty directories
Removed Paths:
-------------
trunk/flora2/datatype/ergoisms/
trunk/flora2/docs/ergoisms/
trunk/flora2/ergo_demos/
trunk/flora2/ergo_lib/
trunk/flora2/ergo_libinc/
trunk/flora2/ergo_pkgs/
trunk/flora2/ergo_syslib/
trunk/flora2/ergoisms/
trunk/flora2/ergosuite/
trunk/flora2/includes/ergoisms/
trunk/flora2/platforms/
|
|
From: kifer@users.sf.net - 2016-08-31 02:38:35
|
Revision: 1246
http://sourceforge.net/p/flora/src/1246
Author: "kifer"
Date: 2016-08-31 02:38:33 +0000 (Wed, 31 Aug 2016)
Log Message:
-----------
Merge remote-tracking branch 'bitbucket_frodo/Coherent' into Flora-local
Modified Paths:
--------------
trunk/flora2/.gitignore
trunk/flora2/AT/Makefile
trunk/flora2/AT/atck1alt.flr
trunk/flora2/AT/atck2.flr
trunk/flora2/AT/atck3.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/Makefile
trunk/flora2/NMakefile.mak
trunk/flora2/admin/.excludedFiles
trunk/flora2/admin/MkFloraInstaller.sh
trunk/flora2/admin/README
trunk/flora2/admin/windows/flora2.iss
trunk/flora2/cc/.gitignore
trunk/flora2/cc/NMakefile.mak
trunk/flora2/cc/NMakefile64.mak
trunk/flora2/cc/cc_config.P
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/flrcommon.fli
trunk/flora2/closure/flrsigaxioms.fli
trunk/flora2/closure/flrtypes.fli
trunk/flora2/datatypes/flrdtype_sub.P
trunk/flora2/debugger/flrtabledump.P
trunk/flora2/debugger/static_data.in
trunk/flora2/demos/aggregate.flr
trunk/flora2/demos/benchmark.flr
trunk/flora2/demos/default.flr
trunk/flora2/demos/mono_inherit.flr
trunk/flora2/demos/nonmono_inherit.flr
trunk/flora2/demos/owl_benchmark.flr
trunk/flora2/docs/.gitignore
trunk/flora2/docs/Makefile
trunk/flora2/docs/flora-packages.tex
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/emacs/flora.el
trunk/flora2/flora2.P
trunk/flora2/flrarguments.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrconfig.P
trunk/flora2/flrdependency.H
trunk/flora2/flrdependency.P
trunk/flora2/flrincludes/flora_characters.flh
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_exceptions.flh
trunk/flora2/flrincludes/flora_prefix.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlexer.P
trunk/flora2/flrlibman.P
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrprint.P
trunk/flora2/flrprolog.P
trunk/flora2/flrshell.H
trunk/flora2/flrshell.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/flrwrapper.P
trunk/flora2/includes/flrdefinition.fli
trunk/flora2/java/API/javaAPI/src/net/sf/flora2/API/FloraSession.java
trunk/flora2/java/interprolog.jar
trunk/flora2/java/unixVariables.sh
trunk/flora2/java/windowsVariables.bat
trunk/flora2/lib/flrbasetype.flr
trunk/flora2/lib/flrsystem.flr
trunk/flora2/makeflora
trunk/flora2/makeflora.bat
trunk/flora2/pkgs/prolog/Makefile
trunk/flora2/runflora.bat
trunk/flora2/syslib/Makefile
trunk/flora2/syslib/NMakefile.mak
trunk/flora2/syslib/flranswer.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrcontrol.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrerrhandler.P
trunk/flora2/syslib/flrgateway.P
trunk/flora2/syslib/flrload.P
trunk/flora2/syslib/flrnewoid.P
trunk/flora2/syslib/flrtables.P
trunk/flora2/syslib/flrtruthvalue.P
trunk/flora2/version.flh
trunk/flora2-testsuite/defeasible/atco2/justification_test_fl.flr
trunk/flora2-testsuite/defeasible/new_gclp/temp_paradox2.flr
trunk/flora2-testsuite/general_tests/.gitignore
trunk/flora2-testsuite/general_tests/add_load.flr
trunk/flora2-testsuite/general_tests/assoc.flr
trunk/flora2-testsuite/general_tests/basetypes.flr
trunk/flora2-testsuite/general_tests/compile_control.flr
trunk/flora2-testsuite/general_tests/decodetest_old
trunk/flora2-testsuite/general_tests/descr2.flr
trunk/flora2-testsuite/general_tests/descr2_old
trunk/flora2-testsuite/general_tests/framely.flr
trunk/flora2-testsuite/general_tests/pps.flr
trunk/flora2-testsuite/general_tests/prolog_directive_old
trunk/flora2-testsuite/general_tests/rector_old
trunk/flora2-testsuite/general_tests/reification_old
trunk/flora2-website/florahome.html
trunk/flora2-website/installation.html
Added Paths:
-----------
trunk/flora2/docs/pkg-flora-persistence.tex
trunk/flora2/docs/pkg-flora-prettyprint.tex
trunk/flora2/docs/pkg-flora-protege.tex
trunk/flora2/docs/pkg-flora-xml.tex
trunk/flora2/docs/pkg-java-flora.tex
trunk/flora2/etc/.gitignore
trunk/flora2/flrshell_loop_handler.P
trunk/flora2-testsuite/general_tests/ccdb.flr
trunk/flora2-testsuite/general_tests/ccdb_old
trunk/flora2-testsuite/general_tests/lt2.flr
trunk/flora2-testsuite/general_tests/lt2_old
trunk/flora2-testsuite/general_tests/typecheck2.flr
trunk/flora2-testsuite/general_tests/typecheck2_old
Removed Paths:
-------------
trunk/flora2/datatypes/ergoisms/
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/flora-protege.tex
Property Changed:
----------------
trunk/flora2/AT/NMakefile.mak
trunk/flora2/NMakefile.mak
trunk/flora2/admin/BinaryTarBall.sh
trunk/flora2/cc/windows/prolog2hilog.dll
trunk/flora2/closure/NMakefile.mak
trunk/flora2/demos/NMakefile.mak
trunk/flora2/lib/NMakefile.mak
trunk/flora2/makeflora.bat
|
|
From: <ki...@us...> - 2015-08-08 03:13:37
|
Revision: 1245
http://sourceforge.net/p/flora/src/1245
Author: kifer
Date: 2015-08-08 03:13:36 +0000 (Sat, 08 Aug 2015)
Log Message:
-----------
install adjustments
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2015-08-08 03:13:32
|
Revision: 1244
http://sourceforge.net/p/flora/src/1244
Author: kifer
Date: 2015-08-08 03:13:31 +0000 (Sat, 08 Aug 2015)
Log Message:
-----------
install adjustments
Modified Paths:
--------------
trunk/flora2/admin/.excludedFiles
trunk/flora2/admin/MkFloraInstaller.sh
trunk/flora2/admin/windows/flora2.iss
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/version.flh
trunk/flora2-website/installation.html
|
|
From: <ki...@us...> - 2015-08-08 03:13:24
|
Revision: 1243
http://sourceforge.net/p/flora/src/1243
Author: kifer
Date: 2015-08-08 03:13:23 +0000 (Sat, 08 Aug 2015)
Log Message:
-----------
minor
Modified Paths:
--------------
trunk/flora2/debugger/static_data.in
trunk/flora2-website/florahome.html
|
|
From: <ki...@us...> - 2015-07-06 06:54:04
|
Revision: 1242
http://sourceforge.net/p/flora/src/1242
Author: kifer
Date: 2015-07-06 06:54:02 +0000 (Mon, 06 Jul 2015)
Log Message:
-----------
some further improvements in class expression axioms
Modified Paths:
--------------
trunk/flora2/closure/flrtypes.fli
trunk/flora2-testsuite/general_tests/composite_class.flr
|
|
From: <ki...@us...> - 2015-07-04 21:06:03
|
Revision: 1241
http://sourceforge.net/p/flora/src/1241
Author: kifer
Date: 2015-07-04 21:06:01 +0000 (Sat, 04 Jul 2015)
Log Message:
-----------
improved the union/intersection class axioms to prevent wrong cycles in the class hierarchy
Modified Paths:
--------------
trunk/flora2/closure/flrtypes.fli
trunk/flora2/flrshell.P
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2015-06-24 05:58:28
|
Revision: 1240
http://sourceforge.net/p/flora/src/1240
Author: kifer
Date: 2015-06-24 05:58:26 +0000 (Wed, 24 Jun 2015)
Log Message:
-----------
printing, tests adjustments
Modified Paths:
--------------
trunk/flora2/syslib/flrdecode.P
trunk/flora2/version.flh
trunk/flora2-testsuite/delaystests/.gitignore
trunk/flora2-testsuite/delaystests/test_delays.flr
trunk/flora2-testsuite/delaystests/test_delays_flora_old
trunk/flora2-testsuite/general_tests/.gitignore
|
|
From: <ki...@us...> - 2015-06-24 04:49:13
|
Revision: 1239
http://sourceforge.net/p/flora/src/1239
Author: kifer
Date: 2015-06-24 04:49:12 +0000 (Wed, 24 Jun 2015)
Log Message:
-----------
adjust tests
Modified Paths:
--------------
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/compiletest_flora_old
Removed Paths:
-------------
trunk/flora2-testsuite/general_tests/symwarn_old
|
|
From: <ki...@us...> - 2015-06-24 04:49:10
|
Revision: 1238
http://sourceforge.net/p/flora/src/1238
Author: kifer
Date: 2015-06-24 04:49:09 +0000 (Wed, 24 Jun 2015)
Log Message:
-----------
merged fixes from ergo:
restructuring
fixes in meta unification
other small bug fixes
Modified Paths:
--------------
trunk/flora2/datatypes/flrdatatype_parse.P
trunk/flora2/debugger/static_data.in
trunk/flora2/docs/flora-packages.tex
trunk/flora2/docs/flora2-manual.bib
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcoder.H
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.H
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_characters.flh
trunk/flora2/flrincludes/flora_contexts.flh
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_prefix.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrincludes/flora_wspredicates.flh
trunk/flora2/flrlexer.P
trunk/flora2/flrlibman.P
trunk/flora2/flrnodefp.P
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrprolog.P
trunk/flora2/flrregistry.P
trunk/flora2/flrshell.P
trunk/flora2/flrundefined.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/flrwrapper.P
trunk/flora2/genincludes/Makefile
trunk/flora2/genincludes/NMakefile.mak
trunk/flora2/genincludes/flrdyndeclare.fli
trunk/flora2/genincludes/flrindex_static_P.fli
trunk/flora2/genincludes/flrpatch.fli
trunk/flora2/java/interprolog.jar
trunk/flora2/syslib/flranswer.P
trunk/flora2/syslib/flrauxil.P
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrdescriptor_support.P
trunk/flora2/syslib/flrdynmod.P
trunk/flora2/syslib/flrerrhandler.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/syslib/flrprefixdef.P
trunk/flora2-testsuite/general_tests/compile_control.flr
trunk/flora2-testsuite/general_tests/compiletest.flr
trunk/flora2-testsuite/general_tests/meta_unification.flr
trunk/flora2-testsuite/general_tests/meta_unification_old
trunk/flora2-testsuite/test_dir.sh
Added Paths:
-----------
trunk/flora2/genincludes/flrhead_dispatch.fli
trunk/flora2/genincludes/flrhead_dispatch_neg.inc
trunk/flora2/headerinc/flrhead_dispatch_inc.flh
trunk/flora2-testsuite/general_tests/compile_control2.flr
Removed Paths:
-------------
trunk/flora2/genincludes/flrabolish.fli
trunk/flora2/genincludes/flrabolish_flogic.fli
trunk/flora2/genincludes/flrabolish_hilog.fli
trunk/flora2/genincludes/flrabolish_patch.fli
trunk/flora2/genincludes/flrabolish_trailer_hilog.fli
trunk/flora2/genincludes/flrdyna.fli
trunk/flora2/genincludes/flrdyna_defeasibles.inc
trunk/flora2/genincludes/flrdyna_neg.inc
trunk/flora2/genincludes/flrdynz.fli
trunk/flora2/genincludes/flrdynz_defeasibles.inc
trunk/flora2/genincludes/flrdynz_neg.inc
|
|
From: <ki...@us...> - 2015-05-07 22:34:51
|
Revision: 1237
http://sourceforge.net/p/flora/src/1237
Author: kifer
Date: 2015-05-07 22:34:49 +0000 (Thu, 07 May 2015)
Log Message:
-----------
fixed a datatype bug, cleanup
Modified Paths:
--------------
trunk/flora2/closure/flrcommon.fli
trunk/flora2/closure/flrcommon_inh.fli
trunk/flora2/closure/flrtypes.fli
trunk/flora2/datatypes/flrdtype_sub.P
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2-testsuite/general_tests/basetypes.flr
trunk/flora2-testsuite/general_tests/basetypes_old
trunk/flora2-website/florahome.html
|
|
From: <ki...@us...> - 2015-05-02 20:47:23
|
Revision: 1236
http://sourceforge.net/p/flora/src/1236
Author: kifer
Date: 2015-05-02 20:47:21 +0000 (Sat, 02 May 2015)
Log Message:
-----------
improved the installers
fixed 2 bugs in reification
improved handling of ^C
Modified Paths:
--------------
trunk/flora2/admin/BinaryTarBall.sh
trunk/flora2/admin/ReleaseTarBall.sh
trunk/flora2/admin/windows/NOTES.txt
trunk/flora2/admin/windows/NOTES_bundle.txt
trunk/flora2/admin/windows/flora2.iss
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/floraconfig
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_exceptions.flh
trunk/flora2/flrincludes/flora_porting.flh
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrprolog.P
trunk/flora2/flrshell.H
trunk/flora2/flrshell.P
trunk/flora2/genincludes/flrpreddef.fli
trunk/flora2/genincludes/flrpreddef_NAF.inc
trunk/flora2/genincludes/flrpreddef_neg.inc
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrexport.P
trunk/flora2/syslib/flrload.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/syslib/flrstoragebase.P
trunk/flora2/version.flh
trunk/flora2-testsuite/testsuite.sh
trunk/flora2-website/installation.html
Added Paths:
-----------
trunk/flora2/admin/MkFloraInstaller.sh
trunk/flora2/admin/windows/flora2-no-xsb.iss
trunk/flora2/flora2_config.sh
Removed Paths:
-------------
trunk/flora2/admin/BundleBall.sh
trunk/flora2/admin/windows/flora2bundle.iss
trunk/flora2/bundle_config.sh
|
|
From: <ki...@us...> - 2015-04-29 03:34:04
|
Revision: 1235
http://sourceforge.net/p/flora/src/1235
Author: kifer
Date: 2015-04-29 03:34:03 +0000 (Wed, 29 Apr 2015)
Log Message:
-----------
testsuite adjustments
Modified Paths:
--------------
trunk/flora2-testsuite/general_tests/descr2.flr
trunk/flora2-testsuite/general_tests/reification.flr
trunk/flora2-testsuite/general_tests/reification_old
trunk/flora2-testsuite/general_tests/terminyzer1_xsblog_flora
trunk/flora2-testsuite/general_tests/terminyzer2_xsblog_flora
|
|
From: <ki...@us...> - 2015-04-29 01:35:34
|
Revision: 1234
http://sourceforge.net/p/flora/src/1234
Author: kifer
Date: 2015-04-29 01:35:33 +0000 (Wed, 29 Apr 2015)
Log Message:
-----------
Merge bug fixes from the ergo tree
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/AT/Makefile
trunk/flora2/Makefile
trunk/flora2/closure/flrcommon.fli
trunk/flora2/closure/flreqltrailer.fli
trunk/flora2/closure/flreqltrailer_common.fli
trunk/flora2/closure/flreqltrailer_inh.fli
trunk/flora2/closure/flrnoeqltrailer.fli
trunk/flora2/closure/flrnoeqltrailer_common.fli
trunk/flora2/closure/flrnoeqltrailer_inh.fli
trunk/flora2/closure/flrtypes.fli
trunk/flora2/debugger/flrterminyzer.P
trunk/flora2/debugger/static_data.in
trunk/flora2/demos/benchmark.flr
trunk/flora2/demos/mix.flr
trunk/flora2/demos/mod1.flr
trunk/flora2/demos/owl_benchmark.flr
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrnosymbolcontext.P
trunk/flora2/flroperator.P
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrprint.P
trunk/flora2/flrprolog.P
trunk/flora2/flrregistry.P
trunk/flora2/flrshell.H
trunk/flora2/flrshell.P
trunk/flora2/flrsimpleprimitive.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/flrwrapper.H
trunk/flora2/flrwrapper.P
trunk/flora2/includes/flrdefinition.fli
trunk/flora2/java/interprolog.jar
trunk/flora2/lib/Makefile
trunk/flora2/lib/flrsystem.flr
trunk/flora2/lib/flrtypeconstraint.flr
trunk/flora2/pkgs/Makefile
trunk/flora2/syslib/flranswer.P
trunk/flora2/syslib/flrauxil.P
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/syslib/flrerrhandler.P
trunk/flora2/syslib/flrgateway.P
trunk/flora2/syslib/flroptimize.P
trunk/flora2/syslib/flrsemantics.P
trunk/flora2/syslib/flrstoragebase.P
trunk/flora2/syslib/flrstorageutils.P
trunk/flora2-testsuite/apptests/gpmanager_test.flr
trunk/flora2-testsuite/general_tests/composite_class.flr
trunk/flora2-testsuite/general_tests/descriptors.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/mon_inherit.flr
trunk/flora2-testsuite/general_tests/pretty.flr
trunk/flora2-testsuite/general_tests/pretty_old
trunk/flora2-testsuite/general_tests/rector.flr
trunk/flora2-testsuite/general_tests/reification.flr
trunk/flora2-testsuite/general_tests/reification_old
trunk/flora2-testsuite/general_tests/services_incr.flr
trunk/flora2-testsuite/general_tests/typecheck.flr
trunk/flora2-testsuite/general_tests/typedvars.flr
trunk/flora2-testsuite/general_tests/wine2.flr
trunk/flora2-website/release_notes.html
Added Paths:
-----------
trunk/flora2/flrincludes/flora_contexts.flh
trunk/flora2/lib/.gitignore
trunk/flora2-testsuite/general_tests/cardcheck.flr
trunk/flora2-testsuite/general_tests/cardcheck_old
trunk/flora2-testsuite/general_tests/descr2.flr
trunk/flora2-testsuite/general_tests/descr2_old
|
|
From: <ki...@us...> - 2015-04-09 04:07:59
|
Revision: 1233
http://sourceforge.net/p/flora/src/1233
Author: kifer
Date: 2015-04-09 04:07:52 +0000 (Thu, 09 Apr 2015)
Log Message:
-----------
many small bug fixes
improvements in flora API, interprolog update
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/debugger/flrterminyzer.P
trunk/flora2/debugger/static_data.in
trunk/flora2/demos/benchmark.flr
trunk/flora2/demos/mix.flr
trunk/flora2/demos/mod1.flr
trunk/flora2/docs/flora-flrjava.tex
trunk/flora2/docs/flora-packages.tex
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.H
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrprolog.P
trunk/flora2/flrshell.H
trunk/flora2/flrshell.P
trunk/flora2/flrutils.P
trunk/flora2/java/API/build.sh
trunk/flora2/java/API/javaAPI/src/net/sf/flora2/API/PrologFlora.java
trunk/flora2/java/interprolog.jar
trunk/flora2/runflora
trunk/flora2/syslib/flranswer.P
trunk/flora2/syslib/flrcallflora.P
trunk/flora2-testsuite/apptests/gpmanager/schema.flr
trunk/flora2-testsuite/defeasible/atck1/drive.flr
trunk/flora2-testsuite/defeasible/atck1/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck1/toxic.flr
trunk/flora2-testsuite/defeasible/atck1alt/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck2/drive.flr
trunk/flora2-testsuite/defeasible/atck2/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atck2/toxic.flr
trunk/flora2-testsuite/defeasible/atck2alt/drive.flr
trunk/flora2-testsuite/defeasible/atck2alt/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atco/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_fl.flr
trunk/flora2-testsuite/defeasible/atco2/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/atco3/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/new_gclp/temp_paradox2.flr
trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox2.flr
trunk/flora2-testsuite/general_tests/.gitignore
trunk/flora2-testsuite/general_tests/compiletest_flora_old
trunk/flora2-testsuite/general_tests/in.flr
trunk/flora2-testsuite/general_tests/in_old_flora
trunk/flora2-testsuite/general_tests/london_map.flr
trunk/flora2-testsuite/general_tests/lt.flr
trunk/flora2-testsuite/general_tests/metavar.flr
trunk/flora2-testsuite/general_tests/reif_foo.flr
trunk/flora2-testsuite/general_tests/ruleupdates.flr
trunk/flora2-testsuite/general_tests/tabledupdates.flr
trunk/flora2-testsuite/general_tests/terminyzer0_xsblog
trunk/flora2-testsuite/general_tests/terminyzer1_old
trunk/flora2-testsuite/general_tests/terminyzer2_old
trunk/flora2-testsuite/general_tests/typecheck.flr
trunk/flora2-testsuite/test_dir.sh
trunk/flora2-website/release_notes.html
Added Paths:
-----------
trunk/flora2-testsuite/general_tests/assoc.flr
trunk/flora2-testsuite/general_tests/assoc_old
trunk/flora2-testsuite/general_tests/symwarn.flr
trunk/flora2-testsuite/general_tests/symwarn1.flr
trunk/flora2-testsuite/general_tests/symwarn2.flr
trunk/flora2-testsuite/general_tests/symwarn_old
trunk/flora2-testsuite/general_tests/symwarn_old_flora
|
|
From: <ki...@us...> - 2015-03-29 01:13:48
|
Revision: 1232
http://sourceforge.net/p/flora/src/1232
Author: kifer
Date: 2015-03-29 01:13:41 +0000 (Sun, 29 Mar 2015)
Log Message:
-----------
Merge branch 'Flora-local' into Flora-remote
Modified Paths:
--------------
trunk/flora2/flrutils.P
trunk/flora2-testsuite/test_dir.sh
Added Paths:
-----------
trunk/flora2-testsuite/general_tests/maxerr.flr
trunk/flora2-testsuite/general_tests/maxerr_data.flr
trunk/flora2-testsuite/general_tests/maxerr_flora_old
trunk/flora2-testsuite/general_tests/maxerr_inc.flr
|
|
From: <ki...@us...> - 2015-03-29 01:13:35
|
Revision: 1231
http://sourceforge.net/p/flora/src/1231
Author: kifer
Date: 2015-03-29 01:13:28 +0000 (Sun, 29 Mar 2015)
Log Message:
-----------
ignored a file
Modified Paths:
--------------
trunk/flora2-testsuite/general_tests/.gitignore
|
|
From: <ki...@us...> - 2015-03-28 20:27:28
|
Revision: 1230
http://sourceforge.net/p/flora/src/1230
Author: kifer
Date: 2015-03-28 20:27:21 +0000 (Sat, 28 Mar 2015)
Log Message:
-----------
ignored a file
Modified Paths:
--------------
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/.gitignore
|
|
From: <ki...@us...> - 2015-03-28 20:09:27
|
Revision: 1229
http://sourceforge.net/p/flora/src/1229
Author: kifer
Date: 2015-03-28 20:09:25 +0000 (Sat, 28 Mar 2015)
Log Message:
-----------
Merge remote-tracking branch Ergo
Many bug fixes. Some changes in the compiler options. The charlist syntax "..." is disabled by default. Available only in expert mode.
Modified Paths:
--------------
trunk/flora2/.gitignore
trunk/flora2/Makefile
trunk/flora2/NMakefile.mak
trunk/flora2/admin/windows/flora2.iss
trunk/flora2/cc/windows/flora_ground.dll
trunk/flora2/cc/windows/flora_ground.exp
trunk/flora2/cc/windows/flora_ground.lib
trunk/flora2/cc/windows/prolog2hilog.dll
trunk/flora2/cc/windows/prolog2hilog.exp
trunk/flora2/cc/windows/prolog2hilog.lib
trunk/flora2/cc/windows64/flora_ground.dll
trunk/flora2/cc/windows64/flora_ground.exp
trunk/flora2/cc/windows64/flora_ground.lib
trunk/flora2/cc/windows64/prolog2hilog.dll
trunk/flora2/cc/windows64/prolog2hilog.exp
trunk/flora2/cc/windows64/prolog2hilog.lib
trunk/flora2/closure/flreqltrailer_common.fli
trunk/flora2/closure/flrequality_none.inc
trunk/flora2/closure/flrnoeqltrailer_common.fli
trunk/flora2/closure/flrsigaxioms.fli
trunk/flora2/datatypes/flrdatatype.P
trunk/flora2/datatypes/flrdatatype_parse.P
trunk/flora2/datatypes/flrdatatype_utils.P
trunk/flora2/debugger/dynamic_data.in
trunk/flora2/debugger/flrterminyzer.P
trunk/flora2/demos/diamond.flr
trunk/flora2/docs/flora-flrjava.tex
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrarguments.P
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrcomposer.P
trunk/flora2/flrincludes/flora_datatype_symbols.flh
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrincludes/flora_wspredicates.flh
trunk/flora2/flrlexer.H
trunk/flora2/flrlexer.P
trunk/flora2/flroperator.P
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrprint.H
trunk/flora2/flrprint.P
trunk/flora2/flrprolog.P
trunk/flora2/flrregistry.P
trunk/flora2/flrshell.H
trunk/flora2/flrshell.P
trunk/flora2/flrsimpleprimitive.P
trunk/flora2/flrundefined.H
trunk/flora2/flrundefined.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/flrwrapper.P
trunk/flora2/genincludes/flrdynamic_connectors.fli
trunk/flora2/includes/flrdefinition.fli
trunk/flora2/java/API/README
trunk/flora2/java/API/build.bat
trunk/flora2/java/API/build.sh
trunk/flora2/java/API/examples/buildExample.bat
trunk/flora2/java/API/examples/buildExample.sh
trunk/flora2/java/API/examples/flogicbasicsExample/flogicbasicsExample.java
trunk/flora2/java/API/examples/flogicbasicsExample/floraVariables.bat
trunk/flora2/java/API/examples/flogicbasicsExample/floraVariables.sh
trunk/flora2/java/API/examples/fooExample/floraVariables.bat
trunk/flora2/java/API/examples/fooExample/floraVariables.sh
trunk/flora2/java/API/examples/fooExample/fooExample.java
trunk/flora2/java/API/examples/runExample.bat
trunk/flora2/java/API/examples/runExample.sh
trunk/flora2/java/API/javaAPI/src/net/sf/flora2/API/FloraObject.java
trunk/flora2/java/API/javaAPI/src/net/sf/flora2/API/PrologFlora.java
trunk/flora2/java/README
trunk/flora2/java/unixVariables.sh
trunk/flora2/java/windowsVariables.bat
trunk/flora2/lib/flrbasetype.flr
trunk/flora2/lib/flrio.flr
trunk/flora2/lib/flrsystem.flr
trunk/flora2/makeflora
trunk/flora2/makeflora.bat
trunk/flora2/pkgs/flrxml_aux.flr
trunk/flora2/pkgs/persistentmodules.flr
trunk/flora2/runflora
trunk/flora2/runflora.bat
trunk/flora2/syslib/Makefile
trunk/flora2/syslib/NMakefile.mak
trunk/flora2/syslib/flranswer.P
trunk/flora2/syslib/flrauxil.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrdynmod.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/syslib/flrnegation.P
trunk/flora2/syslib/flrstoragebase.P
trunk/flora2/syslib/flrtruthvalue.P
trunk/flora2/version.flh
trunk/flora2-testsuite/defeasible/atco/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco2/atco_specific.flr
trunk/flora2-testsuite/defeasible/atco2/justification_test_fl.flr
trunk/flora2-testsuite/defeasible/atco3/atco_specific.flr
trunk/flora2-testsuite/delaystests/.gitignore
trunk/flora2-testsuite/delaystests/errors_tests_flora_old
trunk/flora2-testsuite/functions/errors_warnings_tests_flora_old
trunk/flora2-testsuite/functions/test_func_facts_err_flora_old
trunk/flora2-testsuite/functions/test_func_facts_load_err_flora_old
trunk/flora2-testsuite/general_tests/.gitignore
trunk/flora2-testsuite/general_tests/add_load_old
trunk/flora2-testsuite/general_tests/basetypes.flr
trunk/flora2-testsuite/general_tests/basetypes_old
trunk/flora2-testsuite/general_tests/compile_control.flr
trunk/flora2-testsuite/general_tests/compiletest_flora_old
trunk/flora2-testsuite/general_tests/depchecktest_flora_old
trunk/flora2-testsuite/general_tests/guizhen.flr
trunk/flora2-testsuite/general_tests/metavar.flr
trunk/flora2-testsuite/general_tests/neg_meta_unification.flr
trunk/flora2-testsuite/general_tests/neg_meta_unification_old
trunk/flora2-testsuite/general_tests/nonmon_inherit.flr
trunk/flora2-testsuite/general_tests/nonmon_inherit_old
trunk/flora2-testsuite/general_tests/pps.flr
trunk/flora2-testsuite/general_tests/sensortest_err_flora_old
trunk/flora2-testsuite/general_tests/sensortest_load_err_flora_old
trunk/flora2-testsuite/general_tests/textual_load_flora_old
trunk/flora2-testsuite/general_tests/typecheck.flr
trunk/flora2-testsuite/general_tests/typecheck_old
trunk/flora2-testsuite/general_tests/typelist.flr
trunk/flora2-testsuite/general_tests/typelist_old
trunk/flora2-testsuite/symbols/symbol_context_syntax_flora_old
trunk/flora2-testsuite/symbols/symbol_context_syntax_warnings.flr
trunk/flora2-testsuite/symbols/symbols_load_tests_flora_old
trunk/flora2-testsuite/symbols/symbols_nowarn_load_tests_flora_old
trunk/flora2-testsuite/symbols/symbols_tests_flora_old
trunk/flora2-testsuite/symbols/symbols_warnoff_load_tests_flora_old
trunk/flora2-testsuite/symbols/test_udf_hilog_pred_err_flora_old
trunk/flora2-testsuite/test_dir.sh
trunk/flora2-website/installation.html
trunk/flora2-website/release_notes.html
Added Paths:
-----------
trunk/flora2/flrnosymbolcontext.P
trunk/flora2-testsuite/general_tests/in.flr
trunk/flora2-testsuite/general_tests/in_old_flora
trunk/flora2-testsuite/general_tests/inc.flr
trunk/flora2-testsuite/general_tests/inc2.flr
trunk/flora2-testsuite/general_tests/incinc.flr
trunk/flora2-testsuite/general_tests/no_newline.flr
trunk/flora2-testsuite/general_tests/unicode_err.flr
trunk/flora2-testsuite/general_tests/unicodetest_err.flr
trunk/flora2-testsuite/general_tests/unicodetest_err_old_flora
|
|
From: <ki...@us...> - 2015-02-21 03:21:38
|
Revision: 1228
http://sourceforge.net/p/flora/src/1228
Author: kifer
Date: 2015-02-21 03:21:31 +0000 (Sat, 21 Feb 2015)
Log Message:
-----------
flora install for linux/mac
Modified Paths:
--------------
trunk/flora2/admin/BundleBall.sh
trunk/flora2/bundle_config.sh
|
|
From: <ki...@us...> - 2015-02-21 02:31:51
|
Revision: 1227
http://sourceforge.net/p/flora/src/1227
Author: kifer
Date: 2015-02-21 02:31:44 +0000 (Sat, 21 Feb 2015)
Log Message:
-----------
unix installation work
minor bug fixes
Modified Paths:
--------------
trunk/flora2/.gitignore
trunk/flora2/admin/BundleBall.sh
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrshell.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/syslib/flrtables.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/.gitignore
trunk/flora2-testsuite/general_tests/interaction.flr
trunk/flora2-testsuite/general_tests/interaction_old
trunk/flora2-testsuite/testsuite.sh
Added Paths:
-----------
trunk/flora2/admin/makeself/
trunk/flora2/admin/makeself/COPYING
trunk/flora2/admin/makeself/README
trunk/flora2/admin/makeself/makeself-header.sh
trunk/flora2/admin/makeself/makeself.lsm
trunk/flora2/admin/makeself/makeself.sh
|