Code

Base implementation of Dynamix, Tim#111

Code

Open

molenzwiebel wants to merge 88 commits intometaborg:developmetaborg/spoofax-pie:developfrom molenzwiebel:developmolenzwiebel/spoofax-pie:developCopy head branch name to clipboard

+8,891-1,048

Commits

Commits on Mar 25, 2022

• Adapter/task compilation for Dynamix, depend on runtime package

  molenzwiebel

  committed
  d499a77

  Copy full SHA for d499a77

• Namespace Dynamix files, cleanup

  molenzwiebel

  committed
  bb529aa

  Copy full SHA for bb529aa

• Finalize signature generation for Dynamix

  molenzwiebel

  committed
  0c9b662

  Copy full SHA for 0c9b662

• Add Tim language implementation and runtime

  molenzwiebel

  committed
  75dd7ed

  Copy full SHA for 75dd7ed

• Add Dynamix Runtime implementation

  molenzwiebel

  committed
  f0d6a71

  Copy full SHA for f0d6a71

Commits on Apr 3, 2022

• Add support for constraint-analyzer property lookup and globals in Dynamix

  molenzwiebel

  committed
  eae224f

  Copy full SHA for eae224f

Commits on Apr 21, 2022

• Allow configuration of Dynamix entry-point rule

  molenzwiebel

  committed
  ffb6955

  Copy full SHA for ffb6955

• Minor fixes, include source location in rules for better stack traces

  molenzwiebel

  committed
  a05839a

  Copy full SHA for a05839a

• Consult rules in order of specificity during Dynamix evaluation

  molenzwiebel

  committed
  9b39ebd

  Copy full SHA for 9b39ebd

• Check for overlapping patterns in Statix, add support for concurrent solver

  molenzwiebel

  committed
  1c7625d

  Copy full SHA for 1c7625d

• Add (untested) #array-write primitive to Tim

  molenzwiebel

  committed
  e4c6bfa

  Copy full SHA for e4c6bfa

• Merge from upstream

  molenzwiebel

  committed
  40b2e2c

  Copy full SHA for 40b2e2c

• Attempt at more efficiently comparing patterns in Statix

  molenzwiebel

  committed
  389964a

  Copy full SHA for 389964a

Commits on Apr 28, 2022

• Add some more tim primitives, make injected lists more ergonomic in Dynamix statics

  molenzwiebel

  committed
  83bce2e

  Copy full SHA for 83bce2e

Commits on May 9, 2022

• Make TFuns first-class values, do not generate signatures for bracket productions

  molenzwiebel

  committed
  81c2318

  Copy full SHA for 81c2318

Commits on May 12, 2022

• Extract Tim runtime into separate project, depend on project

  molenzwiebel

  committed
  1913616

  Copy full SHA for 1913616

• Reorganize automatically generated Dynamix tasks

  molenzwiebel

  committed
  bece936

  Copy full SHA for bece936

• An attempt at adding some native strategies to Tim

  molenzwiebel

  committed
  ece00c1

  Copy full SHA for ece00c1

Commits on Sep 10, 2022

• Initial work on a closure conversion strategy

  RvanBaarle

  committed
  0aa5a6c

  Copy full SHA for 0aa5a6c

• Extract closures to outermost level. Fix mutually recursive closures.

  RvanBaarle

  committed
  22d12fa

  Copy full SHA for 22d12fa

Commits on Sep 12, 2022

• Add uniquify transform

  RvanBaarle

  committed
  b2c6774

  Copy full SHA for b2c6774

Commits on Sep 20, 2022

• Inlining of functions

  RvanBaarle

  committed
  8400495

  Copy full SHA for 8400495

• Support for integer operations

  RvanBaarle

  committed
  37919bf

  Copy full SHA for 37919bf

Commits on Sep 21, 2022

• Add support for array operations

  RvanBaarle

  committed
  a613e40

  Copy full SHA for a613e40

• Add support for refs

  RvanBaarle

  committed
  a24f490

  Copy full SHA for a24f490

Commits on Sep 22, 2022

• Add support for strings

  Show description for ca8fafc
  RvanBaarle

  committed
  ca8fafc

  Copy full SHA for ca8fafc

• Add partial record support

  Show description for 4f283af
  RvanBaarle

  committed
  4f283af

  Copy full SHA for 4f283af

