Default Branch

483112f170 · update backers [skip ci] · Updated 2023-04-28 17:15:23 +03:00

Branches

bc14718a50 · Merge pull request #79 from grin-compiler/andorp/lint-subtype-impr · Updated 2020-03-04 00:40:52 +03:00

306
0
Included

1ca97915b7 · Update grin/src/Grin/Lint.hs · Updated 2020-03-03 23:16:53 +03:00

308
0
Included

42408b5a4d · ES: BN is run after transfromations in random pipeline · Updated 2020-03-03 22:47:13 +03:00

191
150

ef24839c69 · Merge branch '32-extended-syntax' into 32-trf-copy-propagation-2 · Updated 2020-03-02 18:52:27 +03:00

198
0
Included

66ddb3ccf7 · ES: now BN runs before CBy · Updated 2020-03-01 04:20:26 +03:00

98
148

16123dea47 · ES: now GenEval valueName -> altName · Updated 2020-02-28 02:31:46 +03:00

191
81

beed24a7f2 · Merge branch '32-reducer-llvm' into 32-reducer-sync-2 · Updated 2020-02-27 18:56:18 +03:00

191
114

355791dfc0 · ES: now GenEval valueName -> altName · Updated 2020-02-27 18:36:22 +03:00

191
2

bd290e5f8e · ES: updated SumListSpec to new syntax · Updated 2020-02-17 18:18:07 +03:00

191
126

d8480f7a9f · ES: TEMP fix in PrimOpsSpec · Updated 2020-02-17 03:34:24 +03:00

191
82

f4f2ac5695 · ES: another sharing analyis bugfix · Updated 2020-02-16 19:17:50 +03:00

191
84

a5e535ca51 · ES: extened Reducer/LLVM/CodeGen · Updated 2020-02-16 01:56:55 +03:00

191
86

4b2ea5d900 · ES: added LLVM JIT · Updated 2020-02-13 00:23:00 +03:00

191
94

5e2a39bd15 · #76: Rename to --continue-on-failed-lint · Updated 2020-02-12 22:01:14 +03:00

315
0
Included

10f9ebc4a0 · Merge branch '32-extended-syntax' into 32-trf-cse-2 · Updated 2020-02-12 19:34:04 +03:00

215
0
Included

963a4d3380 · Eval statistics. · Updated 2020-02-11 00:09:14 +03:00

319
0
Included

9f682a9688 · ES: added more tests to LVA · Updated 2020-02-01 20:43:45 +03:00

191
14

db9b2162b3 · ES: change as-pat semantics in LVA · Updated 2020-02-01 04:29:15 +03:00

191
5

7e2bf89064 · ES: is DVE no longer needed? · Updated 2020-01-29 16:25:06 +03:00

191
7

aaa0608187 · ES: ArityRaising tests · Updated 2020-01-28 21:53:13 +03:00

191
3