Commit Graph - grin - gitea: Gitea Service

grin-compiler/grin

Fork 0

mirror of https://github.com/grin-compiler/grin.git synced 2024-10-26 08:41:51 +03:00

Commit Graph

Select branches

Hide Pull Requests

32-ES-to-master

32-abs-int-misc

32-alt-analyses

32-alt-grin-base

32-alt-hpt

32-alt-remove-unnamed

32-alt-tests

32-analyses

32-bugfixes

32-cby

32-conversion-fix

32-effect-tracking

32-extended-syntax

32-gen-eval

32-grin-misc

32-hpt

32-lva

32-lva-fix

32-pipeline

32-primops-test-spec

32-reducer

32-reducer-llvm

32-reducer-sync

32-reducer-sync-2

32-renamings

32-sharing

32-sharing-fix

32-simplify-aspats

32-simplify-aspats-2

32-test-merge-with-master

32-test-merge-with-master-2

32-tests-ctx-based

32-transformations-base

32-trf-arity-raising

32-trf-case-copy-propagation

32-trf-case-elims

32-trf-case-elims-2

32-trf-case-hoisting

32-trf-const-propagation

32-trf-const-propagation-2

32-trf-copy-propagation

32-trf-copy-propagation-2

32-trf-cse

32-trf-cse-2

32-trf-dde

32-trf-dfe

32-trf-dpe

32-trf-dve

32-trf-gen-eval

32-trf-gub

32-trf-inlining

32-trf-non-shared-elim

32-trf-non-shared-elim-2

32-trf-sco

32-trf-sco-2

32-trf-sdfe

32-trf-sdpe

32-trf-sdve

32-trf-sync

andorp/32-gadt

andorp/63-modular-primops-1

andorp/coq

andorp/datalog

andorp/dead-parameter-elim

andorp/def-intr

andorp/eval-stat

andorp/experiments

andorp/issue-76

andorp/linker-2

andorp/linker-3

andorp/lint-subtype-impr

cse-test

cxx_datflow_debug

extended-syntax

grin/bugfix/external_ffi_pretty

haskell-meetup

jit/bugfix01/hardwired_ffi

master

master-old

overwritten-extended-syntax

playground

stcs-2019-new

stcs-2019-old

strip_externals

var-tag-node-is-tagged-union

webassemby-experiment

zurihac/idris

#100

#101

#102

#103

#104

#105

#106

#107

#108

#108

#11

#110

#112

#114

#116

#117

#118

#119

#12

#120

#121

#124

#126

#127

#129

#129

#13

#130

#14

#15

#16

#21

#22

#23

#25

#29

#31

#33

#35

#36

#37

#39

#4

#40

#41

#42

#43

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#52

#53

#56

#58

#59

#6

#60

#61

#62

#65

#66

#67

#68

#69

#7

#70

#71

#72

#73

#77

#78

#79

#80

#81

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#96

#96

#97

#98

#99

before-repo-split

first-codegen

