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

Mono Color

• 9887597073 Sketch of datalog exporter. Andor Penzes 2020-04-30 01:14:22 +0200
• 6d761135c0
  Merge pull request #98 from grin-compiler/32-trf-dfe Peter Podlovics 2020-04-28 22:42:01 +0200
• 3883dbafe9
  Merge branch '32-extended-syntax' into 32-trf-dfe 32-trf-dfe Peter Podlovics 2020-04-28 22:41:43 +0200
• ed0dcd31d9
  Merge pull request #99 from grin-compiler/32-trf-dpe Peter Podlovics 2020-04-28 22:39:57 +0200
• bd640c00f5
  Merge branch '32-extended-syntax' into 32-trf-dpe 32-trf-dpe Peter Podlovics 2020-04-28 22:39:41 +0200
• 376c2b3cd5
  Merge pull request #100 from grin-compiler/32-trf-dde Peter Podlovics 2020-04-28 22:35:43 +0200
• 300485deba Merge branch 'master' into andorp/def-intr andorp/def-intr Andor Penzes 2020-04-28 22:33:14 +0200
• 5d52b0b03a Code cleaning. Andor Penzes 2020-04-28 21:23:30 +0200
• 4547fa43c3 Interpreter for Counting Immutable Beans instrumentation. Andor Penzes 2020-04-26 23:54:36 +0200
• ba09e08cc5
  Merge branch '32-extended-syntax' into 32-trf-dpe Peter Podlovics 2020-04-26 19:25:12 +0200
• ce820b3d4c
  Merge pull request #97 from grin-compiler/32-lva-fix Peter Podlovics 2020-04-26 19:21:36 +0200
• f5000d5a3d
  update backers [skip ci] Csaba Hruska 2020-04-24 09:20:55 +0200
• 0aa77a612d Convert much of the ExtendedSyntax to variable width numbers Anthony Cerruti 2020-04-23 20:49:50 -0700
• ae5c55c0eb Fix up the last of Testing Anthony Cerruti 2020-04-23 20:43:03 -0700
• 7bc134b99c Support variable-width numbers in more of the Primop and LLVM code Anthony Cerruti 2020-04-23 20:22:19 -0700
• 5ad9bde74e Change Word to Word32 for LLVM Anthony Cerruti 2020-04-23 20:12:38 -0700
• a2990772ce Switch the LLVM code over to variable width numbers Anthony Cerruti 2020-04-23 20:02:11 -0700
• fe7ab7a501 Fix some extendedsyntax stuff Anthony Cerruti 2020-04-23 19:49:43 -0700
• 6e3ff13afb More fixes to testing Anthony Cerruti 2020-04-23 19:44:37 -0700
• 9805dbc841 Fix more LLVM-related type definitions based on int width Anthony Cerruti 2020-04-23 19:42:24 -0700
• 0534d82686 Adjust a test Anthony Cerruti 2020-04-23 17:50:19 -0700
• 49155b1a9a Fix existing primops Anthony Cerruti 2020-04-23 17:46:47 -0700
• 0b36cf77c0 Fix error in TypeEnv Anthony Cerruti 2020-04-23 17:35:11 -0700
• 15566d1a5e Pretty instances for sized literals Anthony Cerruti 2020-04-23 17:24:34 -0700
• f65fb98207 Make it more consistent between word and int, still probably incorrect Anthony Cerruti 2020-04-23 17:07:02 -0700
• 1a6000e61c Add basic parsing of variable width literals Anthony Cerruti 2020-04-23 17:05:17 -0700
• 7031e6d8e9 TODO: Properly verify size/type of literals Anthony Cerruti 2020-04-23 15:32:00 -0700
• 6fa37fb5a2 TODO: Fix variable width numbers in code gen Anthony Cerruti 2020-04-23 15:26:06 -0700
• 6f8dc25cb0 Properly parse variable-width number types Anthony Cerruti 2020-04-23 13:47:08 -0700
• 3a775c5fc4 Variable-widths for T_Int and T_Word Anthony Cerruti 2020-04-23 13:43:35 -0700
• 2b88908cc5
  Merge pull request #89 from grin-compiler/32-trf-case-copy-propagation Peter Podlovics 2020-04-20 02:05:08 +0200
• 3e9d109f21 Revert "ES: Minor refactor in CaseHoisting" 32-trf-case-copy-propagation anabra 2020-04-20 01:38:32 +0200
• e5f4c49921
  Merge pull request #84 from grin-compiler/32-trf-non-shared-elim-2 Peter Podlovics 2020-04-20 01:11:34 +0200
