]> git.unchartedbackwaters.co.uk Git - francis/ofc.git/log
francis/ofc.git
12 years agoCompare upsampling against generated reference signal. haskell
Francis Russell [Tue, 9 Apr 2013 21:23:50 +0000 (22:23 +0100)]
Compare upsampling against generated reference signal.

12 years agoUse complex128 instead of complex64 for interpolation.
Francis Russell [Tue, 9 Apr 2013 21:07:39 +0000 (22:07 +0100)]
Use complex128 instead of complex64 for interpolation.

12 years agoReformat resampling.py.
Francis Russell [Tue, 26 Mar 2013 17:22:27 +0000 (17:22 +0000)]
Reformat resampling.py.

12 years agoAdd upsampling via phase-tranformation experiment.
Francis Russell [Tue, 26 Mar 2013 15:57:46 +0000 (15:57 +0000)]
Add upsampling via phase-tranformation experiment.

12 years agoMake halveFrequency return a Maybe.
Francis Russell [Tue, 8 Jan 2013 15:33:42 +0000 (15:33 +0000)]
Make halveFrequency return a Maybe.

12 years agoAdd tests for content wrapping.
Francis Russell [Mon, 7 Jan 2013 18:43:27 +0000 (18:43 +0000)]
Add tests for content wrapping.

12 years agoFix bug in mergeContiguous.
Francis Russell [Mon, 7 Jan 2013 18:02:45 +0000 (18:02 +0000)]
Fix bug in mergeContiguous.

12 years agoInitial work on supporting a test suite.
Francis Russell [Mon, 7 Jan 2013 16:32:31 +0000 (16:32 +0000)]
Initial work on supporting a test suite.

12 years agoInitial untested implementation of spectral reasoning.
Francis Russell [Sat, 5 Jan 2013 13:16:43 +0000 (13:16 +0000)]
Initial untested implementation of spectral reasoning.

12 years agoAdd initial work on spectrum analysis.
Francis Russell [Fri, 21 Dec 2012 14:48:04 +0000 (14:48 +0000)]
Add initial work on spectrum analysis.

12 years agoClean up top-level validation code.
Francis Russell [Tue, 18 Dec 2012 11:44:33 +0000 (11:44 +0000)]
Clean up top-level validation code.

12 years agoUse explicit import lists in parser.
Francis Russell [Mon, 17 Dec 2012 19:48:14 +0000 (19:48 +0000)]
Use explicit import lists in parser.

12 years agoClean up use of do notation in parser.
Francis Russell [Mon, 17 Dec 2012 01:48:18 +0000 (01:48 +0000)]
Clean up use of do notation in parser.

12 years agoReformat ADT declarations.
Francis Russell [Wed, 5 Dec 2012 19:36:33 +0000 (19:36 +0000)]
Reformat ADT declarations.

12 years agoAdd experiment with squaring single frequency signals.
Francis Russell [Mon, 3 Dec 2012 19:14:44 +0000 (19:14 +0000)]
Add experiment with squaring single frequency signals.

12 years agoAdd notes on properties of discrete Fourier transforms.
Francis Russell [Fri, 30 Nov 2012 22:22:50 +0000 (22:22 +0000)]
Add notes on properties of discrete Fourier transforms.

12 years agoAdd experiment on validity of non-upsampled overlap integrals.
Francis Russell [Fri, 30 Nov 2012 01:51:23 +0000 (01:51 +0000)]
Add experiment on validity of non-upsampled overlap integrals.

12 years agoRemove obsolete notes.
Francis Russell [Wed, 28 Nov 2012 17:51:52 +0000 (17:51 +0000)]
Remove obsolete notes.

12 years agoApply code cleanups from Tristan.
Francis Russell [Mon, 26 Nov 2012 19:26:32 +0000 (19:26 +0000)]
Apply code cleanups from Tristan.

12 years agoAdd naïve cost function for comparing second-level expressions.
Francis Russell [Mon, 26 Nov 2012 17:52:01 +0000 (17:52 +0000)]
Add naïve cost function for comparing second-level expressions.

12 years agoGenerate band-limiting variants of second-level expressions.
Francis Russell [Mon, 26 Nov 2012 14:15:37 +0000 (14:15 +0000)]
Generate band-limiting variants of second-level expressions.

12 years agoFix resampling of operators in generateVariants.
Francis Russell [Sat, 24 Nov 2012 01:30:11 +0000 (01:30 +0000)]
Fix resampling of operators in generateVariants.

12 years agoAdd generation of different resampling variants.
Francis Russell [Fri, 23 Nov 2012 20:18:51 +0000 (20:18 +0000)]
Add generation of different resampling variants.

12 years agoAttempt to compute and validate second level expression types.
Francis Russell [Wed, 21 Nov 2012 21:20:49 +0000 (21:20 +0000)]
Attempt to compute and validate second level expression types.

12 years agoAlter Bandwidth's Num semantics.
Francis Russell [Tue, 20 Nov 2012 16:27:02 +0000 (16:27 +0000)]
Alter Bandwidth's Num semantics.

12 years agoAdd function to determine theoretical bandwidth of expressions.
Francis Russell [Tue, 13 Nov 2012 19:27:05 +0000 (19:27 +0000)]
Add function to determine theoretical bandwidth of expressions.

13 years agoDecompose second-level value type into scalar, position & momentum.
Francis Russell [Thu, 1 Nov 2012 18:55:07 +0000 (18:55 +0000)]
Decompose second-level value type into scalar, position & momentum.

13 years agoAdd analytic_to_psinc operator to second-level AST.
Francis Russell [Thu, 1 Nov 2012 18:22:46 +0000 (18:22 +0000)]
Add analytic_to_psinc operator to second-level AST.

13 years agoComplete translation to second-level AST representation.
Francis Russell [Wed, 31 Oct 2012 16:47:47 +0000 (16:47 +0000)]
Complete translation to second-level AST representation.

13 years agoWork on defining a typed second-level representation.
Francis Russell [Mon, 29 Oct 2012 14:49:37 +0000 (14:49 +0000)]
Work on defining a typed second-level representation.

13 years agoPrint complex numbers slightly more nicely.
Francis Russell [Wed, 10 Oct 2012 18:26:50 +0000 (19:26 +0100)]
Print complex numbers slightly more nicely.

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.