taskSavannah Administration - Tasks: task #16425, Submission of flet - evaluator of...


task #16425: Submission of flet - evaluator of arithmetic floating point expressions

Submitter:  Gianluca Graziadei <ggraziadei>
Submitted:  Fri 25 Aug 2023 06:24:51 AM UTC
Should Start On:  Fri 25 Aug 2023 12:00:00 AM UTC Should be Finished on:  Mon 04 Sep 2023 12:00:00 AM UTC
Category:  Project Approval Priority:  * 5 - Normal
Status:  Cancelled Privacy:  Public
Assigned to:  ineiev Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup

Mon 02 Oct 2023 09:16:05 AM UTC, comment #5: 

No response; cancelling.

Ineiev <ineiev>
Site Administrator
Sun 27 Aug 2023 11:10:37 PM UTC, comment #4: 

(I hope these comments help resolve the ongoing issues. I am not an administrator here and am only trying to understand the differences between the submissions.)

For your reference, the a copy of the licence, file named COPYING, linked at an external website at https://savannah.nongnu.org/task/?16414#comment3 is included below:

Flex carries the copyright used for BSD software, slightly modified
because it originated at the Lawrence Berkeley (not Livermore!) Laboratory,
which operates under a contract with the Department of Energy:

Copyright (c) 2001, 2002, 2003, 2004, 2005, 2006, 2007 The Flex Project.

Copyright (c) 1990, 1997 The Regents of the University of California.
All rights reserved.

This code is derived from software contributed to Berkeley by
Vern Paxson.

The United States Government has rights in this work pursuant
to contract no. DE-AC03-76SF00098 between the United States
Department of Energy and the University of California.

Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:

1. Redistributions of source code must retain the above copyright
   notice, this list of conditions and the following disclaimer.
2. Redistributions in binary form must reproduce the above copyright
   notice, this list of conditions and the following disclaimer in the
   documentation and/or other materials provided with the distribution.

Neither the name of the University nor the names of its contributors
may be used to endorse or promote products derived from this software
without specific prior written permission.


This basically says "do whatever you please with this software except
remove this notice or take advantage of the University's (or the flex
authors') name".

Note that the "flex.skl" scanner skeleton carries no copyright notice.
You are free to do whatever you please with scanners generated using flex;
for them, you are not even bound by the above copyright.

The current submitted file has a licence that states the following (in file LICENSE):

                    GNU GENERAL PUBLIC LICENSE
                       Version 3, 29 June 2007

[GNU v3 licence text follows]

It looks like a relicensing to me, from a BSD-like licence to a GNU GPL v3.

- Is it allowed to state 'All rights reserved' in a licence file?
- Is this allowed to change a licence like this? Perhaps someone has a copy with the old licence on it.
- Have other authors of flex, if anyone contributed other than yourself, been consulted about this?
- The present submission, in error.c file, has a author line " 2023 Gianluca Graziadei - Stefano Scanzio"; the external website stated "Copyright (c) 2001, 2002, 2003, 2004, 2005, 2006, 2007 The Flex Project." and "Copyright (c) 1990, 1997 The Regents of the University of California. All rights reserved." in the COPYING file, and "In 2001, Will Estes took over as maintainer of flex.

John Millaway is a co-author of the current version of flex. He has
contributed a large number of new features, fixed a large number of
outstanding bugs and has made significant contributions to the flex

Aaron Stone has contributed several bug fixes to the flex codebase.

Vern Paxson wrote flex with the help of many ideas and much
inspiration from Van Jacobson.  Original version by Jef Poskanzer.

The fast table representation is a partial implementation of a design
done by Van Jacobson.  The implementation was done by Kevin Gong and
Vern Paxson." in AUTHORS file

