620 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Felipe G	b1e25cef22	Merge pull request #439 from Kindelia/experimental ... Experimental	2022-12-15 15:22:13 -03:00
felipegchi	90c920d4e4	tests: fix tests	2022-12-15 15:19:02 -03:00
felipegchi	917de25230	fix: fixed bug with no coverage showing twice	2022-12-15 14:39:49 -03:00
Felipe G	57d7631df8	Merge pull request #438 from Kindelia/experimental ... fix: problem with duplication of arity error message	2022-12-15 14:38:53 -03:00
felipegchi	35f3f0000f	fix: bug with ampersand operator	2022-12-13 09:06:18 -03:00
felipegchi	ccba3b507c	fix: problem with duplication of arity error message	2022-12-12 13:37:37 -03:00
Felipe G	677bb4f206	Merge pull request #436 from Kindelia/experimental ... Fixed comments	2022-12-05 11:06:14 -03:00
felipegchi	16d320a0dd	bump: bumped patch version	2022-12-05 10:57:12 -03:00
felipegchi	d4d8684f8c	fix: parsing of comments	2022-12-05 10:55:50 -03:00
Felipe G	2a4fda284c	Merge pull request #435 from Kindelia/experimental ... fix: problem with u60 term in rule side and added Nat syntax sugar	2022-12-05 09:39:13 -03:00
felipegchi	4067027420	fix: problem with u60 term in rule side and added Nat syntax sugar	2022-12-05 09:27:09 -03:00
Felipe G	ec94c208d4	Merge pull request #434 from Kindelia/experimental ... Dependencies between record fields	2022-12-02 18:29:06 -03:00
felipegchi	4056ecaa66	fix: problems with dependency of record fields	2022-12-02 13:45:29 -03:00
felipegchi	94e979e3d3	tests: added erasure tests	2022-12-02 13:28:41 -03:00
Felipe G	f7caea6652	Merge pull request #433 from Kindelia/experimental ... fix: fixed problems with match deriver reaching a unreachable place a…	2022-12-02 11:40:00 -03:00
felipegchi	7b9c711b1a	fix: fixed problems with match deriver reaching a unreachable place and erasure not erasing lambdas/apps	2022-12-02 11:16:01 -03:00
Felipe G	eecbfca540	Merge pull request #432 from Kindelia/experimental ... fix: updated hvm to fix the problem	2022-12-01 18:17:44 -03:00
felipegchi	46fdf753c4	fix: updated hvm to fix the problem	2022-12-01 18:16:33 -03:00
Felipe G	8ec30579ca	Merge pull request #431 from Kindelia/experimental ... Fixed string problems	2022-12-01 17:11:02 -03:00
felipegchi	aa27e4aff7	feat: bumped version	2022-12-01 17:09:32 -03:00
felipegchi	3701e43ff8	test: added test to fix string	2022-12-01 17:05:17 -03:00
felipegchi	6724c8dff3	fix: string cons and nil are called when string is required	2022-12-01 16:58:33 -03:00
Felipe G	cdd08026d6	Merge pull request #430 from Kindelia/experimental ... Added test for an issue	2022-12-01 16:44:37 -03:00
felipegchi	ff900370f8	fix: fixed test	2022-12-01 14:55:51 -03:00
felipegchi	fa0d1b743b	fix: changed checker.hvm construtor from Term.u60 to Term.U60 and Term.num to Term.u60	2022-12-01 14:54:08 -03:00
Felipe G	a25a1a0e8d	Merge pull request #429 from Kindelia/experimental ... Fixed README and kind binary	2022-12-01 11:35:26 -03:00
felipegchi	53f82b4f66	fix: readme and added rust-toolchain	2022-12-01 11:33:54 -03:00
felipegchi	023369a1c8	fix: fixed binary name in kind-cli	2022-12-01 11:27:33 -03:00
Felipe G	da2b235448	Merge pull request #407 from Kindelia/experimental ... New architecture for the compiler	2022-12-01 11:27:09 -03:00
felipegchi	a92495f6f0	fix: changed to tids=1 in the type checker because snooze is causing some problems in HVM	2022-12-01 11:24:42 -03:00
felipegchi	297752fb0a	chore: bench for gen-checker	2022-12-01 11:17:45 -03:00
felipegchi	4a94d211d4	fix: to-hvm was throwing an error	2022-12-01 09:47:19 -03:00
felipegchi	b4e6bd8bad	chore: fixed workflow	2022-11-30 14:22:39 -03:00
Felipe G	20f1cc43ff	Merge pull request #428 from developedby/experimental ... feat: Undo native U1120, partially add F60, refactor	2022-11-30 13:57:37 -03:00
Nicolas Abril	8614962426	Merge remote-tracking branch 'origin/experimental' into experimental	2022-11-30 17:56:11 +01:00
Nicolas Abril	2a2018ac8f	Fix kdl tests	2022-11-30 17:48:51 +01:00
felipegchi	e593b5dfdc	merge: with main	2022-11-30 13:44:20 -03:00
Nicolas Abril	b06dd3f64e	Fix kdl var linearization test	2022-11-30 17:44:02 +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	bd26cf3ce7	fix: change guide URLs	2022-11-29 13:57:46 -03:00
felipegchi	df27bb8190	tests: added tons of tests for kdl	2022-11-29 13:45:33 -03:00
felipegchi	6844cc2735	feat: added getter and setter derivings	2022-11-29 13:19:56 -03:00
felipegchi	b7b15e7590	fix: bug fixes and improvements in the code style	2022-11-29 11:23:34 -03:00