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

• d6a96331da
  Merge e03c73c926 into 483112f170 Peter Podlovics 2023-12-30 23:47:10 +0100
• 8905554b8c
  Merge 7a663a9f18 into 483112f170 Owen Shepherd 2023-04-30 03:18:33 -0700
• 483112f170
  update backers [skip ci] master Csaba Hruska 2023-04-28 16:15:23 +0200
• 0308b40c37
  update backers [skip ci] Csaba Hruska 2022-10-07 00:18:00 +0200
• 2752657ae8
  update backers [skip ci] Csaba Hruska 2022-04-06 12:10:46 +0200
• 4b68b84883
  Merge pull request #130 from Z-snails/ffi-libs Csaba Hruska 2022-01-15 14:29:09 +0100
• 8ac99ab4a7 Fix ffi linking for primops in interpreter Zoe Stafford 2022-01-15 11:46:03 +0000
• 7a663a9f18
  Update llvm-hs repo in stack.yaml Owen Shepherd 2022-01-13 00:36:19 +0000
• 6cee1f3903
  use updated llvm-hs Owen Shepherd 2022-01-12 22:16:17 +0000
• 0319a07967
  Use Data.Fix Owen Shepherd 2022-01-12 19:37:17 +0000
• 4961f3a1b7
  Remove functor-infix Owen Shepherd 2022-01-12 18:22:00 +0000
• 0ca894f9b2
  update backers [skip ci] Csaba Hruska 2022-01-08 09:36:38 +0100
• 6a60a4b953
  update backers [skip ci] Csaba Hruska 2021-12-31 15:53:30 +0100
• dbb1c35695 write out souffle-hpt result to file along with the input program in the new syntax andorp/datalog Csaba Hruska 2021-12-23 22:13:01 +0100
• fdd9158322 write out datalog facts ; track node arity Csaba Hruska 2021-12-23 22:12:17 +0100
• 2a8c57c8d5 use souffle-haskell-2.1.0 Csaba Hruska 2021-12-23 17:01:37 +0100
• d5561cbf14 port to souffle-haskell 2.1.0 Csaba Hruska 2021-12-23 17:00:41 +0100
• 00b6cc1e54 fix grin extended syntax (datalog ready) converter to handle single applications correctly Csaba Hruska 2021-12-23 16:58:42 +0100
• b885c38acf
  update backers [skip ci] Csaba Hruska 2021-12-03 13:27:53 +0100
• 572fc24b2a
  Merge pull request #127 from Z-snails/ffi-libs Csaba Hruska 2021-11-27 14:53:45 +0100
• 0ac74dc2da Allow specifying the library an ffi function comes from Zoe Stafford 2021-11-18 17:46:18 +0000
• d3d887f9c2
  update backers [skip ci] Csaba Hruska 2021-10-17 16:35:49 +0200
• 2882d3f6c2
  update backers [skip ci] Csaba Hruska 2021-09-24 19:36:34 +0200
• 3fd127a034
  Merge pull request #126 from Z-snails/libffi Csaba Hruska 2021-09-01 12:33:41 +0200
• ef6649f73d Add libffi support to interpreter This allows ffi functions to be run when interpreted Zoe Stafford 2021-08-31 17:23:18 +0100
• 27c05124d6
  Merge pull request #124 from Z-snails/primop-error Csaba Hruska 2021-08-16 13:42:17 +0200
• 5ca5e5dc82 More informative error message for missing primop Zoe Stafford 2021-08-15 16:23:08 +0100
• 07122f9b9f fix typo Csaba Hruska 2021-08-10 16:15:59 +0200
• e27f901f29 add 'with-llvm-hs' cabal flag to make native llvm lib dependency optional Csaba Hruska 2021-08-10 16:04:30 +0200
• 5eadad517a
  Merge bde39ac5d6 into 6141719efc Andor Penzes 2021-07-02 13:16:38 -0700
• 6141719efc
  update backers [skip ci] Csaba Hruska 2021-07-01 09:01:43 +0200
• 2135fe545d
  Merge pull request #121 from Z-snails/fix-arity-raising Andor Penzes 2021-05-28 11:46:18 +0100
• 6de88bc9a9 Don't arity raise or unbox grinMain It never has arguments so this makes no difference and these transforms mess with the name Zoe Stafford 2021-05-24 10:52:19 +0100
• 280dfeb024
  update backers [skip ci] Csaba Hruska 2021-05-16 11:10:31 +0200