• Support for arguments to #record-new

  RvanBaarle

  committed
  a063d14

  Copy full SHA for a063d14

Commits on Sep 23, 2022

• Add closure type to tim

  Show description for fae98ed
  RvanBaarle

  committed
  fae98ed

  Copy full SHA for fae98ed

• Allow for negative indices in closure reads/offsets

  RvanBaarle

  committed
  58352b5

  Copy full SHA for 58352b5

• Implement compilation of new closure primops

  RvanBaarle

  committed
  032df6f

  Copy full SHA for 032df6f

• Combine closures for each fix expression

  RvanBaarle

  committed
  e95a454

  Copy full SHA for e95a454

Commits on Sep 27, 2022

• WIP for closure conversion improvements

  RvanBaarle

  committed
  b6c381b

  Copy full SHA for b6c381b

• Creation of project for LLVM IR

  RvanBaarle

  committed
  ed26c61

  Copy full SHA for ed26c61

• Initial version of LLVM syntax

  RvanBaarle

  committed
  424162e

  Copy full SHA for 424162e

• Minor syntax fixes

  RvanBaarle

  committed
  07c6db9

  Copy full SHA for 07c6db9

Commits on Sep 28, 2022

• Move around files and minor syntax changes

  RvanBaarle

  committed
  af1474a

  Copy full SHA for af1474a

• Get rid of all string interpolation

  Show description for e4722d0
  RvanBaarle

  committed
  e4722d0

  Copy full SHA for e4722d0

• C runtime library for Tim

  Show description for 32c4752
  RvanBaarle

  committed
  32c4752

  Copy full SHA for 32c4752

• Differentiate between printing ints and strings

  RvanBaarle

  committed
  adc0604

  Copy full SHA for adc0604

• Fix statix type of string literal

  RvanBaarle

  committed
  0994d8d

  Copy full SHA for 0994d8d

• Add array tail, length and concat operations

  RvanBaarle

  committed
  fc3edfc

  Copy full SHA for fc3edfc

• Minor fixes to syntax

  RvanBaarle

  committed
  fdeedb8

  Copy full SHA for fdeedb8

Commits on Sep 29, 2022

• Implement the last missing features

  Show description for 1fc296a
  RvanBaarle

  committed
  1fc296a

  Copy full SHA for 1fc296a

Commits on Sep 30, 2022

• Fix non-escaping closure optimizations

  RvanBaarle

  committed
  dd22445

  Copy full SHA for dd22445

• Update compiler flags to emit bitcode

  RvanBaarle

  committed
  d98d25c

  Copy full SHA for d98d25c

• Use static closure address if known at compile time

  RvanBaarle

  committed
  3380018

  Copy full SHA for 3380018

Commits on Oct 4, 2022

• Let binding inlining

  RvanBaarle

  committed
  94521ff

  Copy full SHA for 94521ff

• Extend LLVM syntax for GC support

  RvanBaarle

  committed
  21a43b7

  Copy full SHA for 21a43b7

• WIP in explicating types further

  RvanBaarle

  committed
  3810581

  Copy full SHA for 3810581

• More explicit typing

  RvanBaarle

  committed
  fa3ff44

  Copy full SHA for fa3ff44

Commits on Oct 5, 2022

• Explicitly typed, and progress towards GC

  RvanBaarle

  committed
  a91464e

  Copy full SHA for a91464e

• quick fixes to correctly compile

  RvanBaarle

  committed
  8ca9b1f

  Copy full SHA for 8ca9b1f

• Change what gets logged

  Show description for bdf90ee
  RvanBaarle

  committed
  bdf90ee

  Copy full SHA for bdf90ee

Commits on Oct 6, 2022

• Fix incorrect base pointer

  RvanBaarle

  committed
  6923584

  Copy full SHA for 6923584

• Arrays start at one, fix tailcall issue

  RvanBaarle

  committed
  439620e

  Copy full SHA for 439620e

Commits on Oct 7, 2022

• Array type consistency

  RvanBaarle

  committed
  e5b55ba

  Copy full SHA for e5b55ba

• Add gc-leaf-function to function applications

  Show description for 0d370cb
  RvanBaarle

  committed
  0d370cb

  Copy full SHA for 0d370cb

• Garbage collector

  Show description for 1ae60ad
  RvanBaarle

  committed
  1ae60ad

  Copy full SHA for 1ae60ad

