Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 2, 2024

• Fix panic caused by parsing error at EOF

  bastian-koepcke

  committed
  307410a

  Copy full SHA for 307410a

Commits on Mar 27, 2024

• evaluate nats and reimplement acccess conflict check

  Show description for c45ad42
  

  Köpcke

  committed
  c45ad42

  Copy full SHA for c45ad42

Commits on Mar 25, 2024

• track compil unit as mutable reference in global context

  

  Köpcke

  committed
  0149a12

  Copy full SHA for 0149a12

Commits on Mar 24, 2024

• add variables with reference types to vec_add example

  Show description for 360b2d6
  

  Köpcke

  committed
  360b2d6

  Copy full SHA for 360b2d6

Commits on Mar 23, 2024

• toward more static anaylsis and small updates:

  Show description for 8b957e2
  

  Köpcke

  committed
  8b957e2

  Copy full SHA for 8b957e2

Commits on Nov 8, 2023

• make jacobisvd run

  Show description for 9f63999
  

  Köpcke

  committed
  9f63999

  Copy full SHA for 9f63999

• add jacobisvd

  

  Köpcke

  committed
  77f45ba

  Copy full SHA for 77f45ba

Commits on Nov 3, 2023

• make sssp compile

  

  Köpcke

  committed
  ff6de42

  Copy full SHA for ff6de42

Commits on Oct 12, 2023

• add sgemm and sssp-ffi-unsafe examples

  

  Köpcke

  committed
  5687de7

  Copy full SHA for 5687de7

Commits on Sep 16, 2023

• begin sgemm example and fix multiple subscripts generated

  

  Köpcke

  committed
  2f9c5d1

  Copy full SHA for 2f9c5d1

Commits on Sep 14, 2023

• fix implicit identifiers when using generic args and change tests

  Show description for fb7b9d9
  

  Köpcke

  committed
  fb7b9d9

  Copy full SHA for fb7b9d9

Commits on Sep 13, 2023

• resolve problems during type checking and code generation

  Show description for dd50525
  

  Köpcke

  committed
  dd50525

  Copy full SHA for dd50525

Commits on Aug 28, 2023

• introduce generic execution resources and execution resource expressions

  

  Köpcke

  committed
  7f86647

  Copy full SHA for 7f86647

Commits on Jun 15, 2023

• begin implementing ty_check_exec_to_threads

  Show description for 64ebfd3
  

  Köpcke

  committed
  64ebfd3

  Copy full SHA for 64ebfd3

• adjust execution resources

  Show description for 73a872b
  

  Köpcke

  committed
  73a872b

  Copy full SHA for 73a872b

Commits on Jun 2, 2023

• Added algorithms for Huffman coding and multiple features required for their implementation (#29)

  Show description for 142f9d1
  

  piet-adick

  and

  Köpcke

  authored
  142f9d1

  Copy full SHA for 142f9d1

Commits on Apr 25, 2023

• Infer generic nats in execution level dimensions during function calls

  Show description for 58b6dd0
  

  Köpcke

  committed
  58b6dd0

  Copy full SHA for 58b6dd0

Commits on Apr 24, 2023

• do not generate dereferencing operator when indexing into array

  Show description for 2e3597b
  

  Köpcke

  committed
  2e3597b

  Copy full SHA for 2e3597b

• simplify view syntax and redefine overlapping check

  Show description for 6ad908c
  

  Köpcke

  committed
  6ad908c

  Copy full SHA for 6ad908c

Commits on Apr 23, 2023

• only bind values of nats to implicit identifiers

  

  Köpcke

  committed
  d993d8f

  Copy full SHA for d993d8f

Commits on Apr 21, 2023

• inline more views

  Show description for ef6eb64
  

  Köpcke

  committed
  ef6eb64

  Copy full SHA for ef6eb64

Commits on Apr 17, 2023

• fix slow tests and add matmul example

  Show description for aae3781
  

  Köpcke

  committed
  aae3781

  Copy full SHA for aae3781

Commits on Apr 14, 2023

• fix examples

  

  Köpcke

  committed
  d4d3a3d

  Copy full SHA for d4d3a3d

Commits on Apr 13, 2023

• fix bug and add tests and generated code

  Show description for e785da3
  

  Köpcke

  committed
  e785da3

  Copy full SHA for e785da3

Commits on Mar 31, 2023

• bugfix: let-binding a reference to a view does not try to generate code

  

  Köpcke

  committed
  afc85cf

  Copy full SHA for afc85cf

Commits on Mar 30, 2023

• bugfix: substitute unkinded identifiers in view arguments

  

  Köpcke

  committed
  a441dba

  Copy full SHA for a441dba

Commits on Mar 27, 2023

• introduce new place expressions and begin working on improved borrow checks

  Show description for 51d2a27
  

  Köpcke

  committed
  51d2a27

  Copy full SHA for 51d2a27

Commits on Mar 12, 2023

• fix: clearing too many accesses of execution resources

  Show description for 756c9ad
  

  Köpcke

  committed
  756c9ad

  Copy full SHA for 756c9ad

Commits on Mar 7, 2023

• begin recognizing data races between accesses in schedules

  Show description for df6c357
  

  Köpcke

  committed
  df6c357

  Copy full SHA for df6c357

Commits on Feb 24, 2023

• slightly improved error message for cannot unify during assignment

  Show description for d913e54
  

  Köpcke

  committed
  d913e54

  Copy full SHA for d913e54

Commits on Feb 21, 2023

• store captured unsynced loans from a frame typing in exec borrow context

  

  Köpcke

  committed
  1d86e52

  Copy full SHA for 1d86e52

Commits on Feb 20, 2023

• refactor

  Show description for 00a7ba4
  

  Köpcke

  committed
  00a7ba4

  Copy full SHA for 00a7ba4

Commits on Feb 17, 2023

• make split a place expression called SplitAt

  Show description for 9b31529
  

  Köpcke

  committed
  9b31529

  Copy full SHA for 9b31529

Commits on Feb 16, 2023

• replace unkinded identifiers in AppKernel with kinded identifiers

  Show description for 68d2ca6
  

  Köpcke

  committed
  68d2ca6

  Copy full SHA for 68d2ca6

Commits on Feb 15, 2023

• begin implementing checks for select

  Show description for 670066d
  

  Köpcke

  committed
  670066d

  Copy full SHA for 670066d

Pagination

Previous

Next