fortran-src - Version 0.16.7

• Added mention of Fortran 2003 version support in the help message
• Improved parsing of allocate statements

Scientific Software - Peer-reviewed - Haskell
Published by dorchard 9 months ago

fortran-src - Version 0.16.5

• Small fix to Fortran 2003 parsing around procedure statements.

Scientific Software - Peer-reviewed - Haskell
Published by dorchard 11 months ago

fortran-src - Version 0.16.4 (JOSS)

• Small fix around parsing of BOZ constants.
• This version was reviewed for JOSS.

Archived on Zenodo

Scientific Software - Peer-reviewed - Haskell
Published by dorchard about 1 year ago

fortran-src - Version 0.16.3

0.16.3 (Sep 30, 2024)

• Store source names for local declarations in .fsmod files.
• Constant evaluator now handles real-integer exponent and real-real exponent expression

Documentation here: https://hackage.haskell.org/package/fortran-src-0.16.3

Scientific Software - Peer-reviewed - Haskell
Published by dorchard over 1 year ago

fortran-src - Version 0.16.2

• Small change to allow a path to be added when building mod-file naming map
• Improvements to the power of constant propagation and constant expression evaluation.

Scientific Software - Peer-reviewed - Haskell
Published by dorchard over 1 year ago

fortran-src - Version 0.16.1

• Minor fix to fromConstReal which was partial.
• Added Ord instance for AST and all its sub data types, allowing, for example, ASTs to be in containers like Data.Set

Scientific Software - Peer-reviewed - Haskell
Published by dorchard over 1 year ago

fortran-src - Version 0.16.0

• Added --show-make-list option to give a topological sort on the dependency graph for a source tree
• Added --version option
• Some robustness improvements around mod files #286
• Helpers to work with the partial evaluation representation #285

Scientific Software - Peer-reviewed - Haskell
Published by dorchard over 1 year ago

fortran-src - Version 0.14.0

