]> git.unchartedbackwaters.co.uk Git - francis/ofc.git/log
francis/ofc.git
13 years agoAdd pretty printing of symbol tables.
Francis Russell [Wed, 10 Oct 2012 15:36:59 +0000 (16:36 +0100)]
Add pretty printing of symbol tables.

13 years agoAdd pretty printing for second-level AST.
Francis Russell [Wed, 10 Oct 2012 15:12:32 +0000 (16:12 +0100)]
Add pretty printing for second-level AST.

13 years agoAdd pretty printing for top-level AST.
Francis Russell [Wed, 10 Oct 2012 14:16:35 +0000 (15:16 +0100)]
Add pretty printing for top-level AST.

13 years agoBuild preliminary second level representation.
Francis Russell [Tue, 9 Oct 2012 18:27:19 +0000 (19:27 +0100)]
Build preliminary second level representation.

13 years agoAdd export lists.
Francis Russell [Fri, 28 Sep 2012 00:43:31 +0000 (01:43 +0100)]
Add export lists.

13 years agoBuild complete second-level symbol table.
Francis Russell [Thu, 27 Sep 2012 22:20:25 +0000 (23:20 +0100)]
Build complete second-level symbol table.

13 years agoTranslate indices to entries in second-level symbol table.
Francis Russell [Thu, 27 Sep 2012 18:18:27 +0000 (19:18 +0100)]
Translate indices to entries in second-level symbol table.

13 years agoMore work on second-level representation.
Francis Russell [Wed, 26 Sep 2012 18:44:07 +0000 (19:44 +0100)]
More work on second-level representation.

13 years agoAdd tentative second-level AST definitions.
Francis Russell [Tue, 25 Sep 2012 17:38:13 +0000 (18:38 +0100)]
Add tentative second-level AST definitions.

13 years agoMake power operator right associative.
Francis Russell [Fri, 21 Sep 2012 00:04:05 +0000 (01:04 +0100)]
Make power operator right associative.

13 years agoSeparate build into library and executable.
Francis Russell [Fri, 21 Sep 2012 00:01:42 +0000 (01:01 +0100)]
Separate build into library and executable.

13 years agoRemove previous Scala implementation.
Francis Russell [Thu, 20 Sep 2012 23:35:58 +0000 (00:35 +0100)]
Remove previous Scala implementation.

13 years agoFix list of keywords.
Francis Russell [Thu, 20 Sep 2012 16:58:46 +0000 (17:58 +0100)]
Fix list of keywords.

13 years agoSimplify index and value type parsing.
Francis Russell [Thu, 20 Sep 2012 16:17:24 +0000 (17:17 +0100)]
Simplify index and value type parsing.

13 years agoShorten some line lengths.
Francis Russell [Thu, 20 Sep 2012 15:18:16 +0000 (16:18 +0100)]
Shorten some line lengths.

13 years agoAdd type signatures to most parsing declarations.
Francis Russell [Thu, 20 Sep 2012 14:46:21 +0000 (15:46 +0100)]
Add type signatures to most parsing declarations.

13 years agoValidate degree of spatial derivatives.
Francis Russell [Wed, 19 Sep 2012 15:32:18 +0000 (16:32 +0100)]
Validate degree of spatial derivatives.

13 years agoDetect conflicts with internally generated symbols.
Francis Russell [Tue, 18 Sep 2012 20:11:09 +0000 (21:11 +0100)]
Detect conflicts with internally generated symbols.

13 years agoReformat a data declaration.
Francis Russell [Tue, 18 Sep 2012 20:45:12 +0000 (21:45 +0100)]
Reformat a data declaration.

13 years agoRe-write Laplacian as a sum over spatial derivatives.
Francis Russell [Tue, 18 Sep 2012 19:02:24 +0000 (20:02 +0100)]
Re-write Laplacian as a sum over spatial derivatives.

13 years agoRewrite inner product as an integral of a product.
Francis Russell [Tue, 18 Sep 2012 18:53:53 +0000 (19:53 +0100)]
Rewrite inner product as an integral of a product.

