]> git.unchartedbackwaters.co.uk Git - francis/ofc.git/log
francis/ofc.git
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.

13 years agoSkeleton for fragment-based code generation.
Francis Russell [Tue, 1 May 2012 04:33:32 +0000 (05:33 +0100)]
Skeleton for fragment-based code generation.

13 years agoMore work on tree generation.
Francis Russell [Mon, 30 Apr 2012 18:15:48 +0000 (19:15 +0100)]
More work on tree generation.

13 years agoStart work on pattern matching.
Francis Russell [Thu, 26 Apr 2012 22:38:34 +0000 (23:38 +0100)]
Start work on pattern matching.

13 years agoBuild back-end independent DSL representation.
Francis Russell [Thu, 26 Apr 2012 17:35:18 +0000 (18:35 +0100)]
Build back-end independent DSL representation.

13 years agoStart work on different composition strategy. producer
Francis Russell [Tue, 17 Apr 2012 17:53:57 +0000 (18:53 +0100)]
Start work on different composition strategy.

13 years agoWork on index binding.
Francis Russell [Tue, 17 Apr 2012 13:23:43 +0000 (14:23 +0100)]
Work on index binding.

13 years agoDon't use wrappers to bind indices.
Francis Russell [Mon, 16 Apr 2012 23:28:28 +0000 (00:28 +0100)]
Don't use wrappers to bind indices.

13 years agoMove IndexBindings into separate file.
Francis Russell [Mon, 16 Apr 2012 10:37:28 +0000 (11:37 +0100)]
Move IndexBindings into separate file.

13 years agoIgnore composition issues for now.
Francis Russell [Sun, 15 Apr 2012 17:27:00 +0000 (18:27 +0100)]
Ignore composition issues for now.

It's unclear how to correctly compose the code fragments generated by
the various operands. Instead, let's just have everything create
ProducerStatements and merge them.

13 years agoWork on SpatialRestriction consumer/producer.
Francis Russell [Tue, 10 Apr 2012 09:57:03 +0000 (10:57 +0100)]
Work on SpatialRestriction consumer/producer.

13 years agoAdd if statement generation.
Francis Russell [Tue, 10 Apr 2012 09:55:07 +0000 (10:55 +0100)]
Add if statement generation.

13 years agoAdd tightbox centres to indices from PPDFunctionSet.
Francis Russell [Tue, 10 Apr 2012 01:16:36 +0000 (02:16 +0100)]
Add tightbox centres to indices from PPDFunctionSet.

13 years agoSwitch back to "fftbox" not taking an index parameter.
Francis Russell [Mon, 9 Apr 2012 21:03:57 +0000 (22:03 +0100)]
Switch back to "fftbox" not taking an index parameter.

13 years agoMove public fields into OnetepTypes.
Francis Russell [Mon, 9 Apr 2012 20:59:50 +0000 (21:59 +0100)]
Move public fields into OnetepTypes.

13 years agoRe-enable construction of SpatialRestriction node.
Francis Russell [Mon, 9 Apr 2012 18:51:50 +0000 (19:51 +0100)]
Re-enable construction of SpatialRestriction node.

The SpatialRestriction node corresponds to a FFT-box. We need to
specify where the FFT-box is to be constructed, so we have to pass an
index variable to "fftbox" as well. This is ugly, but we can just about
handle it in our current parser.

13 years agoAdd index binding operators to expression tree.
Francis Russell [Mon, 9 Apr 2012 17:06:49 +0000 (18:06 +0100)]
Add index binding operators to expression tree.

13 years agoInclude indexing in trivial test input.
Francis Russell [Mon, 9 Apr 2012 08:06:04 +0000 (09:06 +0100)]
Include indexing in trivial test input.

13 years agoHave PPDFunctionSet generate indices.
Francis Russell [Sun, 8 Apr 2012 23:11:23 +0000 (00:11 +0100)]
Have PPDFunctionSet generate indices.

13 years agoCalculate x, y, z & data value in PPDFunctionSet.
Francis Russell [Sun, 8 Apr 2012 19:58:36 +0000 (20:58 +0100)]
Calculate x, y, z & data value in PPDFunctionSet.

13 years agoImplement Fortran line wrapping.
Francis Russell [Sun, 8 Apr 2012 03:34:44 +0000 (04:34 +0100)]
Implement Fortran line wrapping.

13 years agoFix so generated code compiles (except for long lines).
Francis Russell [Sun, 8 Apr 2012 02:57:00 +0000 (03:57 +0100)]
Fix so generated code compiles (except for long lines).

13 years agoGenerate variable declarations.
Francis Russell [Sun, 8 Apr 2012 02:14:49 +0000 (03:14 +0100)]
Generate variable declarations.

13 years agoMake expressions and variables carry their types.
Francis Russell [Sun, 8 Apr 2012 01:14:57 +0000 (02:14 +0100)]
Make expressions and variables carry their types.

13 years agoImplement precedence-based expression bracketing.
Francis Russell [Sat, 7 Apr 2012 23:15:10 +0000 (00:15 +0100)]
Implement precedence-based expression bracketing.

13 years agoFinally get control flow nesting right in ProducerStatement.
Francis Russell [Sat, 7 Apr 2012 20:12:25 +0000 (21:12 +0100)]
Finally get control flow nesting right in ProducerStatement.