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
|
13
|
14
|
|
15
|
16
|
17
|
18
|
19
|
20
|
21
|
|
22
|
23
|
24
|
25
|
26
|
27
|
28
(2) |
|
29
(2) |
30
|
31
|
|
|
|
|
|
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
|