Commit Graph - grin - gitea: Gitea Service

grin-compiler/grin

Fork 0

mirror of https://github.com/grin-compiler/grin.git synced 2024-09-11 07:25:28 +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

f59283d5af ES: small fixes in PipelineSpec anabra 2020-02-17 01:42:34 +0100
76628112c5 ES: added PipelineSpec anabra 2020-02-17 01:27:01 +0100
2146e6d447 ES: fixed Pipepile transformation machinery anabra 2020-02-17 01:21:20 +0100
886d6c172e ES: renamed transformations in Pipeline anabra 2020-02-17 01:08:23 +0100
1d99bb91c0 ES: added Pipeline/Pipeline anabra 2020-02-17 00:45:37 +0100
c73ec64d14 ES: added Pipeline/Optimizations anabra 2020-02-17 00:44:02 +0100
07c43547dd ES: added Pipeline/Eval anabra 2020-02-17 00:37:08 +0100
16231d1df1 ES: TEMP fix in PrimOpsSpec anabra 2020-02-17 01:34:24 +0100
d8480f7a9f ES: TEMP fix in PrimOpsSpec 32-primops-test-spec anabra 2020-02-17 01:34:24 +0100
abf3c9d069 Merge branch '32-primops-test-spec' into 32-reducer-sync anabra 2020-02-17 00:32:07 +0100
6d7d12ab15 Merge branch '32-renamings' into 32-reducer-sync anabra 2020-02-17 00:31:48 +0100
3c4f96e995 ES: small bugfix in DFE anabra 2020-02-17 00:29:51 +0100
c94cc36177 ES: renamed dead stuff elims anabra 2020-02-16 18:30:56 +0100
f76a0a38f5 ES: added TestSpec anabra 2020-02-16 17:56:02 +0100
77771a31c0 ES: added PrimOpsSpec anabra 2020-02-16 17:51:15 +0100
c70e1f3279 Merge branch '32-reducer-llvm' into 32-reducer-sync anabra 2020-02-16 17:35:53 +0100
9545466742 Merge branch '32-reducer' into 32-reducer-sync anabra 2020-02-16 17:35:43 +0100
f4f2ac5695 ES: another sharing analyis bugfix 32-sharing-fix anabra 2020-02-16 17:17:48 +0100
34b7c93c17 ES: sharing analysis bugfix anabra 2020-02-16 16:48:08 +0100
6337f67c0b ES: reimplemented pure sharing analysis anabra 2020-02-16 16:29:40 +0100
537aae4349

update backers [skip ci] Csaba Hruska 2020-02-16 16:26:58 +0100
939ddb07ea ES: added more tests to SharingSpec anabra 2020-02-16 16:03:06 +0100
8a58585700 ES: added more tests to NonSharedElim anabra 2020-02-16 16:02:48 +0100
a5e535ca51 ES: extened Reducer/LLVM/CodeGen 32-reducer-llvm anabra 2020-02-15 23:56:55 +0100
c1d8b0bd63 ES: some fixes in Reducer/LLVM/CodeGen anabra 2020-02-13 00:41:58 +0100
989b2ae0b0 ES: added Reducer/LLVM/CodeGen anabra 2020-02-13 00:01:22 +0100
98636a1763 ES: added Reducer/LLVM/PrimOps anabra 2020-02-12 23:59:35 +0100
bdeddf31c3 ES: added Reducer/LLVM/TypeGen anabra 2020-02-12 23:36:38 +0100
e2d41e658f ES: added Reducer/LLVM/InferType anabra 2020-02-12 23:24:16 +0100
7a7fa529fc ES: added Reducer/LLVM/Base anabra 2020-02-12 22:26:49 +0100
4b2ea5d900 ES: added LLVM JIT 32-reducer anabra 2020-02-12 22:23:00 +0100
8117956873 ES: added tests to Reducer/IO anabra 2020-02-12 22:08:06 +0100
3c053de918 ES: added some more tests to Reducer/Base anabra 2020-02-12 22:04:06 +0100
7c896c596c ES: fixed Reducer/IO anabra 2020-02-12 21:51:35 +0100
c1baeadcc8 ES: added Reducer/IO anabra 2020-02-12 21:19:47 +0100
b48adc1b51

