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

06586cac06 ES: added inlining and tests anabra 2020-01-27 21:50:24 +0100
5dc69801c9

Merge pull request #70 from grin-compiler/32-tests-ctx-based Csaba Hruska 2020-01-24 20:34:19 +0100
05de7f985a ES: CaseHoisting now handles defaults alternatives correctly anabra 2020-01-22 01:48:26 +0100
6e093d690d ES: CaseHoisting tests anabra 2020-01-22 01:07:41 +0100
e2cfd83532 ES: CaseHoisting first round of reworks anabra 2020-01-22 01:07:18 +0100
0973303b2a ES: added CaseHoisting and tests anabra 2020-01-21 20:52:29 +0100
e2a58966c3 ES: bugfix in Transformations/Util anabra 2020-01-21 01:06:01 +0100
a915bcba65 ES: added some stuff to Test anabra 2020-01-21 19:59:24 +0100
2976a99961

Merge pull request #69 from grin-compiler/andorp/dead-parameter-elim Andor Penzes 2020-01-21 20:55:50 +0000
a3b6d19055

Merge pull request #68 from grin-compiler/32-alt-analyses Peter Podlovics 2020-01-21 21:13:19 +0100
59fbdb369d

Update grin/src/Transformations/Optimising/SimpleDeadParameterElimination.hs andorp/dead-parameter-elim Andor Penzes 2020-01-21 20:09:19 +0000
a1e51cec22 ES removed debug stuff from CCP anabra 2020-01-21 20:23:39 +0100
5f0613e4ba ES: added CCP tests anabra 2020-01-21 20:22:52 +0100
b90c267b98 ES: CCP small bugfix anabra 2020-01-21 20:22:34 +0100
df03c4176d ES: added some stuff to Test anabra 2020-01-21 19:59:24 +0100
363efc6bda ES: CCP reworked anabra 2020-01-21 19:46:00 +0100
13604d7d2c Improve Simple Dead Parameter Elimination. Andor Penzes 2020-01-21 19:36:36 +0100
18c6905aea ES: added tag info collection to CCP anabra 2020-01-21 18:14:13 +0100
40b73c00c2 ES: CCP reenabled some tests anabra 2020-01-21 14:36:48 +0100
c8af56e830 ES: added CCP and tests anabra 2020-01-21 14:08:58 +0100
8137c3f193 ES: added SDPE tests anabra 2020-01-21 01:06:40 +0100
82b050eabb ES: fixed SDPE anabra 2020-01-21 01:06:23 +0100
eec4f66d45 ES: bugfix in Transformations/Util anabra 2020-01-21 01:06:01 +0100
5d75bcdf60 ES: added SDPE and tests anabra 2020-01-18 12:09:05 +0100
698fde2f39 ES: SDVE tests anabra 2020-01-18 11:53:20 +0100
21c5e9c20c ES: removed the need for type env from SDVE anabra 2020-01-18 00:32:22 +0100
386e4483ed ES: removed unit pattern bind check from SDVE anabra 2020-01-17 23:46:25 +0100
8c6d8ff035 ES: Added SDVE anabra 2020-01-17 22:08:07 +0100
a5e680bacf

