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
|
3
|
4
|
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
|
12
(4) |
13
(9) |
14
(3) |
15
(4) |
16
(1) |
17
(2) |
18
(1) |
|
19
(1) |
20
(1) |
21
(3) |
22
(3) |
23
(2) |
24
(1) |
25
|
|
26
(7) |
27
(1) |
28
|
29
(2) |
30
(1) |
31
|
|
|
From: <ki...@us...> - 2013-05-30 03:11:13
|
Revision: 929
http://sourceforge.net/p/flora/src/929
Author: kifer
Date: 2013-05-30 03:11:11 +0000 (Thu, 30 May 2013)
Log Message:
-----------
Miguel's changes + cleanup.
Main thing:
flora_add_module_dyn
flora_load_module_util
flora_flload
util_compile_file_add
now have versions suitable for external applications such as Interprolog.
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_status_codes.flh
trunk/flora2/flrparser.P
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
|
|
From: <ki...@us...> - 2013-05-29 07:56:36
|
Revision: 928
http://sourceforge.net/p/flora/src/928
Author: kifer
Date: 2013-05-29 07:56:33 +0000 (Wed, 29 May 2013)
Log Message:
-----------
Merge branch 'hide_aux_files'
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/AT/Makefile
trunk/flora2/AT/NMakefile.mak
trunk/flora2/Makefile
trunk/flora2/NMakefile.mak
trunk/flora2/demos/Makefile
trunk/flora2/demos/NMakefile.mak
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrshell.P
trunk/flora2/flrutils.P
trunk/flora2/lib/Makefile
trunk/flora2/lib/NMakefile.mak
trunk/flora2/pkgs/Makefile
trunk/flora2/pkgs/NMakefile.mak
trunk/flora2-testsuite/symbols/symbols_tests.flr
trunk/flora2-testsuite/test_dir.sh
trunk/flora2-website/release_notes.html
Removed Paths:
-------------
trunk/flora2-testsuite/general_tests/terminyzer2_summary.txt
|
|
From: <ki...@us...> - 2013-05-29 07:56:28
|
Revision: 927
http://sourceforge.net/p/flora/src/927
Author: kifer
Date: 2013-05-29 07:56:26 +0000 (Wed, 29 May 2013)
Log Message:
-----------
added description of hilog udf rewriting.
Added Paths:
-----------
trunk/flora2/docs/udf_rewriting.txt
|
|
From: <ki...@us...> - 2013-05-27 18:12:02
|
Revision: 926
http://sourceforge.net/p/flora/src/926
Author: kifer
Date: 2013-05-27 18:11:59 +0000 (Mon, 27 May 2013)
Log Message:
-----------
some improvements in UDFs
Modified Paths:
--------------
trunk/flora2/closure/flrcommon.fli
trunk/flora2/flrcompiler.P
trunk/flora2/flrlexer.P
trunk/flora2/flrshell.P
|
|
From: <ki...@us...> - 2013-05-26 21:13:01
|
Revision: 925
http://sourceforge.net/p/flora/src/925
Author: kifer
Date: 2013-05-26 21:12:59 +0000 (Sun, 26 May 2013)
Log Message:
-----------
fixed a problem whereby function ?Z(?X) was allowed and produced incorrect answers.
Modified Paths:
--------------
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
|
|
From: <ki...@us...> - 2013-05-26 21:12:58
|
Revision: 924
http://sourceforge.net/p/flora/src/924
Author: kifer
Date: 2013-05-26 21:12:57 +0000 (Sun, 26 May 2013)
Log Message:
-----------
Multiple error fixes in flrlexer.P
Some stale code in the parser deleted.
Modified Paths:
--------------
trunk/flora2/flrincludes/flora_errors.flh
trunk/flora2/flrlexer.P
trunk/flora2/flrparser.P
trunk/flora2/flrutils.P
trunk/flora2-testsuite/functions/errors_warnings_tests_old
trunk/flora2-testsuite/general_tests/compiletest_old
trunk/flora2-testsuite/symbols/symbols_tests_old
|
|
From: <ki...@us...> - 2013-05-26 21:12:55
|
Revision: 923
http://sourceforge.net/p/flora/src/923
Author: kifer
Date: 2013-05-26 21:12:54 +0000 (Sun, 26 May 2013)
Log Message:
-----------
cleaned up stale code
Modified Paths:
--------------
trunk/flora2/flrparser.P
|
|
From: <ki...@us...> - 2013-05-26 21:12:53
|
Revision: 922
http://sourceforge.net/p/flora/src/922
Author: kifer
Date: 2013-05-26 21:12:52 +0000 (Sun, 26 May 2013)
Log Message:
-----------
fixed address for bug reporting
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/flrincludes/flora_errors.flh
|
|
From: <ki...@us...> - 2013-05-26 21:12:50
|
Revision: 921
http://sourceforge.net/p/flora/src/921
Author: kifer
Date: 2013-05-26 21:12:49 +0000 (Sun, 26 May 2013)
Log Message:
-----------
updated release, version
Modified Paths:
--------------
trunk/flora2/version.flh
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2013-05-26 21:12:48
|
Revision: 920
http://sourceforge.net/p/flora/src/920
Author: kifer
Date: 2013-05-26 21:12:46 +0000 (Sun, 26 May 2013)
Log Message:
-----------
changed the name to flora portal @ SF
Modified Paths:
--------------
trunk/flora2-website/floratop.html
|
|
From: <ki...@us...> - 2013-05-26 21:12:46
|
Revision: 919
http://sourceforge.net/p/flora/src/919
Author: kifer
Date: 2013-05-26 21:12:43 +0000 (Sun, 26 May 2013)
Log Message:
-----------
advanced version, ignored testsuite files
Modified Paths:
--------------
trunk/.gitignore
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-05-24 03:49:52
|
Revision: 918
http://sourceforge.net/p/flora/src/918
Author: kifer
Date: 2013-05-24 03:49:50 +0000 (Fri, 24 May 2013)
Log Message:
-----------
eliminated warning by manual unification factoring
Modified Paths:
--------------
trunk/flora2/syslib/flrmetaops.P
|
|
From: <ki...@us...> - 2013-05-23 06:42:18
|
Revision: 917
http://sourceforge.net/p/flora/src/917
Author: kifer
Date: 2013-05-23 06:42:16 +0000 (Thu, 23 May 2013)
Log Message:
-----------
Merge branch 'master' into svn
Modified Paths:
--------------
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-05-23 06:26:13
|
Revision: 916
http://sourceforge.net/p/flora/src/916
Author: kifer
Date: 2013-05-23 06:26:11 +0000 (Thu, 23 May 2013)
Log Message:
-----------
added more links
Modified Paths:
--------------
trunk/flora2-website/floratop.html
|
|
From: <ki...@us...> - 2013-05-22 07:18:10
|
Revision: 915
http://sourceforge.net/p/flora/src/915
Author: kifer
Date: 2013-05-22 07:18:02 +0000 (Wed, 22 May 2013)
Log Message:
-----------
added dates, changed title
Modified Paths:
--------------
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
|
|
From: <ki...@us...> - 2013-05-22 06:28:55
|
Revision: 914
http://sourceforge.net/p/flora/src/914
Author: kifer
Date: 2013-05-22 06:28:54 +0000 (Wed, 22 May 2013)
Log Message:
-----------
updated ignored files
Modified Paths:
--------------
trunk/.gitignore
|
|
From: <ki...@us...> - 2013-05-22 06:28:54
|
Revision: 913
http://sourceforge.net/p/flora/src/913
Author: kifer
Date: 2013-05-22 06:28:49 +0000 (Wed, 22 May 2013)
Log Message:
-----------
Made =.. and ~ work correctly with naf-ed and neg-ed literals.
Modified Paths:
--------------
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrutils.H
trunk/flora2/flrutils.P
trunk/flora2/flrwrapper.P
trunk/flora2/syslib/flrdelaysupport.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2-testsuite/general_tests/meta_unification.flr
trunk/flora2-testsuite/general_tests/meta_unification_old
|
|
From: <ki...@us...> - 2013-05-21 02:53:15
|
Revision: 912
http://sourceforge.net/p/flora/src/912
Author: kifer
Date: 2013-05-21 02:53:12 +0000 (Tue, 21 May 2013)
Log Message:
-----------
make sure flrdefinition.flh does not change spontaneously
Modified Paths:
--------------
trunk/flora2/includes/flrdefinition.flh
trunk/flora2/includes/flrdefinition.fli
|
|
From: <ki...@us...> - 2013-05-21 02:39:20
|
Revision: 911
http://sourceforge.net/p/flora/src/911
Author: kifer
Date: 2013-05-21 02:39:17 +0000 (Tue, 21 May 2013)
Log Message:
-----------
cleanup
Modified Paths:
--------------
trunk/flora2/includes/flrdefinition.flh
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-05-21 00:36:13
|
Revision: 910
http://sourceforge.net/p/flora/src/910
Author: kifer
Date: 2013-05-21 00:36:11 +0000 (Tue, 21 May 2013)
Log Message:
-----------
1. Fixed datatype names for _string, _float, etc. Now it checks the canonical
type name.
2. true/false, when appear as propositions or constants, do not trigger syntax
context warnings
Modified Paths:
--------------
trunk/flora2/datatypes/flrdatatype.P
trunk/flora2/flrcompiler.P
trunk/flora2/flrporting.P
trunk/flora2/includes/flrdefinition.flh
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2013-05-20 06:20:49
|
Revision: 909
http://sourceforge.net/p/flora/src/909
Author: kifer
Date: 2013-05-20 06:20:47 +0000 (Mon, 20 May 2013)
Log Message:
-----------
added .gitignore
Modified Paths:
--------------
trunk/flora2/includes/flrdefinition.flh
Added Paths:
-----------
trunk/.gitignore
|
|
From: <ki...@us...> - 2013-05-19 04:06:15
|
Revision: 908
http://sourceforge.net/p/flora/src/908
Author: kifer
Date: 2013-05-19 04:06:13 +0000 (Sun, 19 May 2013)
Log Message:
-----------
slight improvement in no_errors_found/1
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
trunk/flora2-website/release_notes.html
|
|
From: <ki...@us...> - 2013-05-18 06:03:31
|
Revision: 907
http://sourceforge.net/p/flora/src/907
Author: kifer
Date: 2013-05-18 06:03:29 +0000 (Sat, 18 May 2013)
Log Message:
-----------
comment
Modified Paths:
--------------
trunk/flora2/admin/BinaryTarBall.sh
|
|
From: <ki...@us...> - 2013-05-17 23:02:22
|
Revision: 906
http://sourceforge.net/p/flora/src/906
Author: kifer
Date: 2013-05-17 23:02:20 +0000 (Fri, 17 May 2013)
Log Message:
-----------
fixed many issues with the way =.. presents the results.
=.. now also works with complex reified statements
Modified Paths:
--------------
trunk/flora2/syslib/flrmetaops.P
|
|
From: <ki...@us...> - 2013-05-17 19:43:39
|
Revision: 905
http://sourceforge.net/p/flora/src/905
Author: kifer
Date: 2013-05-17 19:43:36 +0000 (Fri, 17 May 2013)
Log Message:
-----------
prevent symbol context warnings in compiling =..
Modified Paths:
--------------
trunk/flora2/flrcompiler.P
|