Merge pull request #78 from grin-compiler/andorp/issue-76 Andor Penzes 2020-02-12 20:54:55 +0100
5e2a39bd15 #76: Rename to --continue-on-failed-lint andorp/issue-76 Andor Penzes 2020-02-12 20:01:14 +0100
add6eadb3b Merge branch 'master' into andorp/issue-76 Andor Penzes 2020-02-12 19:34:32 +0100
219727cdd7

Merge pull request #77 from grin-compiler/andorp/eval-stat Andor Penzes 2020-02-12 19:23:12 +0100
10f9ebc4a0

Merge branch '32-extended-syntax' into 32-trf-cse-2 32-trf-cse-2 Peter Podlovics 2020-02-12 17:34:04 +0100
dc07497449 ES: fixed Base and Pure reducers anabra 2020-02-12 17:23:49 +0100
ea884d62b6 ES: improved Reducer/Base tests anabra 2020-02-12 17:23:05 +0100
5cbe74db9b ES: added Reducer/Pure tests anabra 2020-02-12 17:13:05 +0100
5eca4c4cf6

Merge pull request #71 from grin-compiler/32-trf-case-elims-2 Csaba Hruska 2020-02-12 16:12:29 +0100
68129a84f1 ES: fixed Reducer/Pure + additional modifications anabra 2020-02-11 19:49:08 +0100
a7cdbf85d5 ES: added Reducer/Pure anabra 2020-02-11 18:59:07 +0100
536987bf8a ES: added Reducer/PrimOps anabra 2020-02-11 18:54:30 +0100
ac15cc7d6e Add --continue-on-lint option. Andor Penzes 2020-02-10 23:54:24 +0100
963a4d3380 Eval statistics. andorp/eval-stat Andor Penzes 2020-02-10 22:09:14 +0100
7cc277afd6 ES: added Reducer/Base tests anabra 2020-02-02 01:29:19 +0100
90f69ba375 ES: added KeyValueMap for pretty printing anabra 2020-02-02 00:43:49 +0100
abf6ebadfe ES: Reducer/Base compiles anabra 2020-02-02 00:30:24 +0100
e2401cecb5 ES: added Reducer/Base anabra 2020-02-01 23:55:56 +0100
a560d671c6 ES: merge fixes anabra 2020-02-01 19:36:58 +0100
be7795d095 Merge branch '32-trf-dde' into 32-trf-sync anabra 2020-02-01 19:29:51 +0100
35bee11f2b Merge branch '32-trf-dfe' into 32-trf-sync anabra 2020-02-01 19:29:28 +0100
937bc40a61 Merge branch '32-trf-dpe' into 32-trf-sync anabra 2020-02-01 19:29:03 +0100
c84c467447 Merge branch '32-lva-fix' into 32-trf-sync anabra 2020-02-01 19:28:33 +0100
0f38c354f0 Merge branch '32-trf-arity-raising' into 32-trf-sync anabra 2020-02-01 19:28:23 +0100
65f09e89d0 Merge branch '32-trf-gub' into 32-trf-sync anabra 2020-02-01 19:27:44 +0100
7428dfc5cb Merge branch '32-trf-inlining' into 32-trf-sync anabra 2020-02-01 19:26:34 +0100
de814c6672 Merge branch '32-trf-case-hoisting' into 32-trf-sync anabra 2020-02-01 19:26:05 +0100
0864af9e48 Merge branch '32-trf-case-copy-propagation' into 32-trf-sync anabra 2020-02-01 19:25:31 +0100
2b092157d9 Merge branch '32-trf-sdpe' into 32-trf-sync anabra 2020-02-01 19:25:21 +0100
dbf733c647 Merge branch '32-trf-sdfe' into 32-trf-sync anabra 2020-02-01 19:24:47 +0100
06f89813ce Merge branch '32-trf-sdve' into 32-trf-sync anabra 2020-02-01 19:16:27 +0100
a28d116d90 Merge branch '32-trf-sco-2' into 32-trf-sync anabra 2020-02-01 19:15:20 +0100
40d558c06e Merge branch '32-trf-non-shared-elim-2' into 32-trf-sync anabra 2020-02-01 19:10:20 +0100
e0a1f3a61e Merge branch '32-trf-const-propagation-2' into 32-trf-sync anabra 2020-02-01 19:09:50 +0100
9f682a9688 ES: added more tests to LVA 32-trf-dde anabra 2020-02-01 18:43:45 +0100
a115c36e95 ES: added as-pat support to LVA anabra 2020-02-01 18:43:27 +0100
025ae39007 ES: added failing as-pattern test to DDE anabra 2020-02-01 01:26:23 +0100
e4b57691c2 ES: DDE tests anabra 2020-02-01 00:47:18 +0100
496510face ES: bugfix in DDE anabra 2020-02-01 00:46:51 +0100
70ab40011d ES: second round of reworks on DDE anabra 2020-01-31 17:24:15 +0100
c4a8183d15 ES: added some unit tests to CopyPropagation anabra 2020-01-31 16:56:55 +0100
499a281634 ES: DDE initial rework anabra 2020-01-29 15:19:29 +0100
9eb75d852c ES: added DDE and tests anabra 2020-01-29 14:45:02 +0100
d0c1d37e56 ES: fixed tests for DFE anabra 2020-01-28 20:58:34 +0100
967ebcb72b ES: fixed imports for DFE anabra 2020-01-28 20:58:20 +0100
037bcc3f94 ES: added DFE anabra 2020-01-28 20:12:40 +0100
c310dead09 ES: fixed DPE tests anabra 2020-01-29 12:36:09 +0100
52f1c03a48 ES: added DPE and tests anabra 2020-01-29 11:06:50 +0100
f6a6e574ee ES: added DPE and tests anabra 2020-01-29 11:04:23 +0100
db9b2162b3 ES: change as-pat semantics in LVA 32-lva-fix anabra 2020-02-01 02:26:20 +0100
7e2bf89064 ES: is DVE no longer needed? 32-trf-dve anabra 2020-01-29 14:25:06 +0100
0bb0f88655 ES: DVE refined comments anabra 2020-01-29 13:16:53 +0100
873e4292fb ES: added DVE and tests anabra 2020-01-29 12:58:01 +0100
2d11fcec95 ES: added test-data loading anabra 2020-01-29 12:35:37 +0100
5bf30c79b7 ES: LVA now contains effect info for externals as well anabra 2020-01-28 21:57:48 +0100
7a22de1d68 ES: added primop liveness to LVA tests anabra 2020-01-28 21:51:16 +0100
d095ce3296 ES: fixed external liveness handling in LVA anabra 2020-01-28 21:50:35 +0100
aaa0608187 ES: ArityRaising tests 32-trf-arity-raising anabra 2020-01-28 19:53:13 +0100
56b5349500 ES: first round of refactoring for ArityRaising anabra 2020-01-28 16:33:14 +0100
3fe5d64702 ES: added ArityRaising and tests anabra 2020-01-28 13:26:03 +0100
04b98c6309 ES: GUB tests work anabra 2020-01-28 00:48:57 +0100
8493766915

ES: CopyPropagation strict state Peter Podlovics 2020-01-28 00:32:10 +0100
020a91fd28 ES: GUB refactored imports anabra 2020-01-28 00:05:02 +0100
9416dde7ff ES: added GUB and tests anabra 2020-01-27 23:50:49 +0100
572d76e664 ES: inlining works with new syntax anabra 2020-01-27 23:43:16 +0100