13 years agoRename HighLevel to TopLevel.
Francis Russell [Tue, 18 Sep 2012 14:00:06 +0000 (15:00 +0100)]
Rename HighLevel to TopLevel.

13 years agoCleanups after feedback from Tristan.
Francis Russell [Mon, 17 Sep 2012 18:16:17 +0000 (19:16 +0100)]
Cleanups after feedback from Tristan.

- Avoid defining our own show.
- Use sequence_ from Control.Monad.
- Use vcat when pretty printing.
- Define default value of outputFunction as an error instead of
  undefined.
- Use if instead of case for conditionals on booleans.

13 years agoParse output function specification.
Francis Russell [Sun, 16 Sep 2012 20:29:04 +0000 (21:29 +0100)]
Parse output function specification.

13 years agoImprove parser error messages.
Francis Russell [Sun, 16 Sep 2012 16:10:37 +0000 (17:10 +0100)]
Improve parser error messages.

13 years agoAdd pretty printing for parsed representation.
Francis Russell [Sun, 16 Sep 2012 10:54:02 +0000 (11:54 +0100)]
Add pretty printing for parsed representation.

13 years agoHard-code to ONETEP target.
Francis Russell [Sat, 15 Sep 2012 23:52:43 +0000 (00:52 +0100)]
Hard-code to ONETEP target.

13 years agoFolder layout clean-ups.
Francis Russell [Sat, 15 Sep 2012 23:37:36 +0000 (00:37 +0100)]
Folder layout clean-ups.

13 years agoRemove a few unnecessary 'do' instances.
Francis Russell [Sat, 15 Sep 2012 21:29:01 +0000 (22:29 +0100)]
Remove a few unnecessary 'do' instances.

13 years agoParse ONETEP mapping entries.
Francis Russell [Sat, 15 Sep 2012 21:07:49 +0000 (22:07 +0100)]
Parse ONETEP mapping entries.

13 years agoMerge branch 'master' into haskell
Francis Russell [Sat, 15 Sep 2012 21:05:34 +0000 (22:05 +0100)]
Merge branch 'master' into haskell

13 years agoSimplify DSL index binding notation.
Francis Russell [Sat, 15 Sep 2012 21:04:32 +0000 (22:04 +0100)]
Simplify DSL index binding notation.

13 years agoReplace folds with strict versions.
Francis Russell [Sat, 15 Sep 2012 16:56:08 +0000 (17:56 +0100)]
Replace folds with strict versions.

13 years agoFix most reported warnings.
Francis Russell [Fri, 14 Sep 2012 17:04:05 +0000 (18:04 +0100)]
Fix most reported warnings.

13 years agoEnable a number of compiler warnings.
Francis Russell [Fri, 14 Sep 2012 17:03:28 +0000 (18:03 +0100)]
Enable a number of compiler warnings.

13 years agoRename base types to prevent conflicts.
Francis Russell [Fri, 14 Sep 2012 16:40:47 +0000 (17:40 +0100)]
Rename base types to prevent conflicts.

13 years agoTry to clean up indentation.
Francis Russell [Fri, 14 Sep 2012 16:08:57 +0000 (17:08 +0100)]
Try to clean up indentation.

13 years agoClean-ups to parsing code.
Francis Russell [Fri, 14 Sep 2012 15:18:40 +0000 (16:18 +0100)]
Clean-ups to parsing code.

13 years agoValidate index types.
Francis Russell [Fri, 14 Sep 2012 14:57:07 +0000 (15:57 +0100)]
Validate index types.

13 years agoExplicitly handle position component references.
Francis Russell [Fri, 14 Sep 2012 13:53:50 +0000 (14:53 +0100)]
Explicitly handle position component references.

13 years agoMerge branch 'master' into haskell
Francis Russell [Fri, 14 Sep 2012 13:53:34 +0000 (14:53 +0100)]
Merge branch 'master' into haskell

