14 Commits

Author	SHA1	Message	Date
Anders Christiansen Sørby	caad0ba0b3	Update .gitignore	2021-05-06 17:57:02 +02:00
Hugh Sipiere	d2d8b9c82f	Fix set1 parsing and ignore HIE yaml	2020-05-24 14:37:59 +01:00
Luc Tielen	08e0bd3567	Add more files to gitignore	2019-12-08 17:19:56 +01:00
Luc Tielen	044f8643cb	Add end2end test output to gitignore	2019-12-08 11:52:14 +01:00
Andor Penzes	c403598d77	Compiler test: check against user defined output filenames.	2019-07-26 04:26:14 +02:00
Andor Penzes	d95f5e09e0	Compiler test: expected files can be any text file.	2019-07-26 03:36:50 +02:00
anabra	0a2c0aedd9	Updated gitignote	2019-06-23 13:59:35 +01:00
Anabra	adaefab92f	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 15:30:37 +01:00
Anabra	3711138a8f	Reverted back to old arity raising ... The corresponding test case passes this way.	2018-11-25 01:07:57 +01:00
Philipp Hausmann	63822ef9cd	WIP: Agda backend prototype	2018-06-09 15:43:32 +02:00
Andor Penzes	cb5839c801	Create frontend-test directory.	2018-04-14 17:15:39 +02:00
Csaba Hruska	6e51acbd3a	some work on extend HPT to infer LLVM types	2018-01-08 18:25:51 +01:00
Andor Penzes	a54807c457	Output directory.	2017-12-06 00:50:47 +01:00
Andor Penzes	9861a5dc6b	Initial commit	2017-06-23 22:18:06 +02:00