• 38aa2cd047
  update backers [skip ci] Csaba Hruska 2021-05-10 10:25:55 +0200
• f5de24d041
  Merge pull request #120 from yatima-inc/master Csaba Hruska 2021-05-07 19:07:32 +0200
• c47f9dd2f1
  Move shell env Anders Christiansen Sørby 2021-05-07 17:32:52 +0200
• 795220ac34
  Merge pull request #2 from yatima-inc/acs/fix-nix-build Anders Christiansen Sørby 2021-05-07 15:57:40 +0200
• 97ab3fa072
  Fix nix run Anders Christiansen Sørby 2021-05-07 15:56:18 +0200
• 532f29a852
  Fix flake.nix Anders Christiansen Sørby 2021-05-07 15:38:56 +0200
• cc616f33e7 Merge branch 'grin-compiler:master' into master Anders Christiansen Sørby 2021-05-07 10:40:21 +0200
• b469a69011
  Merge pull request #119 from yatima-inc/acs/fix-nix-build Csaba Hruska 2021-05-07 10:10:55 +0200
• 3a9697f96c
  Merge pull request #1 from yatima-inc/acs/fix-nix-build Anders Christiansen Sørby 2021-05-06 21:55:05 +0200
• ea5b5ef121
  Fix nix shell Anders Christiansen Sørby 2021-05-06 21:49:09 +0200
• caad0ba0b3
  Update .gitignore Anders Christiansen Sørby 2021-05-06 17:57:02 +0200
• 538576de20
  Almost functional nix build Anders Christiansen Sørby 2021-05-06 15:05:43 +0200
• 4de5a7a411
  update backers [skip ci] Csaba Hruska 2021-04-18 14:05:40 +0200
• 44ac295881
  update backers [skip ci] Csaba Hruska 2021-04-15 09:22:26 +0200
• 99f4a27c57
  update backers [skip ci] Csaba Hruska 2021-04-11 14:28:26 +0200
• 2b164f340d
  update readme [skipci] Csaba Hruska 2021-03-31 23:03:54 +0200
• 09885bef9a
  update backers [skip ci] Csaba Hruska 2021-03-20 13:43:03 +0100
• 58ddf5c4d5
  update backers [skip ci] Csaba Hruska 2021-03-07 11:44:06 +0100
• c9a6f78f79
  update backers [skip ci] Csaba Hruska 2021-02-25 14:04:36 +0100
• aa781990d8
  update backers [skip ci] Csaba Hruska 2021-02-13 13:55:00 +0100
• 91a9c98ee3
  update backers [skip ci] Csaba Hruska 2021-01-26 01:59:04 +0100
• 6cfbd018f7
  add year [skip ci] Csaba Hruska 2021-01-16 13:27:13 +0100
• 68262a3c4e
  add talk [skip ci] Csaba Hruska 2021-01-16 13:24:46 +0100
• 31a65ff57e
  update backers [skip ci] Csaba Hruska 2021-01-11 00:46:17 +0100
• f43610827e
  update backers [skip ci] Csaba Hruska 2020-12-28 14:15:53 +0100
• d479e2a6f1
  update backers [skip ci] Csaba Hruska 2020-12-15 14:51:26 +0100
• aa1f07d6ec
  Merge pull request #118 from grin-compiler/32-test-merge-with-master-2 32-extended-syntax Peter Podlovics 2020-11-15 00:36:29 +0100
• a918f6ea39 Revert "temporarily remove building/testing from travis " 32-test-merge-with-master-2 anabra 2020-11-14 23:14:09 +0100
• 1ef4a21ec4
  temporarily remove building/testing from travis Peter Podlovics 2020-11-14 22:38:08 +0100
• ca7cb6133c
  Merge pull request #117 from grin-compiler/32-bugfixes Peter Podlovics 2020-11-14 11:42:45 +0100
• 5144b632af
  Merge pull request #116 from grin-compiler/32-pipeline Peter Podlovics 2020-11-14 02:03:16 +0100
• aa8e5df527
  update backers [skip ci] Csaba Hruska 2020-10-02 12:14:38 +0200
• c5fa49b415
  update backers [skip ci] Csaba Hruska 2020-09-11 18:57:37 +0200