- Noting the external website linked in https://savannah.nongnu.org/task/?16414#comment3 has a completely different software program, the contents of the .c files do not match; are these two softwares related? Please clarify.
- Perhaps the above is a good reason to choose another name for this software, that is, not "flex"? Perhaps FlexLibrary, flexlibrary, flex-library, flexlib, or libflex might be more suitable.
- Is it flex (as linked at https://savannah.nongnu.org/task/?16414#comment3 comment) or flet (as titled here)?

Thank you.

Svetlana T <svetlana>
Site Administrator
Sat 26 Aug 2023 08:11:36 PM UTC, comment #3: 

Please list the problems you seem to solve, and explain how you solved them.

Ineiev <ineiev>
Site Administrator
Fri 25 Aug 2023 12:59:47 PM UTC, comment #2: 

I checked and the problems seem solved. Can you check and list which are?

Gianluca Graziadei <ggraziadei>
Fri 25 Aug 2023 08:18:59 AM UTC, comment #1: 

The issues raised in task #16414 weren't addressed; please check again.

Ineiev <ineiev>
Site Administrator
Fri 25 Aug 2023 06:24:51 AM UTC, original submission:  

A new group has been registered at Savannah.
This group will remain inactive until a site admin approves
or discards the registration.

Registration Administration

Approving or discarding the registration must be done using the specific
Group administration page, accessible only to site
administrators logged in as superusers.

Registration Details

  • Name: flet - evaluator of arithmetic floating point expressions
  • System Name:  flet
  • Type: non-GNU software and documentation
  • License: GNU General Public License v3 or later (GNU GENERAL PUBLIC LICENSE Version 3, 29 June 2007)


Evaluate arithmetic floating point expressions written in C and Bison for parser and Flex for scanner. This library is oriented to work with Bash.
Evaluate each ARG as an arithmetic expression. Each expression ends with semicolumn. The following list of operators is grouped into levels of equal-precedence operators. The levels are listed in order of decreasing precedence.
id++, id-- variable post-increment, post-decrement
++id, --id variable pre-increment, pre-decrement
-, + unary minus, plus
!, ~ logical and bitwise negation
** exponentiation
*, /, % multiplication, division, remainder
+, - addition, subtraction
<<, >> left and right bitwise shifts
<=, >=, <, > comparison
==, != equality, inequality
& bitwise AND
^ bitwise XOR
| bitwise OR
&& logical AND
|| logical OR
boolean_exp ? scalar_exp : scalar_exp conditional operator
=, *=, /=, %=,
+=, -=, <<=, >>=,
&=, ^=, |= assignment
acos(scalar_exp) computes arc cosine.
acosh(scalar_exp) computes arc hyperbolic cosine.
asin(scalar_exp) computes arc sine.
asinh(scalar_exp) computes the hyperbolic of arc sine of an argument.
atan(scalar_exp) computes the arc tangent of an argument.
atan2(scalar_exp) computes the arc tangent of an argument.
atanh(scalar_exp) computes arc hyperbolic tangent.
cbrt(scalar_exp) computes cube root of a number.
ceil(scalar_exp) computes the nearest integer greater than argument.
cos(scalar_exp) computes the cosine of an argument.
cosh(scalar_exp) computer hyperbolic cosine.
exp(scalar_exp) computes the exponential raised to the argument.
fabs(scalar_exp) computes absolute value.
floor(scalar_exp) calculates the nearest integer less than argument.
hypot(scalar_exp) computes hypotenuse.
log(scalar_exp) computes natural logarithm of an argument.
log10(scalar_exp) computes the base 10 logarithm of an argument.
pow(scalar_exp) Computes power of a number.
sin(scalar_exp) compute sine of a number.
sinh(scalar_exp) computes the hyperbolic sine of an argument.
sqrt(scalar_exp) computes square root of a number.
tan(scalar_exp) computes tangent.
tanh(scalar_exp) computes the hyperbolic tangent of an argument.

GitHub repository: https://github.com/GGraziadei/flet

Other Software Required:

- Bison (parser)  GNU General Public License https://www.gnu.org/software/bison/
- "Flex carries the copyright used for BSD software, slightly modified
because it originated at the Lawrence Berkeley (not Livermore!) Laboratory,
which operates under a contract with the Department of Energy:" complete license https://github.com/westes/flex/blob/master/COPYING

Tarball URL:


Gianluca Graziadei <ggraziadei>


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:

No files currently attached


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by svetlana (Posted a comment)
  • -email is unavailable- added by ineiev (Posted a comment)
  • -email is unavailable- added by ggraziadei (Submitted the item)

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

    Only logged-in users can vote.


    Follow 4 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2023-10-02 ineiev StatusIn Progress Cancelled
        Open/ClosedOpen Closed
    2023-08-25 ineiev StatusNone In Progress
        Assigned toNone ineiev

    Back to the top

    Powered by Savane 3.12