• provide extended evaluated array dimensions type at Language.Fortran.Common.Array (#261, @raehik)
  • replace the previous Dimensions type in Language.Fortran.Analysis.SemanticTypes

Scientific Software - Peer-reviewed - Haskell
Published by raehik about 3 years ago

fortran-src - Version 0.13.0

• better handling for line directives in free form lexer (#248, @mrd)
• don't inline solo includes in relevant F77 parsers (#245, @RaoulHC)
• add -C=opts CLI option for passing CPP arguments (#250, @mrd)
• fix reformatting of 73 character long lines in naive mixed form reformatter (#251, @ksromanov)
• assume extended Fortran77Legacy rather than Fortran77 for *.f, *.for etc. files (#260)
• allow comment lines between continuation lines in F77 parser (in standard) (#257, @RaoulHC)
• refactor Fortran type & value representation & expression evaluator without Fortran kind-indexed GADTs; replace constant folder (#253, @raehik)

Scientific Software - Peer-reviewed - Haskell
Published by raehik about 3 years ago

fortran-src - Version 0.12.0

• clean up F77 include inlining (#245, @RaoulHC)
  • directly export F77 include parser at f77lIncludesNoTransform
  • f77lIncIncludes :: String -> ByteString -> IO [Block A0] should now be defined by the user e.g. \fn bs -> throwIOLeft $ f77lIncludesNoTransform fn bs
• Language.Fortran.Analysis.SemanticTypes: alter SemType constructor TArray to support assumed-size (e.g. integer arr(*)) arrays (#244)
• Language.Fortran.Rewriter: fix inline comment padding (#242, @RaoulHC)

Scientific Software - Peer-reviewed - Haskell
Published by raehik over 3 years ago

fortran-src - Version 0.11.0

• add strong Fortran value & type representation at Language.Fortran.Repr (currently unused) (#235, @raehik)
  • operations are accurate to actual Fortran compiler behaviour e.g. integers are stored fixed-width based on kind, so overflow behaviour is free
  • can recover a value's precise type (e.g. INTEGER(8), including kind) via pattern matching
• bump minimum compiler version to GHC 9.0
• improved comment handling in fixed form lexer: parse more comment syntax, case sensitive, parse beyond column 72 (#237, @RaoulHC)
• allow ExpDataRef constructor in varName (fixes a crash in type analysis #238)
• add Annotated, Spanned instances for intermediate AST data type ArgumentExpression
• export statement-level "pre-prepared" parsers (previously, you would have to define the parser yourself using parser utils and the Happy parser export)
• export Language.Fortran.Parser.byVerFromFilename :: Parser (ProgramFile A0), a replacement for the removed Language.Fortran.Parser.Any.fortranParser

Scientific Software - Peer-reviewed - Haskell
Published by raehik over 3 years ago

fortran-src - Version 0.10.2

• fix missing parentheses when pretty printing certain syntax #233
• fix missing export of ParseErrorSimple in Parser
• fix inlined includes block order #234

Scientific Software - Peer-reviewed - Haskell
Published by raehik over 3 years ago

fortran-src - Version 0.10.1

• export ParseErrorSimple from Parser, not internal module Parser.Monad
• rewriter fixes #232

Scientific Software - Peer-reviewed - Haskell
Published by raehik over 3 years ago

fortran-src - Version 0.10.0

• Fix parsing kind parameters like a_1 on literals. Previously, that would be parsed as a kind parameter on a kind parameter. Now we don't do that, following gfortran's behaviour.
  • Kind parameter representation is changed to explicitly say if it's an integer kind or named constant kind, rather than reusing Expression.
• BOZ literals
  • add some syntactic info (to enable checking standards conformance)
  • export bozAsTwosComp function for reading as two's complement integer
• allow named constants in complex literals
• document FirstParameter, SecondParameter behaviour/safety, fix erroneous instances
• fiddle with record selectors for some AST nodes (for better Aeson instances)
• pair IF/CASE conditions with their blocks, rather than splitting between two lists
• ExpFunctionCall and StCall store procedure arguments in AList ([a]) instead of Maybe AList (Maybe [a])
  • Matching is safer because empty lists are always [] instead of Nothing or Just []. Construction for empty lists is more awkward.
  • A better solution would be to use an AList-like that also stores extra syntactic information.
• refactored a number of small AST nodes
  • ImpElement
  • ForallHeader
• add Hackage documentation to many individual AST constructors and fields
• improve include parser interface #227
• improve newline handling for block parsers #228
• fix some source span misses #225

Scientific Software - Peer-reviewed - Haskell
Published by raehik over 3 years ago

fortran-src - Version 0.9.0

• Restructure parsing-related modules for code deduplication and better user experience.
  • Now all user-facing parsers and the combinators to create them are in a single module at Language.Fortran.Parser.
  • The Happy parsers have fewer dependencies, so should no longer require a recompile due to apparently unrelated changes.
• Remove some deprecated shims (from the restructured modules).
• Merge fortran-src-extras Language.Fortran.Extras.ModFiles.Extras module into Language.Fortran.Util.ModFile.

Scientific Software - Peer-reviewed - Haskell
Published by raehik about 4 years ago

fortran-src - Version 0.8.0

• Merge declarator constructors. Now you differentiate between array and scalar declarators by looking at the relevant field. See Language.Fortran.AST.Declarator for details.
• Add bozAsNatural :: Num a => Boz -> a function to resolve BOZ constants as integers

Scientific Software - Peer-reviewed - Haskell
Published by raehik over 4 years ago

fortran-src - Version 0.7.0

• No longer treat ! in strings as comments in continuation reformatter (thanks @envp) #179
• CI builds on Mac; more release automation #181 #189
• Handle nonstandard kind parameter in parsing & type analysis #188
• Fix renamer ambiguity resulting in unusual name-related breakages (e.g. ValVariable not getting transformed to ValIntrinsic) #190
• Fully parse logical literals early (don't leave as String) #185
  • Code that touches ValLogical will have to be updated -- it should mean removal of user-side parsing.
• Explicitly parse integer literal kind parameter #191
  • The String representation stored should now always be safe to read to a Haskell Integral.
• Provide real literals in a semi-parsed "decomposed" format #193
  • Kind parameters are also made explicit.
  • Libraries with custom real literal parsing should be able to replace it with readRealLit :: (Fractional a, Read a) => RealLit -> a.
• BOZ literal constants receive their own Value constructor (instead of sharing one with integers) #194
  • Also parse them to an intermediate data type and provide handling functions.

Note that kind parameters are disabled in fixed form parsers (F77, F66), so for codebases targeting older standards, many changes will be along the lines of ValInteger x -> ValInteger x _.

Scientific Software - Peer-reviewed - Haskell
Published by raehik over 4 years ago

fortran-src - Version 0.6.1

• Properly include test data in package dist (in preparation for placing on Stackage)

Scientific Software - Peer-reviewed - Haskell
Published by raehik over 4 years ago

fortran-src - Version 0.6.0

• IF and CASE block constructs are now parsed as blocks at parsing instead of as a post-parse transformation (no intermediate statement representation) #154
• add ASSOCIATE block construct (Fortran 2003 parser only) #165
• CommonGroup AST nodes now store Declarators instead of Expressions #173
  • various bug fixes related to their typing as a result
• CI now building on Windows, and save Linux & Windows executables for each build
• various bugfixes (#34, #155)

Scientific Software - Peer-reviewed - Haskell
Published by raehik over 4 years ago

fortran-src - Version 0.5.0

• Introduce a second-stage type representation including kind info alongside types, and resolving some types to semantic type with preset kinds (e.g. DOUBLE PRECISION -> REAL(8)).
  • Module is at Language.Fortran.Analysis.SemanticTypes . Includes utils and instances.
  • The type analysis in Language.Fortran.Analysis.Types uses this representation now (IDType stores a SemType instead of a BaseType).
• Move CharacterLen from parsing to type analysis.
  • This makes BaseType now a plain tag/enum with no extra info.
• Add extended Fortran 90 real literal parser (parses kind info).
• Export some infer monad utils (potentially useful for running just parts of type analysis)
• Parser & lexer tweaks
  • Fortran 77 parser should no longer attempt to parse kind selectors for DOUBLE types
  • Fix an edge case with the fixed form lexer (#150)

Scientific Software - Peer-reviewed - Haskell
Published by raehik almost 5 years ago

fortran-src - Version 0.4.3

• Add Haddock documentation to AST module. Many parts of the AST now have commentary on meaning and usage, and the Haddock page is sectioned.
• Add STATIC statement (should be similar/identical to SAVE attribute) to fixed-form lexer, support in Fortran 77 Extended parser.
• Rewrite post-parse transformation handling. Parser modules now export more parsers which allow you to select post-parse transformations to apply, intended to enable quicker parsing if you know you don't need to certain transformations.
• Support percent data references in fixed-form lexer, enable in Fortran 77 parser
• Now also testing on GHC 9.0
• Cache INCLUDE-ed files to avoid unnecessary re-parsing

Scientific Software - Peer-reviewed - Haskell
Published by raehik almost 5 years ago

fortran-src - Version 0.4.2

• FortranVersion from ParserMonad moved to its own module Language.Fortran.Version. ParserMonad will re-export it for now.
• Version.deduceVersion renamed to deduceFortranVersion due to often being imported non-qualified. deduceVersion remains as an alias.
• Provide a continuation reformatter in PrettyPrint. Runs on Strings and doesn't guarantee the output is a valid program, so not enabled by default.
• Add a diff-like rewriter, similar to reprinter but uses replacements rather than an annotated AST.
• Various internal de-duplication and changes.

Scientific Software - Peer-reviewed - Haskell
Published by raehik about 5 years ago

fortran-src - Version 0.4.0

• ModGraph: parse Fortran files and assemble them into a dependency graph in order to construct automated 'build' plans for analysis and summarisation (e.g. with --make-mods option).
• Change name of compilation to summarisation. Remains as '-c' option.
• Allow multiple files and directories to be specified on command line.
• Search includedir recursively for fsmod files.
• Change format of fsmod-files so that they can contain [ModFile] since multiple Fortran files can be summarised into a single mod file.
• Introduce strictness and NFData dependencies across the board.
• Use Pipes to process large amounts of files in order to control memory usage and more efficiently process things.
• Parsing rules for StructStructures (thanks Raoul Charman)

Scientific Software - Peer-reviewed - Haskell
Published by mrd over 6 years ago

fortran-src - Version 0.3.0

• Add partial Fortran2003 support.
• Introduce datatype for BBGr instead of prior type alias for Gr.
  • Now split into three fields: bbgrGr, bbgrEntries and bbgrExits
  • May require refactoring of code to use bbgrGr field where a Gr was expected before.
• Introduce pragmaOffset field for Position, allowing pragmas to specify an apparent file and line-number.
  • May require refactoring of code that uses the Position constructor.
  • Fifth field is Maybe (Int, String), containing a line-offset and a target filename when present.
  • It's designed such that most Position-based transformations are not affected by the pragmaOffset.
  • They may need to preserve the field, though, as it passes through functions.
  • Default value is 'Nothing'.
• Add --show-flows-to/--show-flows-from features
  • Visualise the dataflow use/def chains using GraphViz.
• Add --show-block-numbers feature.
  • Allows user to get AST-block numbers easily in order to use them with the above visualisation features.
• Fix several bugs with dataflow analysis that had accumulated.
• Eliminate StContinue and StEnddo are eliminated during GroupLabeledDo transformations.
  • To be consistent with unlabeled Do.
• Parse and discard C-comments as a convenience feature for when fortran-src must interact with the output of C preprocessors that insert spurious comments.
• Add type propagation into type analysis, annotating every expression with a type.
  • Additional interface: analyseTypesWithEnv to access a list of type errors found.
• Add dimensional information to CTArray and length/kind to TypeCharacter.
• Stricter checking of the grouping transform - if any statements that should be grouped are not grouped, raise an error.
• Support pragmas that alter the current 'filename and position' tracker, often used by preprocessors to help pinpoint original code locations.
  • Uses a relative offset field called 'posPragmaOffset' so that relative measures continue to function correctly.
• Add constant propagation / parameter variable analysis.
• Add -c feature to compile 'fsmod files' with renaming and type info.

Scientific Software - Peer-reviewed - Haskell
Published by mrd almost 7 years ago

fortran-src - https://github.com/camfort/fortran-src/releases/tag/version-0.2.1.1

Scientific Software - Peer-reviewed - Haskell
Published by madgen almost 8 years ago

fortran-src - https://github.com/camfort/fortran-src/releases/tag/version-0.2.0.0

Scientific Software - Peer-reviewed - Haskell
Published by madgen over 8 years ago

fortran-src - https://github.com/camfort/fortran-src/releases/tag/version-0.1.0.6

Scientific Software - Peer-reviewed - Haskell
Published by madgen almost 9 years ago

fortran-src -

Scientific Software - Peer-reviewed - Haskell
Published by dorchard over 9 years ago

fortran-src - https://github.com/camfort/fortran-src/releases/tag/version-0.1.0.3

Scientific Software - Peer-reviewed - Haskell
Published by madgen over 9 years ago