Conflicts:
examples/integrals_pos.ofl

13 years agoRename "pos" to "r". master
Francis Russell [Fri, 14 Sep 2012 13:52:36 +0000 (14:52 +0100)]
Rename "pos" to "r".

13 years agoVerify that LHS of assignment is an lvalue.
Francis Russell [Fri, 14 Sep 2012 13:40:18 +0000 (14:40 +0100)]
Verify that LHS of assignment is an lvalue.

13 years agoFix integer and float parsing.
Francis Russell [Fri, 14 Sep 2012 13:38:16 +0000 (14:38 +0100)]
Fix integer and float parsing.

13 years agoMerge branch 'master' into haskell
Francis Russell [Fri, 14 Sep 2012 12:25:28 +0000 (13:25 +0100)]
Merge branch 'master' into haskell

13 years agoFix reference to non-existent function set in density_on_dbl_grid.
Francis Russell [Fri, 14 Sep 2012 12:24:24 +0000 (13:24 +0100)]
Fix reference to non-existent function set in density_on_dbl_grid.

13 years agoAdd AST validation.
Francis Russell [Fri, 14 Sep 2012 12:20:46 +0000 (13:20 +0100)]
Add AST validation.

13 years agoWork on validating input.
Francis Russell [Thu, 13 Sep 2012 18:23:24 +0000 (19:23 +0100)]
Work on validating input.

13 years agoParse "target" line.
Francis Russell [Thu, 13 Sep 2012 09:16:28 +0000 (10:16 +0100)]
Parse "target" line.

13 years agoAdd addition, subtraction and component access operators.
Francis Russell [Wed, 12 Sep 2012 21:53:02 +0000 (22:53 +0100)]
Add addition, subtraction and component access operators.

13 years agoAdd state to parser and detect redefined symbols.
Francis Russell [Wed, 12 Sep 2012 17:55:56 +0000 (18:55 +0100)]
Add state to parser and detect redefined symbols.

13 years agoCorrectly parse assignments in all examples.
Francis Russell [Wed, 12 Sep 2012 14:24:56 +0000 (15:24 +0100)]
Correctly parse assignments in all examples.

13 years agoMerge remote-tracking branch 'origin/master' into haskell
Francis Russell [Wed, 12 Sep 2012 14:24:35 +0000 (15:24 +0100)]
Merge remote-tracking branch 'origin/master' into haskell

13 years agoFix mismatched brackets in density_on_dbl_grid.
Francis Russell [Wed, 12 Sep 2012 14:21:54 +0000 (15:21 +0100)]
Fix mismatched brackets in density_on_dbl_grid.

13 years agoParse basic assignments.
Francis Russell [Wed, 12 Sep 2012 11:15:00 +0000 (12:15 +0100)]
Parse basic assignments.

13 years agoInitial work on experimental Haskell implementation.
Francis Russell [Wed, 12 Sep 2012 08:41:38 +0000 (09:41 +0100)]
Initial work on experimental Haskell implementation.

13 years agoUse 'Real' instead of 'Scalar' for certain DSL types.
Francis Russell [Mon, 10 Sep 2012 14:14:51 +0000 (15:14 +0100)]
Use 'Real' instead of 'Scalar' for certain DSL types.

13 years agoRevise Fortran binding aspect of proposed DSL syntax.
Francis Russell [Fri, 7 Sep 2012 17:52:41 +0000 (18:52 +0100)]
Revise Fortran binding aspect of proposed DSL syntax.

13 years agoAdd experiments with new DSL syntax.
Francis Russell [Wed, 5 Sep 2012 15:28:41 +0000 (16:28 +0100)]
Add experiments with new DSL syntax.

13 years agoUpdate parser to handle new syntax.
Francis Russell [Thu, 23 Aug 2012 16:32:04 +0000 (17:32 +0100)]
Update parser to handle new syntax.

13 years agoUpdate DSL examples to proposed syntax.
Francis Russell [Thu, 23 Aug 2012 15:59:59 +0000 (16:59 +0100)]
Update DSL examples to proposed syntax.

