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
(1) |
3
|
|
4
|
5
|
6
(1) |
7
|
8
|
9
|
10
|
|
11
(1) |
12
|
13
|
14
|
15
(1) |
16
|
17
(1) |
|
18
|
19
|
20
(2) |
21
(1) |
22
(1) |
23
|
24
(2) |
|
25
(1) |
26
(1) |
27
(1) |
28
(1) |
29
|
30
(1) |
31
|
|
From: <ki...@us...> - 2014-05-30 04:20:37
|
Revision: 1185
http://sourceforge.net/p/flora/src/1185
Author: kifer
Date: 2014-05-30 04:20:31 +0000 (Fri, 30 May 2014)
Log Message:
-----------
fix in base types
Modified Paths:
--------------
trunk/flora2/datatypes/flrdatatype_parse.P
trunk/flora2/lib/flrbasetype.flr
trunk/flora2/syslib/flrdecode.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/basetypes.flr
trunk/flora2-testsuite/general_tests/basetypes_old
|
|
From: <ki...@us...> - 2014-05-28 01:34:20
|
Revision: 1184
http://sourceforge.net/p/flora/src/1184
Author: kifer
Date: 2014-05-28 01:34:17 +0000 (Wed, 28 May 2014)
Log Message:
-----------
fixed a composer bug, which prevented things like ${a:-b}[foo->bar]
improved indexing in the composer
fixed a bug in toType
better display of rules as answer bindings
Modified Paths:
--------------
trunk/flora2/flrcomposer.H
trunk/flora2/flrcomposer.P
trunk/flora2/lib/flrbasetype.flr
trunk/flora2/lib/flrshow.flr
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/compile_control.flr
|
|
From: <ki...@us...> - 2014-05-27 04:40:55
|
Revision: 1183
http://sourceforge.net/p/flora/src/1183
Author: kifer
Date: 2014-05-27 04:40:51 +0000 (Tue, 27 May 2014)
Log Message:
-----------
better (syntactically correct) display of reified rules in answers
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/syslib/flrdecode.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/agent_old
trunk/flora2-testsuite/general_tests/reifiedRules_old
|
|
From: <ki...@us...> - 2014-05-26 04:44:31
|
Revision: 1182
http://sourceforge.net/p/flora/src/1182
Author: kifer
Date: 2014-05-26 04:44:28 +0000 (Mon, 26 May 2014)
Log Message:
-----------
fixed compiler bug in reification of delay quantifiers
better treatment of these quantifiers by =..
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrcoder.P
trunk/flora2/flrcompiler.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/compile_control.flr
|
|
From: <ki...@us...> - 2014-05-25 06:20:11
|
Revision: 1181
http://sourceforge.net/p/flora/src/1181
Author: kifer
Date: 2014-05-25 06:20:08 +0000 (Sun, 25 May 2014)
Log Message:
-----------
improved the handling of update ops by =..
added aboutLPDA to the web site
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/version.flh
trunk/flora2-website/florabar.html
Added Paths:
-----------
trunk/flora2-website/aboutLPDA.html
|
|
From: <ki...@us...> - 2014-05-24 22:38:24
|
Revision: 1180
http://sourceforge.net/p/flora/src/1180
Author: kifer
Date: 2014-05-24 22:38:23 +0000 (Sat, 24 May 2014)
Log Message:
-----------
added more things to ignore
Modified Paths:
--------------
trunk/flora2/.gitignore
|
|
From: <ki...@us...> - 2014-05-24 22:35:39
|
Revision: 1179
http://sourceforge.net/p/flora/src/1179
Author: kifer
Date: 2014-05-24 22:35:38 +0000 (Sat, 24 May 2014)
Log Message:
-----------
robustified =.. slightly
added the new profile{...} primitive to simplify profiling.
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrarguments.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrsimpleprimitive.P
trunk/flora2/runflora
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/version.flh
|
|
From: <ki...@us...> - 2014-05-22 06:03:02
|
Revision: 1178
http://sourceforge.net/p/flora/src/1178
Author: kifer
Date: 2014-05-22 06:03:00 +0000 (Thu, 22 May 2014)
Log Message:
-----------
fixed bugs having to do with datatypes appearing inside frames
fixed bugs having to do with various occurrences of transactional datatypes
made =.. reversible for control constructs
Modified Paths:
--------------
trunk/flora2/docs/flora2-manual.tex
trunk/flora2/flrcompiler.H
trunk/flora2/flrcompiler.P
trunk/flora2/flrincludes/flora_terms.flh
trunk/flora2/flrparser.H
trunk/flora2/flrparser.P
trunk/flora2/syslib/flrdecode.P
trunk/flora2/syslib/flrmetaops.P
trunk/flora2/version.flh
trunk/flora2-testsuite/general_tests/compile_control.flr
trunk/flora2-testsuite/general_tests/compiletest.flr
Added Paths:
-----------
trunk/flora2-testsuite/general_tests/trans.flr
trunk/flora2-testsuite/general_tests/trans_old
|
|
From: <ki...@us...> - 2014-05-21 04:33:27
|
Revision: 1177
http://sourceforge.net/p/flora/src/1177
Author: kifer
Date: 2014-05-21 04:33:23 +0000 (Wed, 21 May 2014)
Log Message:
-----------
fix for the number of reported answers
Modified Paths:
--------------
trunk/flora2/syslib/flranswer.P
trunk/flora2/version.flh
|
|
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
|