Default Branch

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

ZIP  TAR.GZ

Branches

andorp/datalog dbb1c35695 · write out souffle-hpt result to file along with the input program in the new syntax · Updated 2021-12-24 00:13:01 +03:00	60 16		ZIP  TAR.GZ
32-extended-syntax aa1f07d6ec · Merge pull request #118 from grin-compiler/32-test-merge-with-master-2 · Updated 2020-11-15 02:36:29 +03:00	71 242		ZIP  TAR.GZ
32-test-merge-with-master-2 a918f6ea39 · Revert "temporarily remove building/testing from travis " · Updated 2020-11-15 01:14:09 +03:00	71 195		ZIP  TAR.GZ
32-reducer-sync 42f9db1b24 · Remove TODO · Updated 2020-08-18 00:19:04 +03:00	191 116		ZIP  TAR.GZ
32-renamings dcf387ed07 · Merge branch '32-extended-syntax' into 32-renamings · Updated 2020-06-10 00:39:30 +03:00	179 82		ZIP  TAR.GZ
32-trf-sync fe2fbd538d · Merge branch '32-extended-syntax' into 32-trf-sync · Updated 2020-05-10 18:59:45 +03:00	180 113		ZIP  TAR.GZ
32-trf-dfe 3883dbafe9 · Merge branch '32-extended-syntax' into 32-trf-dfe · Updated 2020-04-28 23:41:43 +03:00	180 95		ZIP  TAR.GZ
32-trf-dpe bd640c00f5 · Merge branch '32-extended-syntax' into 32-trf-dpe · Updated 2020-04-28 23:39:41 +03:00	180 90		ZIP  TAR.GZ
andorp/def-intr 300485deba · Merge branch 'master' into andorp/def-intr · Updated 2020-04-28 23:33:14 +03:00	62 0	Included	ZIP  TAR.GZ
32-trf-case-copy-propagation 3e9d109f21 · Revert "ES: Minor refactor in CaseHoisting" · Updated 2020-04-20 02:38:32 +03:00	180 63		ZIP  TAR.GZ
32-trf-non-shared-elim-2 fea0572238 · Merge branch '32-extended-syntax' into 32-trf-non-shared-elim-2 · Updated 2020-04-20 02:10:48 +03:00	180 56		ZIP  TAR.GZ
32-trf-sdve caa639e6c6 · Merge branch '32-extended-syntax' into 32-trf-sdve · Updated 2020-04-20 02:06:04 +03:00	180 51		ZIP  TAR.GZ
32-trf-sdpe 3a5efb9a68 · Merge branch '32-extended-syntax' into 32-trf-sdpe · Updated 2020-04-20 02:03:21 +03:00	180 45		ZIP  TAR.GZ
32-trf-case-hoisting 9bfc107441 · Merge branch '32-extended-syntax' into 32-trf-case-hoisting · Updated 2020-04-20 02:01:16 +03:00	180 38		ZIP  TAR.GZ
32-trf-inlining c6bddad35a · Merge branch '32-extended-syntax' into 32-trf-inlining · Updated 2020-04-19 17:56:40 +03:00	180 32		ZIP  TAR.GZ
32-trf-gub 4ef6132edc · Merge branch '32-extended-syntax' into 32-trf-gub · Updated 2020-04-19 17:55:14 +03:00	180 28		ZIP  TAR.GZ
32-trf-sdfe 687ef8f5f3 · Merge branch '32-extended-syntax' into 32-trf-sdfe · Updated 2020-04-19 17:45:11 +03:00	180 10		ZIP  TAR.GZ
32-trf-const-propagation-2 a9a92bb0f0 · Remove outdated comments · Updated 2020-04-19 17:40:49 +03:00	193 7		ZIP  TAR.GZ
32-simplify-aspats-2 4166ae97a2 · Update grin/src/Transformations/ExtendedSyntax/Conversion.hs · Updated 2020-04-10 14:07:16 +03:00	191 1		ZIP  TAR.GZ
32-ES-to-master 0974c35cfc · Merge branch 'master' into 32-ES-to-master · Updated 2020-03-04 01:04:08 +03:00	78 0	Included	ZIP  TAR.GZ