7fd0f9106a Remove hungarian text. Andor Penzes 2017-09-02 21:38:49 +0200
b87ff4503e Simple register introduction. Andor Penzes 2017-09-02 21:37:13 +0200
f472940e82 Infinite recursive register-introduction. Andor Penzes 2017-09-02 19:07:22 +0200
bece8303c3 add HPT todo Csaba Hruska 2017-09-01 08:31:11 +0100
6d0470fb7d improve debug output; fix pprint Csaba Hruska 2017-09-01 00:47:15 +0100
9514e38216 hack fix Csaba Hruska 2017-09-01 00:25:52 +0100
e1adbf7811 temp HPT termination Csaba Hruska 2017-09-01 00:21:46 +0100
70e60bef84 log HPT steps Csaba Hruska 2017-09-01 00:14:04 +0100
1936e2f23f hack on HPT Csaba Hruska 2017-08-31 23:51:02 +0100
86b17d8592 fix vectorisation Csaba Hruska 2017-08-29 23:14:31 +0100
4076de3fcd cleanup Csaba Hruska 2017-08-29 22:55:46 +0100
e4401a6a4e start work on Heap Points To analysis Csaba Hruska 2017-08-29 22:55:27 +0100
32155345ab improve pattern binding in reducer Csaba Hruska 2017-08-29 19:54:56 +0100
f19661e696 fix evaluator's pattern binding Csaba Hruska 2017-08-29 19:28:10 +0100
70884cf9cf Half-done vectorisation exfalso 2017-08-29 20:23:16 +0100
62b636497a Update README.md Csaba Hruska 2017-08-29 06:13:02 +0100
8463190bee update image Csaba Hruska 2017-08-29 06:06:40 +0100
f7ab48715a add grin syntax figure Csaba Hruska 2017-08-29 06:00:15 +0100
e006063b20 simplify count stores; fix collectTagInfoPure Csaba Hruska 2017-08-28 17:07:57 +0100
78bfb0e9ff App has simple values; it can not contain nodes Csaba Hruska 2017-08-28 17:03:10 +0100
349e18eabc add collectTagInfoPure2 Csaba Hruska 2017-08-28 16:45:07 +0100
08ed77cc5c add papers and notes Csaba Hruska 2017-08-28 15:44:50 +0100
1af7cb2b43 initial version of split fetch transformation Csaba Hruska 2017-08-27 18:30:30 +0100
eda21c115f Add renameVariables. Andor Penzes 2017-08-27 17:04:26 +0200
596a77ca50 adjust cli Csaba Hruska 2017-08-27 15:30:47 +0100
7d46a659c4 add use background color Csaba Hruska 2017-08-27 15:20:40 +0100
80163e4c4d fix pretty print, show nodes in parenthesis Csaba Hruska 2017-08-27 15:13:34 +0100
8a771d51d0 rename testCata to countStores Csaba Hruska 2017-08-27 14:57:56 +0100
4bd9c3fb19 fix Csaba Hruska 2017-08-27 14:50:53 +0100
fa140ceb2a initial eval generator Csaba Hruska 2017-08-27 14:46:39 +0100
3904a3135b add collectTagInfoPure. Andor Penzes 2017-08-27 15:03:20 +0200
0c3243f2ac calculate tag arity Csaba Hruska 2017-08-27 13:25:18 +0100
da37264a4d add collectTagInfo Csaba Hruska 2017-08-27 13:21:17 +0100
a7040d8efb add Transformations module Csaba Hruska 2017-08-27 12:38:05 +0100
75e40ae440 add Def and Program constructors to Exp Csaba Hruska 2017-08-27 12:25:27 +0100
827087b5c0 adjust pretty Csaba Hruska 2017-08-27 00:08:57 +0100
b46797d7d5 add todo Csaba Hruska 2017-08-26 23:58:01 +0100
ef661f9fa8 improve pretty ; another test transformation Csaba Hruska 2017-08-26 22:59:54 +0100
1d779ebe24 initial coloring Csaba Hruska 2017-08-26 18:39:23 +0100
256171a03a initial pretty printer Csaba Hruska 2017-08-26 18:33:06 +0100
ad7995e4d1 Use pattern synonyms and final tagless EDSL t provide type safety. playground Andor Penzes 2017-08-26 19:25:50 +0200
a564fde52f Add readings file. Andor Penzes 2017-08-26 18:26:53 +0200
3268fbe630 Several attempts. Andor Penzes 2017-08-26 18:26:10 +0200
3f7bc33839 GADT representation of the expressions. Andor Penzes 2017-08-26 18:25:37 +0200
ac12de9015 Merge branch 'master' into playground Andor Penzes 2017-08-26 18:24:38 +0200
45927f9c00 add grin cli Csaba Hruska 2017-08-26 16:13:00 +0100
a2c92ffbc0 Unified Exp with shape functor. Andor Penzes 2017-08-26 16:45:34 +0200
bba46b2e98 GADT madness Andor Penzes 2017-08-26 14:57:23 +0200
f35d2a9a05 add notes Csaba Hruska 2017-08-20 12:09:35 +0100
05297995b4 add useful material that can help to optimize the st reducer Csaba Hruska 2017-08-07 12:12:12 +0200
75ffe40ec4 add notes Csaba Hruska 2017-08-04 16:35:45 +0200
9c720eabb5 add GHC to benchmark Csaba Hruska 2017-08-04 14:14:09 +0200
f0e1ad6e63 fix Store implementation Csaba Hruska 2017-08-04 11:35:36 +0200
a93e578373 adjust benchmark Csaba Hruska 2017-08-04 10:22:31 +0200
ec097859e3 merge Csaba Hruska 2017-07-30 16:15:05 +0200
d1514ac9d0 Turn strictness on Andor Penzes 2017-08-01 05:04:21 +0200
d7e0f6b35e RWST monad Andor Penzes 2017-08-01 05:03:27 +0200
56cf197f9b Simple benchmark. Andor Penzes 2017-07-30 19:19:22 +0200
306037be4a Simple benchmark. Andor Penzes 2017-07-30 16:47:58 +0200
1a16df7169 Simple ST reducer implementation. Andor Penzes 2017-07-30 16:04:10 +0200
f296caf55b more descriptive name of node values Csaba Hruska 2017-07-30 12:01:23 +0200
2ac6d0fa2a Pretty printing in eval. Andor Penzes 2017-06-29 01:18:26 +0200
ecd243d49d Add grin examples. Andor Penzes 2017-06-29 01:16:26 +0200
d811d23538 Change license to BSD3. Andor Penzes 2017-06-24 23:20:23 +0200
ce7679fa9a First commit. Andor Penzes 2017-06-23 22:38:32 +0200
9861a5dc6b Initial commit Andor Penzes 2017-06-23 22:18:06 +0200