13 years agoRemove old test example.
Francis Russell [Fri, 8 Jun 2012 14:20:25 +0000 (15:20 +0100)]
Remove old test example.

13 years agoFix off-by-one errors in inner product generated code. stable
Francis Russell [Fri, 8 Jun 2012 10:28:31 +0000 (11:28 +0100)]
Fix off-by-one errors in inner product generated code.

13 years agoUpdate ONETEP symbols to reference correct modules.
Francis Russell [Thu, 7 Jun 2012 18:46:51 +0000 (19:46 +0100)]
Update ONETEP symbols to reference correct modules.

13 years agoGenerate 'use' statements for subroutine calls.
Francis Russell [Thu, 7 Jun 2012 18:45:41 +0000 (19:45 +0100)]
Generate 'use' statements for subroutine calls.

13 years agoGenerate 'use' statements.
Francis Russell [Thu, 7 Jun 2012 16:39:04 +0000 (17:39 +0100)]
Generate 'use' statements.

13 years agoMerge branch 'master' of https://git.unchartedbackwaters.co.uk/francis/ofc
Francis Russell [Thu, 7 Jun 2012 15:32:03 +0000 (16:32 +0100)]
Merge branch 'master' of https://git.unchartedbackwaters.co.uk/francis/ofc

Conflicts:
src/ofc/codegen/Statement.scala

13 years agoHave statements return the expressions they reference.
Francis Russell [Thu, 7 Jun 2012 14:42:15 +0000 (15:42 +0100)]
Have statements return the expressions they reference.

13 years agoInitial work on module support.
Francis Russell [Thu, 7 Jun 2012 10:39:06 +0000 (11:39 +0100)]
Initial work on module support.

13 years agoUpdate generation for latest ONETEP version (untested).
Francis Russell [Thu, 31 May 2012 23:22:44 +0000 (00:22 +0100)]
Update generation for latest ONETEP version (untested).

13 years agoRename 'Assignment.scala' to match contained class.
Francis Russell [Sun, 20 May 2012 19:41:31 +0000 (20:41 +0100)]
Rename 'Assignment.scala' to match contained class.

13 years agoPlace "allocatable" after type in declaration.
Francis Russell [Sun, 20 May 2012 19:27:01 +0000 (20:27 +0100)]
Place "allocatable" after type in declaration.

13 years agoAdd comment to where 'use' statements will go.
Francis Russell [Sun, 20 May 2012 19:22:11 +0000 (20:22 +0100)]
Add comment to where 'use' statements will go.

13 years agoUse overloaded version of sparse_put_element.
Francis Russell [Sun, 20 May 2012 19:17:35 +0000 (20:17 +0100)]
Use overloaded version of sparse_put_element.

13 years agoAllow "allocatable" to be set on a per-array basis.
Francis Russell [Sun, 20 May 2012 18:54:38 +0000 (19:54 +0100)]
Allow "allocatable" to be set on a per-array basis.

13 years agoGenerate "implicit none" in function.
Francis Russell [Sun, 20 May 2012 13:54:16 +0000 (14:54 +0100)]
Generate "implicit none" in function.

13 years agoInitial work on generating function boiler-plate.
Francis Russell [Sun, 20 May 2012 13:48:03 +0000 (14:48 +0100)]
Initial work on generating function boiler-plate.

13 years agoApply Laplacian to negative frequencies correctly.
Francis Russell [Sat, 19 May 2012 19:42:56 +0000 (20:42 +0100)]
Apply Laplacian to negative frequencies correctly.

13 years agoUse reciprocal from FFT-box instead of cell in Laplacian.
Francis Russell [Sat, 19 May 2012 17:18:34 +0000 (18:18 +0100)]
Use reciprocal from FFT-box instead of cell in Laplacian.

13 years agoFix reciprocal vector calculation in Laplacian.
Francis Russell [Sat, 19 May 2012 16:44:15 +0000 (17:44 +0100)]
Fix reciprocal vector calculation in Laplacian.

