grin/.gitignore

dist
dist-*
cabal-dev
*.s
*.ll
*.hi
*.chi
*.chs.h
*.dyn_o
*.dyn_hi
.hpc
.hsenv
.cabal-sandbox/
cabal.sandbox.config
*.prof
*.aux
*.hp
*.eventlog
.stack-work/
cabal.project.local
.HTF/
output/
*.ibc
*.agdai
.output
.grin-output/
.vscode/
Initial commit 2017-06-23 23:18:06 +03:00			`dist`
			`dist-*`
			`cabal-dev`
some work on extend HPT to infer LLVM types 2018-01-08 20:25:51 +03:00			`*.s`
			`*.ll`
Initial commit 2017-06-23 23:18:06 +03:00			`*.hi`
			`*.chi`
			`*.chs.h`
			`*.dyn_o`
			`*.dyn_hi`
			`.hpc`
			`.hsenv`
			`.cabal-sandbox/`
			`cabal.sandbox.config`
			`*.prof`
			`*.aux`
			`*.hp`
			`*.eventlog`
			`.stack-work/`
			`cabal.project.local`
			`.HTF/`
Output directory. 2017-12-06 02:50:47 +03:00			`output/`
Create frontend-test directory. 2018-04-14 18:15:26 +03:00			`*.ibc`
WIP: Agda backend prototype 2018-06-09 16:42:51 +03:00			`*.agdai`
Reverted back to old arity raising The corresponding test case passes this way. 2018-11-25 03:07:57 +03:00			`.output`
Fixed bug in dead code elimination Now producer name introduction introduces new variables for fetch-binding left-hand sides. This change fixes a bug in DVE and DDE where these transformations did not handle fetch-bindings correctly. 2018-11-25 17:14:29 +03:00			`.grin-output/`
Updated gitignote 2019-05-30 23:57:58 +03:00			`.vscode/`