]>
git.unchartedbackwaters.co.uk Git - francis/ofc.git/log
Francis Russell [Thu, 20 Sep 2012 16:17:24 +0000 (17:17 +0100)]
Simplify index and value type parsing.
Francis Russell [Thu, 20 Sep 2012 15:18:16 +0000 (16:18 +0100)]
Shorten some line lengths.
Francis Russell [Thu, 20 Sep 2012 14:46:21 +0000 (15:46 +0100)]
Add type signatures to most parsing declarations.
Francis Russell [Wed, 19 Sep 2012 15:32:18 +0000 (16:32 +0100)]
Validate degree of spatial derivatives.
Francis Russell [Tue, 18 Sep 2012 20:11:09 +0000 (21:11 +0100)]
Detect conflicts with internally generated symbols.
Francis Russell [Tue, 18 Sep 2012 20:45:12 +0000 (21:45 +0100)]
Reformat a data declaration.
Francis Russell [Tue, 18 Sep 2012 19:02:24 +0000 (20:02 +0100)]
Re-write Laplacian as a sum over spatial derivatives.
Francis Russell [Tue, 18 Sep 2012 18:53:53 +0000 (19:53 +0100)]
Rewrite inner product as an integral of a product.
Francis Russell [Tue, 18 Sep 2012 14:00:06 +0000 (15:00 +0100)]
Rename HighLevel to TopLevel.
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.
Francis Russell [Sun, 16 Sep 2012 20:29:04 +0000 (21:29 +0100)]
Parse output function specification.
Francis Russell [Sun, 16 Sep 2012 16:10:37 +0000 (17:10 +0100)]
Improve parser error messages.
Francis Russell [Sun, 16 Sep 2012 10:54:02 +0000 (11:54 +0100)]
Add pretty printing for parsed representation.
Francis Russell [Sat, 15 Sep 2012 23:52:43 +0000 (00:52 +0100)]
Hard-code to ONETEP target.
Francis Russell [Sat, 15 Sep 2012 23:37:36 +0000 (00:37 +0100)]
Folder layout clean-ups.
Francis Russell [Sat, 15 Sep 2012 21:29:01 +0000 (22:29 +0100)]
Remove a few unnecessary 'do' instances.
Francis Russell [Sat, 15 Sep 2012 21:07:49 +0000 (22:07 +0100)]
Parse ONETEP mapping entries.
Francis Russell [Sat, 15 Sep 2012 21:05:34 +0000 (22:05 +0100)]
Merge branch 'master' into haskell
Francis Russell [Sat, 15 Sep 2012 21:04:32 +0000 (22:04 +0100)]
Simplify DSL index binding notation.
Francis Russell [Sat, 15 Sep 2012 16:56:08 +0000 (17:56 +0100)]
Replace folds with strict versions.
Francis Russell [Fri, 14 Sep 2012 17:04:05 +0000 (18:04 +0100)]
Fix most reported warnings.
Francis Russell [Fri, 14 Sep 2012 17:03:28 +0000 (18:03 +0100)]
Enable a number of compiler warnings.
Francis Russell [Fri, 14 Sep 2012 16:40:47 +0000 (17:40 +0100)]
Rename base types to prevent conflicts.
Francis Russell [Fri, 14 Sep 2012 16:08:57 +0000 (17:08 +0100)]
Try to clean up indentation.
Francis Russell [Fri, 14 Sep 2012 15:18:40 +0000 (16:18 +0100)]
Clean-ups to parsing code.
Francis Russell [Fri, 14 Sep 2012 14:57:07 +0000 (15:57 +0100)]
Validate index types.
Francis Russell [Fri, 14 Sep 2012 13:53:50 +0000 (14:53 +0100)]
Explicitly handle position component references.
Francis Russell [Fri, 14 Sep 2012 13:53:34 +0000 (14:53 +0100)]
Merge branch 'master' into haskell
Conflicts:
examples/integrals_pos.ofl
Francis Russell [Fri, 14 Sep 2012 13:52:36 +0000 (14:52 +0100)]
Rename "pos" to "r".
Francis Russell [Fri, 14 Sep 2012 13:40:18 +0000 (14:40 +0100)]
Verify that LHS of assignment is an lvalue.
Francis Russell [Fri, 14 Sep 2012 13:38:16 +0000 (14:38 +0100)]
Fix integer and float parsing.
Francis Russell [Fri, 14 Sep 2012 12:25:28 +0000 (13:25 +0100)]
Merge branch 'master' into haskell
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.
Francis Russell [Fri, 14 Sep 2012 12:20:46 +0000 (13:20 +0100)]
Add AST validation.
Francis Russell [Thu, 13 Sep 2012 18:23:24 +0000 (19:23 +0100)]
Work on validating input.
Francis Russell [Thu, 13 Sep 2012 09:16:28 +0000 (10:16 +0100)]
Parse "target" line.
Francis Russell [Wed, 12 Sep 2012 21:53:02 +0000 (22:53 +0100)]
Add addition, subtraction and component access operators.
Francis Russell [Wed, 12 Sep 2012 17:55:56 +0000 (18:55 +0100)]
Add state to parser and detect redefined symbols.
Francis Russell [Wed, 12 Sep 2012 14:24:56 +0000 (15:24 +0100)]
Correctly parse assignments in all examples.
Francis Russell [Wed, 12 Sep 2012 14:24:35 +0000 (15:24 +0100)]
Merge remote-tracking branch 'origin/master' into haskell
Francis Russell [Wed, 12 Sep 2012 14:21:54 +0000 (15:21 +0100)]
Fix mismatched brackets in density_on_dbl_grid.
Francis Russell [Wed, 12 Sep 2012 11:15:00 +0000 (12:15 +0100)]
Parse basic assignments.
Francis Russell [Wed, 12 Sep 2012 08:41:38 +0000 (09:41 +0100)]
Initial work on experimental Haskell implementation.
Francis Russell [Mon, 10 Sep 2012 14:14:51 +0000 (15:14 +0100)]
Use 'Real' instead of 'Scalar' for certain DSL types.
Francis Russell [Fri, 7 Sep 2012 17:52:41 +0000 (18:52 +0100)]
Revise Fortran binding aspect of proposed DSL syntax.
Francis Russell [Wed, 5 Sep 2012 15:28:41 +0000 (16:28 +0100)]
Add experiments with new DSL syntax.
Francis Russell [Thu, 23 Aug 2012 16:32:04 +0000 (17:32 +0100)]
Update parser to handle new syntax.
Francis Russell [Thu, 23 Aug 2012 15:59:59 +0000 (16:59 +0100)]
Update DSL examples to proposed syntax.
Francis Russell [Fri, 8 Jun 2012 14:20:25 +0000 (15:20 +0100)]
Remove old test example.
Francis Russell [Fri, 8 Jun 2012 10:28:31 +0000 (11:28 +0100)]
Fix off-by-one errors in inner product generated code.
Francis Russell [Thu, 7 Jun 2012 18:46:51 +0000 (19:46 +0100)]
Update ONETEP symbols to reference correct modules.
Francis Russell [Thu, 7 Jun 2012 18:45:41 +0000 (19:45 +0100)]
Generate 'use' statements for subroutine calls.
Francis Russell [Thu, 7 Jun 2012 16:39:04 +0000 (17:39 +0100)]
Generate 'use' statements.
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
Francis Russell [Thu, 7 Jun 2012 14:42:15 +0000 (15:42 +0100)]
Have statements return the expressions they reference.
Francis Russell [Thu, 7 Jun 2012 10:39:06 +0000 (11:39 +0100)]
Initial work on module support.
Francis Russell [Thu, 31 May 2012 23:22:44 +0000 (00:22 +0100)]
Update generation for latest ONETEP version (untested).
Francis Russell [Sun, 20 May 2012 19:41:31 +0000 (20:41 +0100)]
Rename 'Assignment.scala' to match contained class.
Francis Russell [Sun, 20 May 2012 19:27:01 +0000 (20:27 +0100)]
Place "allocatable" after type in declaration.
Francis Russell [Sun, 20 May 2012 19:22:11 +0000 (20:22 +0100)]
Add comment to where 'use' statements will go.
Francis Russell [Sun, 20 May 2012 19:17:35 +0000 (20:17 +0100)]
Use overloaded version of sparse_put_element.
Francis Russell [Sun, 20 May 2012 18:54:38 +0000 (19:54 +0100)]
Allow "allocatable" to be set on a per-array basis.
Francis Russell [Sun, 20 May 2012 13:54:16 +0000 (14:54 +0100)]
Generate "implicit none" in function.
Francis Russell [Sun, 20 May 2012 13:48:03 +0000 (14:48 +0100)]
Initial work on generating function boiler-plate.
Francis Russell [Sat, 19 May 2012 19:42:56 +0000 (20:42 +0100)]
Apply Laplacian to negative frequencies correctly.
Francis Russell [Sat, 19 May 2012 17:18:34 +0000 (18:18 +0100)]
Use reciprocal from FFT-box instead of cell in Laplacian.
Francis Russell [Sat, 19 May 2012 16:44:15 +0000 (17:44 +0100)]
Fix reciprocal vector calculation in Laplacian.
Francis Russell [Sat, 19 May 2012 11:11:04 +0000 (12:11 +0100)]
Attempt to fix SPAM3 iteration.
Francis Russell [Sat, 19 May 2012 10:36:52 +0000 (11:36 +0100)]
Ignore negative frequencies on converting from reciprocal to psinc.
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.
Francis Russell [Tue, 8 May 2012 16:18:54 +0000 (17:18 +0100)]
Correctly scale inner product integral.
Francis Russell [Tue, 8 May 2012 16:13:01 +0000 (17:13 +0100)]
Add matrix element assignment.
Francis Russell [Tue, 8 May 2012 15:46:03 +0000 (16:46 +0100)]
Generate SPAM3 iteration code.
Francis Russell [Tue, 8 May 2012 08:56:09 +0000 (09:56 +0100)]
Start work on assignment iteration.
Francis Russell [Mon, 7 May 2012 23:33:52 +0000 (00:33 +0100)]
Rename ProducerStatement to IteratedStatement.
Francis Russell [Thu, 3 May 2012 18:23:27 +0000 (19:23 +0100)]
Add nodes on ONETEP's matrix and function distribution.
Francis Russell [Thu, 3 May 2012 16:32:26 +0000 (17:32 +0100)]
Add code generation for inner product.
Francis Russell [Thu, 3 May 2012 16:31:51 +0000 (17:31 +0100)]
Add min and max intrinsics to code generator.
Francis Russell [Thu, 3 May 2012 15:40:26 +0000 (16:40 +0100)]
Handle origin of fields.
Francis Russell [Thu, 3 May 2012 01:08:17 +0000 (02:08 +0100)]
Add field scaling operator.
Francis Russell [Thu, 3 May 2012 00:00:21 +0000 (01:00 +0100)]
Add conversion from reciprocal to psinc space.
Francis Russell [Wed, 2 May 2012 19:30:38 +0000 (20:30 +0100)]
Implement application of laplacian operator.
Francis Russell [Wed, 2 May 2012 15:13:45 +0000 (16:13 +0100)]
Generate code to transform into reciprocal space.
Francis Russell [Tue, 1 May 2012 17:36:26 +0000 (18:36 +0100)]
Generate calls for copying PPD data to FFT-box.
Francis Russell [Tue, 1 May 2012 14:00:56 +0000 (15:00 +0100)]
Initial FunctionSignature implementation.
Francis Russell [Tue, 1 May 2012 09:14:43 +0000 (10:14 +0100)]
Work on converting to reciprocal space.
Francis Russell [Tue, 1 May 2012 05:27:54 +0000 (06:27 +0100)]
Add array allocation/deallocation statements.
Francis Russell [Tue, 1 May 2012 04:33:32 +0000 (05:33 +0100)]
Skeleton for fragment-based code generation.
Francis Russell [Mon, 30 Apr 2012 18:15:48 +0000 (19:15 +0100)]
More work on tree generation.
Francis Russell [Thu, 26 Apr 2012 22:38:34 +0000 (23:38 +0100)]
Start work on pattern matching.
Francis Russell [Thu, 26 Apr 2012 17:35:18 +0000 (18:35 +0100)]
Build back-end independent DSL representation.
Francis Russell [Tue, 17 Apr 2012 17:53:57 +0000 (18:53 +0100)]
Start work on different composition strategy.
Francis Russell [Tue, 17 Apr 2012 13:23:43 +0000 (14:23 +0100)]
Work on index binding.
Francis Russell [Mon, 16 Apr 2012 23:28:28 +0000 (00:28 +0100)]
Don't use wrappers to bind indices.
Francis Russell [Mon, 16 Apr 2012 10:37:28 +0000 (11:37 +0100)]
Move IndexBindings into separate file.
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.
Francis Russell [Tue, 10 Apr 2012 09:57:03 +0000 (10:57 +0100)]
Work on SpatialRestriction consumer/producer.
Francis Russell [Tue, 10 Apr 2012 09:55:07 +0000 (10:55 +0100)]
Add if statement generation.
Francis Russell [Tue, 10 Apr 2012 01:16:36 +0000 (02:16 +0100)]
Add tightbox centres to indices from PPDFunctionSet.
Francis Russell [Mon, 9 Apr 2012 21:03:57 +0000 (22:03 +0100)]
Switch back to "fftbox" not taking an index parameter.