• fea0572238
  Merge branch '32-extended-syntax' into 32-trf-non-shared-elim-2 32-trf-non-shared-elim-2 Peter Podlovics 2020-04-20 01:10:48 +0200
• 965d74e6c0
  ES: Minor refactor in CaseHoisting Peter Podlovics 2020-04-20 01:09:24 +0200
• 547076926a
  Merge branch '32-extended-syntax' into 32-trf-case-copy-propagation Peter Podlovics 2020-04-20 01:07:41 +0200
• 54d9566699
  Merge pull request #86 from grin-compiler/32-trf-sdve Peter Podlovics 2020-04-20 01:06:18 +0200
• caa639e6c6
  Merge branch '32-extended-syntax' into 32-trf-sdve 32-trf-sdve Peter Podlovics 2020-04-20 01:06:04 +0200
• f855990342
  Merge pull request #88 from grin-compiler/32-trf-sdpe Peter Podlovics 2020-04-20 01:04:48 +0200
• 3a5efb9a68
  Merge branch '32-extended-syntax' into 32-trf-sdpe 32-trf-sdpe Peter Podlovics 2020-04-20 01:03:21 +0200
• 0c622bd82e
  Merge pull request #90 from grin-compiler/32-trf-case-hoisting Peter Podlovics 2020-04-20 01:01:30 +0200
• 9bfc107441
  Merge branch '32-extended-syntax' into 32-trf-case-hoisting 32-trf-case-hoisting Peter Podlovics 2020-04-20 01:01:16 +0200
• da448af79e
  Merge pull request #91 from grin-compiler/32-trf-inlining Peter Podlovics 2020-04-19 16:57:00 +0200
• c6bddad35a
  Merge branch '32-extended-syntax' into 32-trf-inlining 32-trf-inlining Peter Podlovics 2020-04-19 16:56:40 +0200
• 96ce15c67e
  Merge pull request #92 from grin-compiler/32-trf-gub Peter Podlovics 2020-04-19 16:55:44 +0200
• 4ef6132edc
  Merge branch '32-extended-syntax' into 32-trf-gub 32-trf-gub Peter Podlovics 2020-04-19 16:55:14 +0200
• 4972b34759
  Merge pull request #83 from grin-compiler/32-trf-const-propagation-2 Peter Podlovics 2020-04-19 16:54:32 +0200
• 47ec536b20
  Merge pull request #87 from grin-compiler/32-trf-sdfe Peter Podlovics 2020-04-19 16:54:13 +0200
• 99ebd2e6f2
  Merge branch '32-extended-syntax' into 32-trf-gub Peter Podlovics 2020-04-19 16:51:53 +0200
• c7c8b279c0
  Merge pull request #93 from grin-compiler/32-trf-arity-raising Peter Podlovics 2020-04-19 16:48:37 +0200
• 687ef8f5f3
  Merge branch '32-extended-syntax' into 32-trf-sdfe 32-trf-sdfe Peter Podlovics 2020-04-19 16:45:11 +0200
• da41c3ae35
  Merge pull request #85 from grin-compiler/32-trf-sco-2 Peter Podlovics 2020-04-19 16:44:12 +0200
• a9a92bb0f0
  Remove outdated comments 32-trf-const-propagation-2 Peter Podlovics 2020-04-19 16:40:49 +0200
• 3b30faad08
  Remove outdated TODO Peter Podlovics 2020-04-19 16:14:07 +0200
• 30b451b6ef Extensible definitional interpreter. Andor Penzes 2020-04-18 20:06:23 +0200
• 23d04389cc Abstract GRIN interpreter. Andor Penzes 2020-04-18 17:03:23 +0200
• 9e3797e528 Fix leaking memory. Andor Penzes 2020-04-13 19:04:41 +0200
• 4b61b28fde Cosmetic changes that needed by the idris-grin front end. Andor Penzes 2020-04-11 15:30:53 +0200
• 32de2ee753 ES: fix bug in LLVM codegen anabra 2020-04-11 02:16:43 +0200
• 76a6a60324
  Merge pull request #80 from grin-compiler/32-simplify-aspats-2 Peter Podlovics 2020-04-10 15:47:04 +0200