13 years agoAttempt to fix SPAM3 iteration.
Francis Russell [Sat, 19 May 2012 11:11:04 +0000 (12:11 +0100)]
Attempt to fix SPAM3 iteration.

13 years agoIgnore negative frequencies on converting from reciprocal to psinc.
Francis Russell [Sat, 19 May 2012 10:36:52 +0000 (11:36 +0100)]
Ignore negative frequencies on converting from reciprocal to psinc.

13 years agoWork around weird Fortran unary operator handling.
Francis Russell [Tue, 8 May 2012 18:19:49 +0000 (19:19 +0100)]
Work around weird Fortran unary operator handling.

Fortran dislikes unary plus or minus on right right hand side of
an arithmetic operator.

13 years agoCorrectly scale inner product integral.
Francis Russell [Tue, 8 May 2012 16:18:54 +0000 (17:18 +0100)]
Correctly scale inner product integral.

13 years agoAdd matrix element assignment.
Francis Russell [Tue, 8 May 2012 16:13:01 +0000 (17:13 +0100)]
Add matrix element assignment.

13 years agoGenerate SPAM3 iteration code.
Francis Russell [Tue, 8 May 2012 15:46:03 +0000 (16:46 +0100)]
Generate SPAM3 iteration code.

13 years agoStart work on assignment iteration.
Francis Russell [Tue, 8 May 2012 08:56:09 +0000 (09:56 +0100)]
Start work on assignment iteration.

13 years agoRename ProducerStatement to IteratedStatement.
Francis Russell [Mon, 7 May 2012 23:33:52 +0000 (00:33 +0100)]
Rename ProducerStatement to IteratedStatement.

13 years agoAdd nodes on ONETEP's matrix and function distribution.
Francis Russell [Thu, 3 May 2012 18:23:27 +0000 (19:23 +0100)]
Add nodes on ONETEP's matrix and function distribution.

13 years agoAdd code generation for inner product.
Francis Russell [Thu, 3 May 2012 16:32:26 +0000 (17:32 +0100)]
Add code generation for inner product.

13 years agoAdd min and max intrinsics to code generator.
Francis Russell [Thu, 3 May 2012 16:31:51 +0000 (17:31 +0100)]
Add min and max intrinsics to code generator.

13 years agoHandle origin of fields.
Francis Russell [Thu, 3 May 2012 15:40:26 +0000 (16:40 +0100)]
Handle origin of fields.

13 years agoAdd field scaling operator.
Francis Russell [Thu, 3 May 2012 01:08:17 +0000 (02:08 +0100)]
Add field scaling operator.

13 years agoAdd conversion from reciprocal to psinc space.
Francis Russell [Thu, 3 May 2012 00:00:21 +0000 (01:00 +0100)]
Add conversion from reciprocal to psinc space.

13 years agoImplement application of laplacian operator.
Francis Russell [Wed, 2 May 2012 19:30:38 +0000 (20:30 +0100)]
Implement application of laplacian operator.

13 years agoGenerate code to transform into reciprocal space.
Francis Russell [Wed, 2 May 2012 15:13:45 +0000 (16:13 +0100)]
Generate code to transform into reciprocal space.

13 years agoGenerate calls for copying PPD data to FFT-box.
Francis Russell [Tue, 1 May 2012 17:36:26 +0000 (18:36 +0100)]
Generate calls for copying PPD data to FFT-box.

13 years agoInitial FunctionSignature implementation.
Francis Russell [Tue, 1 May 2012 14:00:56 +0000 (15:00 +0100)]
Initial FunctionSignature implementation.

13 years agoWork on converting to reciprocal space.
Francis Russell [Tue, 1 May 2012 09:14:43 +0000 (10:14 +0100)]
Work on converting to reciprocal space.

13 years agoAdd array allocation/deallocation statements.
Francis Russell [Tue, 1 May 2012 05:27:54 +0000 (06:27 +0100)]
Add array allocation/deallocation statements.