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
|
| S | M | T | W | T | F | S |
|---|---|---|---|---|---|---|
|
|
|
|
1
(2) |
2
|
3
|
4
|
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
|
12
|
13
|
14
|
15
|
16
|
17
|
18
|
|
19
|
20
|
21
|
22
|
23
(3) |
24
(2) |
25
|
|
26
|
27
|
28
|
29
|
30
|
31
|
|
|
From: <ki...@us...> - 2014-01-24 01:16:25
|
Revision: 1138
http://sourceforge.net/p/flora/src/1138
Author: kifer
Date: 2014-01-24 01:16:22 +0000 (Fri, 24 Jan 2014)
Log Message:
-----------
manual fixes
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-01-24 00:04:32
|
Revision: 1137
http://sourceforge.net/p/flora/src/1137
Author: kifer
Date: 2014-01-24 00:04:29 +0000 (Fri, 24 Jan 2014)
Log Message:
-----------
fixed a bug in dynamic rules when they contain bare variables in the body
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/syslib/flrdynrule.P
trunk/flora2/version.flh
Added Paths:
-----------
trunk/flora2/demos/db_test.flh
|
|
From: <ki...@us...> - 2014-01-23 08:53:48
|
Revision: 1136
http://sourceforge.net/p/flora/src/1136
Author: kifer
Date: 2014-01-23 08:53:45 +0000 (Thu, 23 Jan 2014)
Log Message:
-----------
Merge branch 'svn' into trunk-local
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.P
trunk/flora2/flrporting.P
trunk/flora2/flrutils.P
trunk/flora2/makeflora
trunk/flora2/syslib/flrdynrule.P
trunk/flora2-testsuite/flrtesthook.flh
trunk/flora2-testsuite/general_tests/tnf_flora_old
trunk/flora2-testsuite/symbols/symbol_context_syntax.flr
trunk/flora2-testsuite/symbols/symbol_context_syntax_old
trunk/flora2-testsuite/symbols/symbol_context_syntax_warnings.flr
trunk/flora2-testsuite/test_dir.sh
|
|
From: <ki...@us...> - 2014-01-23 08:03:16
|
Revision: 1135
http://sourceforge.net/p/flora/src/1135
Author: kifer
Date: 2014-01-23 08:03:14 +0000 (Thu, 23 Jan 2014)
Log Message:
-----------
version change
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-01-23 07:20:15
|
Revision: 1134
http://sourceforge.net/p/flora/src/1134
Author: kifer
Date: 2014-01-23 07:20:11 +0000 (Thu, 23 Jan 2014)
Log Message:
-----------
Merge remote-tracking branch 'bitbucket_frodo/Coherent'
Conflicts:
flora2/flrincludes/hooks/flrproduct.flh
flora2/hooks/flrboot.P
flora2/hooks/flrconsts.flh
flora2/hooks/flrparser_headORhook.P
flora2/hooks/flrparser_headquanthook.P
flora2/hooks/flrwelcome.P
flora2/hooks/version.flh
Modified Paths:
--------------
trunk/flora2/AT/NMakefile.mak
trunk/flora2/Makefile
trunk/flora2/NMakefile.mak
trunk/flora2/closure/NMakefile.mak
trunk/flora2/datatypes/NMakefile.mak
trunk/flora2/debugger/NMakefile.mak
trunk/flora2/demos/NMakefile.mak
trunk/flora2/demos/default.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_exceptions.flh
trunk/flora2/flrincludes/flora_terms.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/flrshell.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/genincludes/NMakefile.mak
trunk/flora2/includes/NMakefile.mak
trunk/flora2/lib/NMakefile.mak
trunk/flora2/makeflora
trunk/flora2/makeflora.bat
trunk/flora2/pkgs/NMakefile.mak
trunk/flora2/runflora.bat
trunk/flora2/syslib/Makefile
trunk/flora2/syslib/NMakefile.mak
trunk/flora2/syslib/flranswer.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/version.flh
trunk/flora2-testsuite/delaystests/errors_tests_old
trunk/flora2-testsuite/delaystests/test_delays_old
trunk/flora2-testsuite/exporttest/export_compile_test_old
trunk/flora2-testsuite/flrtesthook.flh
trunk/flora2-testsuite/functions/errors_warnings_tests_old
trunk/flora2-testsuite/functions/test_builtin_old
trunk/flora2-testsuite/functions/test_func_facts_err_old
trunk/flora2-testsuite/functions/test_func_facts_load_err_old
trunk/flora2-testsuite/general_tests/.gitignore
trunk/flora2-testsuite/general_tests/add1.flr
trunk/flora2-testsuite/general_tests/add_load.flr
trunk/flora2-testsuite/general_tests/add_load_old
trunk/flora2-testsuite/general_tests/compile_control.flr
trunk/flora2-testsuite/general_tests/compiletest.flr
trunk/flora2-testsuite/general_tests/compiletest_old
trunk/flora2-testsuite/general_tests/depchecktest_old
trunk/flora2-testsuite/general_tests/dyn_fbasics.flr
trunk/flora2-testsuite/general_tests/lt.flr
trunk/flora2-testsuite/general_tests/sensortest_err_old
trunk/flora2-testsuite/general_tests/sensortest_load_err_old
trunk/flora2-testsuite/general_tests/setarg.flr
trunk/flora2-testsuite/general_tests/setarg_old
trunk/flora2-testsuite/general_tests/textual_load_old
trunk/flora2-testsuite/symbols/symbol_context_syntax_old
trunk/flora2-testsuite/symbols/symbols_load_tests_old
trunk/flora2-testsuite/symbols/symbols_nowarn_load_tests_old
trunk/flora2-testsuite/symbols/symbols_tests_old
trunk/flora2-testsuite/symbols/symbols_warnoff_load_tests_old
trunk/flora2-testsuite/symbols/test_udf_hilog_pred_err_old
trunk/flora2-testsuite/test_dir.sh
Added Paths:
-----------
trunk/flora2-testsuite/general_tests/tnf.flr
trunk/flora2-testsuite/general_tests/tnf_data.flr
trunk/flora2-testsuite/general_tests/tnf_flora_old
|
|
From: <ki...@us...> - 2014-01-01 06:30:34
|
Revision: 1133
http://sourceforge.net/p/flora/src/1133
Author: kifer
Date: 2014-01-01 06:30:31 +0000 (Wed, 01 Jan 2014)
Log Message:
-----------
bug fix in the shell script. revision update
Modified Paths:
--------------
trunk/flora2/makeflora
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-01-01 04:52:58
|
Revision: 1132
http://sourceforge.net/p/flora/src/1132
Author: kifer
Date: 2014-01-01 04:52:56 +0000 (Wed, 01 Jan 2014)
Log Message:
-----------
Merge from the ergo branch.
Added setruntime{...}.
Some configuration work. Requires an XSB update.
Modified Paths:
--------------
trunk/flora2/AT/Makefile
trunk/flora2/AT/NMakefile.mak
trunk/flora2/AT/atco2.flr
trunk/flora2/Makefile
trunk/flora2/NMakefile.mak
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/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/docs/flora2-manual.tex
trunk/flora2/flora2.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrlibman.H
trunk/flora2/flrlibman.P
trunk/flora2/flrparser.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/flrwraparound.H
trunk/flora2/flrwraparound.P
trunk/flora2/genincludes/Makefile
trunk/flora2/genincludes/NMakefile.mak
trunk/flora2/includes/Makefile
trunk/flora2/includes/NMakefile.mak
trunk/flora2/java/API/javaAPI/src/net/sf/flora2/API/PrologFlora.java
trunk/flora2/lib/Makefile
trunk/flora2/lib/NMakefile.mak
trunk/flora2/pkgs/Makefile
trunk/flora2/pkgs/NMakefile.mak
trunk/flora2/runflora
trunk/flora2/runflora.bat
trunk/flora2/syslib/Makefile
trunk/flora2/syslib/NMakefile.mak
trunk/flora2/syslib/flrcallflora.P
trunk/flora2/syslib/flrerrhandler.P
trunk/flora2/syslib/flrimportedcalls.P
trunk/flora2/version.flh
trunk/flora2-testsuite/datafiles/flora_query_caller
trunk/flora2-testsuite/general_tests/terminyzer0.flr
trunk/flora2-testsuite/general_tests/terminyzer1.flr
trunk/flora2-testsuite/general_tests/terminyzer2.flr
|