• 4166ae97a2
  Update grin/src/Transformations/ExtendedSyntax/Conversion.hs 32-simplify-aspats-2 Peter Podlovics 2020-04-10 13:07:16 +0200
• 3551221b9d
  update backers [skip ci] Csaba Hruska 2020-04-08 22:17:09 +0200
• 4144f5d7d8 ES: fix travis script anabra 2020-04-06 01:33:49 +0200
• 10a63771eb ES: fix some regressions anabra 2020-04-06 01:30:34 +0200
• 02e7c483ca ES: with-externals is the default pretty printing anabra 2020-04-06 01:29:29 +0200
• 40c5946b69 ES: remove indented new lines from primop printing anabra 2020-04-06 01:01:19 +0200
• 2a488814b4 ES: merge Lint fixes anabra 2020-04-06 00:23:37 +0200
• 0ea1554d6f Merge branch 'master' into 32-test-merge-with-master-2 anabra 2020-04-06 00:08:12 +0200
• 43ea82fa32 ES: redirect E2E tests input directory anabra 2020-04-05 23:40:15 +0200
• aa016884d5 ES: readd .grin instead of .grin-x anabra 2020-03-29 22:44:18 +0200
• 414e58af7e ES: add c11 idris tests anabra 2020-03-29 22:42:09 +0200
• 34d1329a99 ES: add c10 idris tests anabra 2020-03-29 22:42:01 +0200
• 1a7bc073fe ES: add c09 idris tests anabra 2020-03-29 22:41:52 +0200
• ffd4fa5507 ES: add c08 idris tests anabra 2020-03-29 22:36:26 +0200
• b6ebea7bb9 ES: add c07 idris tests anabra 2020-03-29 22:35:20 +0200
• 7107c77f7c ES: add c06 idris tests anabra 2020-03-29 22:31:13 +0200
• 981cc45b75 ES: add c03 idris tests anabra 2020-03-29 22:29:12 +0200
• 285db00d9e ES: add c02 idris tests anabra 2020-03-29 22:24:53 +0200
• eaed3ac0d8 ES: add c01 idris tests anabra 2020-03-29 21:46:38 +0200
• 246f21105b ES: add minor fix for external handling anabra 2020-03-29 21:43:29 +0200
• 574947c2d7 ES: merged external printing fix anabra 2020-03-29 21:37:54 +0200
• 478daf8c4e ES: add c11/09 idris test anabra 2020-03-29 18:27:11 +0200
• 0f3c59c28d ES: switch to with-external printing option for --save-grin anabra 2020-03-29 18:24:04 +0200
• 136373a9c9 ES: merge __runtime_error hotfix anabra 2020-03-29 18:13:15 +0200
• a7e6a5b245 ES: moved CLI to ES anabra 2020-03-22 22:01:07 +0100
• c05b5750b1 ES: fixed IDDE test-data anabra 2020-03-22 19:36:22 +0100
• 06f99fc925 ES: fixed IDPE test data anabra 2020-03-22 19:30:11 +0100
• d0c1a1230d
  Merge pull request #81 from grin-compiler/32-ES-to-master Peter Podlovics 2020-03-22 13:52:03 +0100
• 086387db71
  update backers [skip ci] Csaba Hruska 2020-03-13 13:56:26 +0100
• 02a7b7360e
  fix typo in backers list [skip ci] Csaba Hruska 2020-03-12 10:10:20 +0100
• 93e0f3b0cf
  update backers [skip ci] Csaba Hruska 2020-03-12 10:08:30 +0100
• 6c466ef8e0
  adjust supporters section [skip ci] Csaba Hruska 2020-03-10 22:43:25 +0100
• eb40a69827
  update patreon section [skip ci] Csaba Hruska 2020-03-10 22:40:30 +0100
• ff45be9bca
  update backers list [skip ci] Csaba Hruska 2020-03-10 22:20:02 +0100
• 75907c84a9 ES: modified test-data-es file names anabra 2020-03-08 11:37:34 +0100
• f65da6c57c ES: updated E2E tests anabra 2020-03-08 10:41:11 +0100
• c35524ca73 ES: added E2E tests anabra 2020-03-08 10:36:15 +0100
• 94caa1d899 ES: updated Reducer.PureSpec anabra 2020-03-08 10:19:03 +0100
• 940d902098 ES: updated Reducer.Pure anabra 2020-03-04 00:36:11 +0100
• 73efa67bd8 ES: update Reducer.Base anabra 2020-03-04 00:06:24 +0100