flora-commits Mailing List for Flora-2 (Page 11)
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-07-16 20:33:07
|
Revision: 1001
http://sourceforge.net/p/flora/src/1001
Author: kifer
Date: 2013-07-16 20:33:04 +0000 (Tue, 16 Jul 2013)
Log Message:
-----------
added code to block inheritance using negative information
Modified Paths:
--------------
trunk/flora2/closure/flreqltrailer_inh.fli
trunk/flora2/closure/flrnoeqltrailer_inh.fli
trunk/flora2/docs/flora2-manual.tex
trunk/flora2-testsuite/general_tests/inher_termination.flr
trunk/flora2-testsuite/general_tests/inher_termination_old
trunk/flora2-website/release_notes.html
Added Paths:
-----------
trunk/flora2/closure/flreqltrailer_neg_inh.inc
trunk/flora2/closure/flrnoeqltrailer_neg_inh.inc
|
|
From: <ki...@us...> - 2013-07-16 06:37:43
|
Revision: 1000
http://sourceforge.net/p/flora/src/1000
Author: kifer
Date: 2013-07-16 06:37:41 +0000 (Tue, 16 Jul 2013)
Log Message:
-----------
fixed a number of issues with =.. and streamplined the representation
also fixed a bug in the decoder from prolog to flora
fixed a bug in parsing clause{...} with three arguments when the head has descriptors.
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2013-07-15 03:42:33
|
Revision: 999
http://sourceforge.net/p/flora/src/999
Author: kifer
Date: 2013-07-15 03:42:32 +0000 (Mon, 15 Jul 2013)
Log Message:
-----------
new files missed in the previous commit
Added Paths:
-----------
trunk/flora2/syslib/flrgateway.P
trunk/flora2-testsuite/general_tests/delaytest2.flr
trunk/flora2-testsuite/general_tests/delaytest2_old
trunk/flora2-testsuite/general_tests/justifier.flr
trunk/flora2-testsuite/general_tests/justifier_ex.flr
trunk/flora2-testsuite/general_tests/justifier_old
|
|
From: <ki...@us...> - 2013-07-15 03:41:49
|
Revision: 998
http://sourceforge.net/p/flora/src/998
Author: kifer
Date: 2013-07-15 03:41:47 +0000 (Mon, 15 Jul 2013)
Log Message:
-----------
workaround for an XSB bug that prevents justifier from working.
Now all predicates that are produced by the compiler but belong to a prolog module are gate-wayed through usermod in the flrgateway.flr library.
More of such gatewaying to come, but for now it seems enough to do this for the flrdelaysupport.P predicates.
more tests.
Modified Paths:
--------------
trunk/flora2/AT/atco.flr
trunk/flora2/AT/atco2.flr
trunk/flora2/AT/atco3.flr
trunk/flora2/closure/flrequality_none.inc
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/syslib/flranswer.P
trunk/flora2/syslib/flrcanon.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2/syslib/flrdynmod.P
trunk/flora2/syslib/flrimportedcalls.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/syslib/flrtruthvalue.P
trunk/flora2/syslib/flrwhen.P
trunk/flora2-testsuite/test_dir.sh
|
|
From: <ki...@us...> - 2013-07-14 06:19:41
|
Revision: 997
http://sourceforge.net/p/flora/src/997
Author: kifer
Date: 2013-07-14 06:19:37 +0000 (Sun, 14 Jul 2013)
Log Message:
-----------
naf delay works now
made file/line number in delayed literals into vars in case of reification
fixed installation bug in unix: use ./flora_paths
Modified Paths:
--------------
trunk/flora2/admin/windows/flora2.iss
trunk/flora2/bundle_config.sh
trunk/flora2/closure/flrcommon.fli
trunk/flora2/closure/flrtypes.fli
trunk/flora2/datatypes/flrdtype_sub.P
trunk/flora2/floraconfig
trunk/flora2/floraconfig.bat
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrshell.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/makeflora
trunk/flora2/syslib/Makefile
trunk/flora2/syslib/NMakefile.mak
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/flrdynmod.P
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/syslib/flrrulesigops.P
trunk/flora2/syslib/flrtruthvalue.P
trunk/flora2/syslib/flrunify_handlers.P
trunk/flora2-testsuite/general_tests/mon_inherit.flr
trunk/flora2-website/release_notes.html
Added Paths:
-----------
trunk/flora2/syslib/flrwhen.P
|
|
From: <ki...@us...> - 2013-07-13 07:17:42
|
Revision: 996
http://sourceforge.net/p/flora/src/996
Author: kifer
Date: 2013-07-13 07:17:39 +0000 (Sat, 13 Jul 2013)
Log Message:
-----------
ignored aux file
Property Changed:
----------------
trunk/flora2/demos/
|
|
From: <ki...@us...> - 2013-07-10 00:44:04
|
Revision: 995
http://sourceforge.net/p/flora/src/995
Author: kifer
Date: 2013-07-10 00:44:01 +0000 (Wed, 10 Jul 2013)
Log Message:
-----------
added quotes so that it would allow XSB in directories with spaces
Modified Paths:
--------------
trunk/flora2/floraconfig
trunk/flora2/runflora
|
|
From: <ki...@us...> - 2013-07-09 08:42:27
|
Revision: 994
http://sourceforge.net/p/flora/src/994
Author: kifer
Date: 2013-07-09 08:42:25 +0000 (Tue, 09 Jul 2013)
Log Message:
-----------
version/date update
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-07-09 08:38:54
|
Revision: 993
http://sourceforge.net/p/flora/src/993
Author: kifer
Date: 2013-07-09 08:38:50 +0000 (Tue, 09 Jul 2013)
Log Message:
-----------
added install of the flora bundle
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/admin/README
trunk/flora2/admin/windows/NOTES.txt
trunk/flora2/admin/windows/flora2.iss
trunk/flora2/docs/flora-packages.tex
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/floraconfig
trunk/flora2/version.flh
Added Paths:
-----------
trunk/flora2/LICENSE_bundle
trunk/flora2/admin/BundleBall.sh
trunk/flora2/admin/windows/NOTES_bundle.txt
trunk/flora2/admin/windows/flora2bundle.iss
trunk/flora2/bundle_config.sh
|
|
From: <ki...@us...> - 2013-07-06 01:21:24
|
Revision: 992
http://sourceforge.net/p/flora/src/992
Author: kifer
Date: 2013-07-06 01:21:23 +0000 (Sat, 06 Jul 2013)
Log Message:
-----------
added compile time errors when the user places a rule or a query on the command line query or a query in a file.
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
|
|
From: <ki...@us...> - 2013-07-04 08:30:25
|
Revision: 991
http://sourceforge.net/p/flora/src/991
Author: kifer
Date: 2013-07-04 08:30:23 +0000 (Thu, 04 Jul 2013)
Log Message:
-----------
debugged the windows installer
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/INSTALLATION
trunk/flora2/LICENSE
trunk/flora2/admin/windows/flora2.iss
Added Paths:
-----------
trunk/flora2/admin/windows/InstallMessage
|
|
From: <ki...@us...> - 2013-07-04 02:50:54
|
Revision: 990
http://sourceforge.net/p/flora/src/990
Author: kifer
Date: 2013-07-04 02:50:52 +0000 (Thu, 04 Jul 2013)
Log Message:
-----------
problems with the various installs should be fixed now
Modified Paths:
--------------
trunk/flora2/AT/Makefile
trunk/flora2/AT/NMakefile.mak
trunk/flora2/Makefile
trunk/flora2/NMakefile.mak
trunk/flora2/closure/Makefile
trunk/flora2/closure/NMakefile.mak
trunk/flora2/datatypes/Makefile
trunk/flora2/datatypes/NMakefile.mak
trunk/flora2/debugger/Makefile
trunk/flora2/debugger/NMakefile.mak
trunk/flora2/demos/Makefile
trunk/flora2/demos/NMakefile.mak
trunk/flora2/floraconfig.bat
trunk/flora2/flrconfig.P
trunk/flora2/genincludes/Makefile
trunk/flora2/genincludes/NMakefile.mak
trunk/flora2/includes/Makefile
trunk/flora2/includes/NMakefile.mak
trunk/flora2/lib/Makefile
trunk/flora2/lib/NMakefile.mak
trunk/flora2/makeflora.bat
trunk/flora2/pkgs/Makefile
trunk/flora2/pkgs/NMakefile.mak
trunk/flora2/syslib/Makefile
trunk/flora2/syslib/NMakefile.mak
trunk/flora2-website/floratop.html
|
|
From: <ki...@us...> - 2013-07-04 02:50:48
|
Revision: 989
http://sourceforge.net/p/flora/src/989
Author: kifer
Date: 2013-07-04 02:50:47 +0000 (Thu, 04 Jul 2013)
Log Message:
-----------
added flora2.iss for super-simple windows install + minor changes in other files
not tested yet
Modified Paths:
--------------
trunk/flora2/admin/BinaryTarBall.sh
trunk/flora2/admin/ReleaseTarBall.sh
Added Paths:
-----------
trunk/flora2/admin/windows/
trunk/flora2/admin/windows/NOTES.txt
trunk/flora2/admin/windows/flora2.iss
trunk/flora2/etc/
trunk/flora2/etc/flora.ico
|
|
From: <ki...@us...> - 2013-07-04 02:50:45
|
Revision: 988
http://sourceforge.net/p/flora/src/988
Author: kifer
Date: 2013-07-04 02:50:43 +0000 (Thu, 04 Jul 2013)
Log Message:
-----------
version change
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-07-02 06:17:20
|
Revision: 987
http://sourceforge.net/p/flora/src/987
Author: kifer
Date: 2013-07-02 06:17:18 +0000 (Tue, 02 Jul 2013)
Log Message:
-----------
got rid of flora dependencies in flrdepstest.P
Modified Paths:
--------------
trunk/flora2/docs/flora-packages.tex
trunk/flora2/flrdepstest.P
|
|
From: <ki...@us...> - 2013-07-02 06:17:17
|
Revision: 986
http://sourceforge.net/p/flora/src/986
Author: kifer
Date: 2013-07-02 06:17:12 +0000 (Tue, 02 Jul 2013)
Log Message:
-----------
new file for releases
web page no-cache updates
Modified Paths:
--------------
trunk/flora2-website/florabar.html
trunk/flora2-website/florahome.html
trunk/flora2-website/floratop.html
trunk/flora2-website/installation.html
trunk/flora2-website/release_notes.html
Added Paths:
-----------
trunk/flora2/admin/README
|
|
From: <ki...@us...> - 2013-07-02 02:52:36
|
Revision: 985
http://sourceforge.net/p/flora/src/985
Author: kifer
Date: 2013-07-02 02:52:32 +0000 (Tue, 02 Jul 2013)
Log Message:
-----------
version change
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-07-02 02:50:46
|
Revision: 984
http://sourceforge.net/p/flora/src/984
Author: kifer
Date: 2013-07-02 02:50:44 +0000 (Tue, 02 Jul 2013)
Log Message:
-----------
ignored files
Property Changed:
----------------
trunk/flora2/
trunk/flora2/AT/
trunk/flora2/lib/
trunk/flora2/pkgs/
|
|
From: <ki...@us...> - 2013-07-02 02:45:58
|
Revision: 983
http://sourceforge.net/p/flora/src/983
Author: kifer
Date: 2013-07-02 02:45:56 +0000 (Tue, 02 Jul 2013)
Log Message:
-----------
fixed installation bug which was causing flora internal files .P to be compiled as if they were .flr files.
Manual updates.
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrutils.P
trunk/flora2-website/installation.html
|
|
From: <ki...@us...> - 2013-07-01 09:08:13
|
Revision: 982
http://sourceforge.net/p/flora/src/982
Author: kifer
Date: 2013-07-01 09:08:11 +0000 (Mon, 01 Jul 2013)
Log Message:
-----------
leftover debug code deleted
Modified Paths:
--------------
trunk/flora2/flrshell.P
|
|
From: <ki...@us...> - 2013-07-01 08:15:18
|
Revision: 981
http://sourceforge.net/p/flora/src/981
Author: kifer
Date: 2013-07-01 08:15:16 +0000 (Mon, 01 Jul 2013)
Log Message:
-----------
version change
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-07-01 08:12:37
|
Revision: 980
http://sourceforge.net/p/flora/src/980
Author: kifer
Date: 2013-07-01 08:12:35 +0000 (Mon, 01 Jul 2013)
Log Message:
-----------
made floraconfig create .flora_default_tabling
Modified Paths:
--------------
trunk/flora2/floraconfig
trunk/flora2/floraconfig.bat
trunk/flora2/makeflora
trunk/flora2/makeflora.bat
|
|
From: <ki...@us...> - 2013-07-01 06:53:18
|
Revision: 979
http://sourceforge.net/p/flora/src/979
Author: kifer
Date: 2013-07-01 06:53:17 +0000 (Mon, 01 Jul 2013)
Log Message:
-----------
window install fixes
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/admin/.excludedFiles
trunk/flora2/admin/BinaryTarBall.sh
trunk/flora2/admin/ReleaseTarBall.sh
trunk/flora2/floraconfig.bat
trunk/flora2/flrconfig.P
trunk/flora2/genincludes/Makefile
trunk/flora2/runflora.bat
trunk/flora2-website/florahome.html
|
|
From: <ki...@us...> - 2013-07-01 04:55:17
|
Revision: 978
http://sourceforge.net/p/flora/src/978
Author: kifer
Date: 2013-07-01 04:55:15 +0000 (Mon, 01 Jul 2013)
Log Message:
-----------
revision update
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-07-01 04:52:32
|
Revision: 977
http://sourceforge.net/p/flora/src/977
Author: kifer
Date: 2013-07-01 04:52:28 +0000 (Mon, 01 Jul 2013)
Log Message:
-----------
updated dates
Modified Paths:
--------------
trunk/flora2/version.flh
trunk/flora2-website/aboutFlogic.html
trunk/flora2-website/aboutFlora.html
trunk/flora2-website/aboutHiLog.html
trunk/flora2-website/aboutTR.html
trunk/flora2-website/documentation.html
trunk/flora2-website/download.html
trunk/flora2-website/florabar.html
trunk/flora2-website/florahome.html
trunk/flora2-website/installation.html
trunk/flora2-website/relatedWorks.html
trunk/flora2-website/release_notes.html
trunk/flora2-website/tutorial.html
|