Merge pull request #67 from grin-compiler/32-alt-remove-unnamed Peter Podlovics 2020-01-17 01:29:22 +0100
b24e64124f ES: SDVE tests anabra 2020-01-17 01:17:50 +0100
84f073ddac ES: SDVE refactored imports anabra 2020-01-17 01:10:56 +0100
188c6c796d ES: added SDVE and tests anabra 2020-01-17 01:01:20 +0100
1d638c6fa1 ES: added tests to SCO 32-trf-sco-2 anabra 2020-01-15 22:32:33 +0100
541738c9d8 ES: fixed SCO anabra 2020-01-15 22:23:24 +0100
e9dc44ae98 ES: SCO added anabra 2020-01-15 22:12:45 +0100
e71972cd3c ES: added tests for NonSharedElimination anabra 2020-01-14 23:46:51 +0100
efddff1034 ES: small bugfix in SharingSpec anabra 2020-01-14 22:42:43 +0100
1d9b26caf3 ES: added NonSharedElimination anabra 2020-01-14 22:02:44 +0100
272086b1b7 ES: added tests to ConstantPropagation anabra 2020-01-14 21:32:26 +0100
f7f0b933fe ES: fixes in ConstantPropagation anabra 2020-01-14 21:31:27 +0100
5cf8c5dbaf ES: ConstantPropagation first round of reworks anabra 2020-01-14 15:45:49 +0100
5776285b84 ES: ConstProp - minor refactorings anabra 2020-01-14 15:12:33 +0100
c91044eb60 ES: added test for ConstantPropagation anabra 2020-01-14 15:12:12 +0100
28c05910e3 ES: added ConstantPropagation anabra 2020-01-08 21:25:38 +0100
65e05f3b4d ES: now QC only generates semantically correct programs for conversion anabra 2020-01-15 03:14:39 +0100
d9ba215c62 ES: bugfix in Conversion anabra 2020-01-15 03:13:05 +0100
d76c83052e ES: bugfix in MangleNamesSpec anabra 2020-01-15 00:00:59 +0100
7660631976 ES: removed accidentally added notes file anabra 2020-01-09 14:05:09 +0100
5cf02d29c4 ES: as-pat conversion extra comment anabra 2020-01-09 01:26:00 +0100
fbc4e0d8f8 ES: as-pat tests anabra 2020-01-09 01:22:12 +0100
264159c0ee ES: fix conversion as-pat anabra 2020-01-09 01:16:34 +0100
e38be6c7e9 ES: conversion as-pat anabra 2020-01-09 00:32:49 +0100
c031b4c136 ES: transformations as-pat anabra 2020-01-09 00:32:26 +0100
800c17ecb9 ES: analyses as-pats anabra 2020-01-08 23:26:04 +0100
f2dc0a09a4 ES: parser as-pats anabra 2020-01-08 23:00:20 +0100
d9b0542211 ES: restructured as-pats in grin dir anabra 2020-01-08 22:49:38 +0100
53d55d5530 ES: restructured as-pat anabra 2020-01-08 22:29:54 +0100
92ddfee9f4 Merge branch '32-trf-copy-propagation-2' into 32-simplify-aspats-2 anabra 2020-01-15 23:57:16 +0100
b0fa9615ee Merge branch '32-trf-case-elims-2' into 32-simplify-aspats-2 anabra 2020-01-15 23:56:34 +0100
1bee4d1261 ES: clarified comments for CopyPropagation anabra 2019-12-21 03:19:41 +0100
4041a4e208 ES: added extra comment to CopyPropagation anabra 2019-12-21 03:15:13 +0100
4950a2665a ES: refactored CopyPropagation into monadic style anabra 2019-12-21 03:10:13 +0100
4e5070c06f ES: refactorings in CopyPropagation anabra 2019-12-21 01:17:05 +0100
d8250d0046 ES: factored out rhs block removal anabra 2019-12-21 01:00:06 +0100
fa804a623d ES: updated tests for CopyPropagation anabra 2019-12-21 00:43:49 +0100
f339d4377e ES: fixes in CopyPropgation anabra 2019-12-21 00:43:31 +0100
8d768dee52 ES: added CopyPropagation tests anabra 2019-12-20 22:17:00 +0100
cd06b82af2 ES: added initial version of updated CopyPropagation anabra 2019-12-18 00:34:39 +0100
b826a50b17 Added extra test case to CopyPropagation anabra 2019-12-18 00:34:06 +0100
b9591a4a96 ES: Added extra comments to Transformations/Util anabra 2019-12-18 00:33:31 +0100
dbedfc5158 ES: added CopyPropagation anabra 2019-12-17 13:38:26 +0100
ec365a24ed ES: added tests for TrivialCaseElimination 32-trf-case-elims-2 anabra 2019-12-16 22:57:45 +0100
ab4bf04cf4 ES: added tests for EvaluatedCaseElimination anabra 2019-12-16 22:57:35 +0100
1bfdb69bd9 ES: bugfix in TrivialCaseElimination anabra 2019-12-16 22:57:13 +0100
8c39025e80 ES: added tests for Evaluated and Trivial Case Elimination anabra 2019-12-16 21:58:20 +0100
c69860c337 ES: updated TrivialCaseElimination anabra 2019-12-16 21:54:21 +0100
b0e088ebca ES: updated EvaluatedCaseElimination anabra 2019-12-16 21:54:08 +0100
252cf1405f ES: added Evaluated and Trivial Case Elimination anabra 2019-12-16 21:34:09 +0100
3537c6140a ES: fixed a test in CSESpec anabra 2019-12-17 13:43:14 +0100
cc06b4c185 ES: added tests to CSE anabra 2019-12-08 03:09:52 +0100
8f15d80fca ES: added a note to CSE anabra 2019-12-08 03:09:33 +0100
b7bc879b2e ES: added an extra test to CSE anabra 2019-12-08 03:09:07 +0100
12268ef0d7 ES: CSE test imports updated anabra 2019-12-07 22:43:18 +0100
1803a96823 ES: Added CSE tests anabra 2019-12-07 22:09:41 +0100
6cd1aea6ea ES: CSE updated anabra 2019-12-07 22:00:37 +0100
9a9804e90d ES: Added CSE anabra 2019-12-07 21:59:07 +0100
3bb87590da ES: Added some extra tests to CSE anabra 2019-12-07 21:11:43 +0100
acd2387130 Extracted some utility function from CreatedBySpec to Test/Util 32-tests-ctx-based anabra 2020-01-14 23:45:10 +0100
bf10eae742 ES: added name generation to context-based testing anabra 2019-12-16 22:56:35 +0100
1ed368d7ca ES: updated context-based testing for the new syntax anabra 2019-12-16 22:17:35 +0100
11592ad07a ES: Added context-based testing for the new AST anabra 2019-12-07 22:40:07 +0100
6839061bea ES: Modified expr and fundef parsers anabra 2019-12-08 03:07:28 +0100
1c59516d83 ES: added tests to SCO 32-trf-sco anabra 2020-01-15 22:32:33 +0100
600faf40da ES: fixed SCO anabra 2020-01-15 22:23:24 +0100
669a7a9b97 ES: SCO added anabra 2020-01-15 22:12:45 +0100
6666a18477 ES: added tests for NonSharedElimination 32-trf-non-shared-elim anabra 2020-01-14 23:46:51 +0100
0c95d6f36d Extracted some utility function from CreatedBySpec to Test/Util anabra 2020-01-14 23:45:10 +0100
381106dc16 ES: small bugfix in SharingSpec anabra 2020-01-14 22:42:43 +0100
e54f91cb2d ES: added NonSharedElimination anabra 2020-01-14 22:02:44 +0100
e949556db8 ES: added tests to ConstantPropagation 32-trf-const-propagation anabra 2020-01-14 21:32:26 +0100