• 2442c5b17d
  update backers [skip ci] Csaba Hruska 2020-09-08 16:47:17 +0200
• f7a7ad2cc7
  update backers [skip ci] Csaba Hruska 2020-09-01 09:00:22 +0200
• b412ff95df
  Merge pull request #112 from grin-compiler/32-reducer-sync Peter Podlovics 2020-08-31 10:34:09 +0200
• 42f9db1b24 Remove TODO 32-reducer-sync Peter Podlovics 2020-08-17 23:19:04 +0200
• 9af51d2079
  update backers [skip ci] Csaba Hruska 2020-07-21 14:06:28 +0200
• f7b79bb2be
  update sponsor list [skip ci] Csaba Hruska 2020-07-21 14:00:26 +0200
• 310fdc3a18
  Merge pull request #114 from Grinshpon/patch-1 Csaba Hruska 2020-06-30 09:42:25 +0200
• 2afb660b5f
  Update README.md Daniel Grinshpon 2020-06-29 19:47:50 -0400
• 891eede962 Merge branch '32-renamings' into 32-extended-syntax anabra 2020-06-10 01:43:12 +0200
• dcf387ed07 Merge branch '32-extended-syntax' into 32-renamings 32-renamings anabra 2020-06-09 23:39:30 +0200
• 671aec358f
  Merge pull request #105 from grin-compiler/32-reducer-llvm Peter Podlovics 2020-06-09 23:12:58 +0200
• e51f239d07
  Merge pull request #104 from grin-compiler/32-reducer Peter Podlovics 2020-06-09 23:10:08 +0200
• e33b7b71c2
  Merge pull request #103 from grin-compiler/32-sharing-fix Peter Podlovics 2020-06-09 23:09:05 +0200
• 7d48fca617
  Merge pull request #107 from grin-compiler/32-primops-test-spec Peter Podlovics 2020-06-09 23:00:49 +0200
• 7db1d2b0c7
  update backers [skip ci] Csaba Hruska 2020-06-05 16:02:12 +0200
• f957e715a9
  Merge pull request #110 from hgsipiere/master Andor Penzes 2020-05-28 22:12:30 +0200
• d2d8b9c82f Fix set1 parsing and ignore HIE yaml Hugh Sipiere 2020-05-24 14:19:37 +0100
• b795014ba0
  update backers [skip ci] Csaba Hruska 2020-05-21 11:12:54 +0200
• bde39ac5d6 Rename Datalog.hs to SouffleHPT.hs Andor Penzes 2020-05-11 23:51:47 +0200
• 85d54d1114 Some comments. Andor Penzes 2020-05-11 21:24:47 +0200
• 072886c55b Datalog HPT Fix variable abstract location lookup. Andor Penzes 2020-05-11 20:37:25 +0200
• b79b3a714d Fix normalisation on short programs. Andor Penzes 2020-05-11 20:07:09 +0200
• f57ca41529 Fix test suite after PipelineConfig change. Andor Penzes 2020-05-11 20:06:01 +0200
• 57dc5559de Merge branch 'master' into andorp/datalog Andor Penzes 2020-05-10 21:49:51 +0200
• ce39913b26 Datalog: Remove previous locations. Andor Penzes 2020-05-10 21:03:14 +0200
• 1dc783df46 Datalog: Move datalog files around, use data-files. Andor Penzes 2020-05-10 21:01:19 +0200
• d4dd1c9320
  Merge pull request #102 from grin-compiler/32-trf-sync Peter Podlovics 2020-05-10 19:19:53 +0200
• fe2fbd538d
  Merge branch '32-extended-syntax' into 32-trf-sync 32-trf-sync Peter Podlovics 2020-05-10 17:59:45 +0200
• 025ce62a06
  Merge pull request #101 from grin-compiler/andorp/def-intr Andor Penzes 2020-05-10 14:51:27 +0200
• 055b2cfc8d
  Merge 0aa77a612d into a9e75ba6e7 Anthony Cerruti 2020-05-07 22:14:44 +0000
• 7f12b5e333 Datalog: Create HPTResult from souffle output. Andor Penzes 2020-05-06 23:18:50 +0200
• bc8f9d3e73 Run Souffle HPT Andor Penzes 2020-05-01 23:19:16 +0200
• a9e75ba6e7
  update backers [skip ci] Csaba Hruska 2020-04-30 23:55:55 +0200