• Remove all unused includes

  RvanBaarle

  committed
  81a4b6a

  Copy full SHA for 81a4b6a

Commits on Oct 11, 2022

• Scan heap for pointers as well

  RvanBaarle

  committed
  c49e60b

  Copy full SHA for c49e60b

• Support for finalizers

  Show description for 20a1f7e
  RvanBaarle

  committed
  20a1f7e

  Copy full SHA for 20a1f7e

• Add [[maybe_unused]] attributes

  RvanBaarle

  committed
  cd946cd

  Copy full SHA for cd946cd

Commits on Oct 12, 2022

• Fix array and string operations using old references

  RvanBaarle

  committed
  cd0b74e

  Copy full SHA for cd0b74e

Commits on Oct 13, 2022

• Garbage collection for closures

  RvanBaarle

  committed
  4c6a686

  Copy full SHA for 4c6a686

• Add LLVM IR to Spoofax LWB

  Show description for a69a415
  RvanBaarle

  committed
  a69a415

  Copy full SHA for a69a415

• Quick fix for emitting LLVM from Spoofax 3

  RvanBaarle

  committed
  246c729

  Copy full SHA for 246c729

• Fix a couple of bugs

  Show description for 6b254ed
  RvanBaarle

  committed
  6b254ed

  Copy full SHA for 6b254ed

Commits on Oct 14, 2022

• Change stratego provider to ctree in hopes of harmony between spoofax 2&3

  RvanBaarle

  committed
  2edbd52

  Copy full SHA for 2edbd52

• Add explicit type annotations in preparation of more efficient types

  RvanBaarle

  committed
  8bf568f

  Copy full SHA for 8bf568f

• Add type annotations to functions as well

  RvanBaarle

  committed
  9b15144

  Copy full SHA for 9b15144

Commits on Oct 19, 2022

• Integer boxing

  RvanBaarle

  committed
  19ea985

  Copy full SHA for 19ea985

• Bitfield encoding and flag-related bugfixes

  Show description for e40cb02
  RvanBaarle

  committed
  e40cb02

  Copy full SHA for e40cb02

• Typed closures

  RvanBaarle

  committed
  76e1a10

  Copy full SHA for 76e1a10

Commits on Oct 20, 2022

• Struct type added

  RvanBaarle

  committed
  9343bf4

  Copy full SHA for 9343bf4

Commits on Oct 24, 2022

• Add typing additions to dynamix

  RvanBaarle

  committed
  b4487e5

  Copy full SHA for b4487e5

Commits on Oct 25, 2022

• Implement tuples and fixes to types

  RvanBaarle

  committed
  ff437c3

  Copy full SHA for ff437c3

Commits on Oct 26, 2022

• Rename holy to pluggable

  RvanBaarle

  committed
  a532600

  Copy full SHA for a532600

• Refactor locations of ast.str, type.str and string.str

  RvanBaarle

  committed
  515e6bd

  Copy full SHA for 515e6bd

• Struct inheritance

  RvanBaarle

  committed
  fe20ccd

  Copy full SHA for fe20ccd

Commits on Nov 1, 2022

• Small fixes to Tim

  RvanBaarle

  committed
  a2ed622

  Copy full SHA for a2ed622

Commits on Nov 2, 2022

• Improve performance issue, change names to match those used in Thijs' thesis

  RvanBaarle

  committed
  0292cc4

  Copy full SHA for 0292cc4

• Fix closure conversion edgecase

  Show description for a4558af
  RvanBaarle

  committed
  a4558af

  Copy full SHA for a4558af

Commits on Nov 8, 2022

• Fix recursive types and possibility for gc to encounter invalid pointers

  RvanBaarle

  committed
  4409c2c

  Copy full SHA for 4409c2c

• Fix recursive types better

  RvanBaarle

  committed
  b06880b

  Copy full SHA for b06880b

Commits on Nov 10, 2022

• Revert changes to tim type system

  RvanBaarle

  committed
  6c8d609

  Copy full SHA for 6c8d609

Commits on Nov 22, 2022

• Have structs contain scopes

  RvanBaarle

  committed
  d247dfa

  Copy full SHA for d247dfa

Commits on Dec 6, 2022

• Adding str-neq condition, slight LLVM syntax fixes, some other small bugfixes

  RvanBaarle

  committed
  972acd3

  Copy full SHA for 972acd3