34 Commits

Author	SHA1	Message	Date
Sofia R	d184e30701	feat: another mode for compact error messages	2023-04-30 00:24:20 -03:00
Chiyoku	cfcb2a9bbb	build: bump version to 0.1.2	2023-04-02 13:28:53 -03:00
felipegchi	8986096d0b	merge: branch 'master' of github.com:Kindelia/Kind	2023-03-03 13:32:32 -03:00
felipegchi	207d7760fa	bump: bump HVM version to 1.0.3	2023-03-03 13:31:05 -03:00
felipegchi	be8b8aa1c7	fix: big names are erased now	2023-02-06 10:50:51 -03:00
felipegchi	bd0ca5ff6c	fix: dependencies in order to make it easier to put on crates.io	2023-01-27 08:50:02 -03:00
Felipe G	ddd3967f29	merge: fix deps (#487) ... Fix deps	2023-01-26 20:09:26 -03:00
felipegchi	e7b4ebc82b	fix: deps	2023-01-26 20:04:13 -03:00
felipegchi	0414340051	chore: added license	2023-01-16 10:56:06 -03:00
felipegchi	7c0fde0028	feat: simple coverage checker without indices :(	2023-01-06 10:34:30 -03:00
felipegchi	0e76c41b38	refactor: renamed all of the error.rs modules to diagnostic.rs (because it also includes warning messages)	2022-12-20 08:23:06 -03:00
Nicolas Abril	8614962426	Merge remote-tracking branch 'origin/experimental' into experimental	2022-11-30 17:56:11 +01:00
felipegchi	f54ebb901c	style: changed code style a little bit	2022-11-30 13:40:11 -03:00
Nicolas Abril	ae88843df0	Feat: Add U120.new compilation to kdl	2022-11-30 17:32:25 +01:00
Nicolas Abril	0f6cf15915	Merge remote-tracking branch 'refs/remotes/origin/experimental' into experimental	2022-11-30 16:31:47 +01:00
Nicolas Abril	f3e33792c2	Merge remote-tracking branch 'origin/experimental' into experimental	2022-11-30 16:13:03 +01:00
felipegchi	83165376bc	style: changed code style	2022-11-30 12:12:01 -03:00
Nicolas Abril	3030c0c6c3	Fix: fix kdl compilation of Lets, Apps and rule lhs	2022-11-30 15:58:04 +01:00
felipegchi	9f94818d41	style: added a lot of tests, benchmarks and fixed code style	2022-11-30 11:19:14 -03:00
Nicolas Abril	242f5324dc	Merge remote-tracking branch 'origin/experimental' into experimental	2022-11-30 14:37:54 +01:00
felipegchi	df27bb8190	tests: added tons of tests for kdl	2022-11-29 13:45:33 -03:00
felipegchi	b7b15e7590	fix: bug fixes and improvements in the code style	2022-11-29 11:23:34 -03:00
Nicolas Abril	3e216f2899	feat: Undo native U1120, partially add F60, refactor	2022-11-28 21:37:55 +01:00
felipegchi	4357ec0078	feat: simple inline	2022-11-28 14:24:28 -03:00
felipegchi	0b16e63eed	fix: some fixes	2022-11-28 11:29:25 -03:00
felipegchi	b5636ac6c0	fix: erasure checker	2022-11-28 11:09:34 -03:00
Nicolas Abril	767225031d	Fix: fix kdl compilation, some formatting	2022-11-26 21:50:32 +01:00
Nicolas Abril	7de1ff1808	feat: Add compilation of U120 functions and others in Kdl	2022-11-26 20:30:57 +01:00
Nicolas Abril	85bb2d0655	fix: Format and rename some things	2022-11-26 16:41:34 +01:00
Nicolas Abril	30611936cd	feat: Add kdl term linearization	2022-11-26 16:35:29 +01:00
felipegchi	42d8baf03d	refactor: a lot of refactoring and implementation of flattening	2022-11-25 14:41:07 -03:00
Nicolas Abril	081d359958	Add initial to-kdl compile function	2022-11-24 15:26:26 +01:00
felipegchi	6dd1bffae2	feat(all): a lot of features and changed to HVM2	2022-11-23 13:08:02 -03:00
felipegchi	b727dc3308	style: changed src to creates	2022-11-22 09:57:54 -03:00