620 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Nicolas Abril	3e216f2899	feat: Undo native U1120, partially add F60, refactor	2022-11-28 21:37:55 +01:00
felipegchi	3aec490f39	refactor: moved tests folder	2022-11-28 14:49:49 -03: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
Felipe G	d7963982a0	Merge pull request #427 from developedby/experimental ... feat: Add kdl term linearization and numeric ops compilation	2022-11-28 11:08:59 -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
felipegchi	8d7321b11a	refactor: a lot of refactoring and implementation of flattening	2022-11-25 14:40:23 -03:00
Felipe G	6ffc7e686e	Merge pull request #426 from developedby/experimental ... feat: Add initial to-kdl compile function	2022-11-24 11:42:18 -03:00
Nicolas Abril	081d359958	Add initial to-kdl compile function	2022-11-24 15:26:26 +01:00
felipegchi	57cbe3a828	fix: fixed erasure	2022-11-24 11:01:41 -03:00
felipegchi	d1c536db01	fix: resolution of use expansions	2022-11-24 09:59:27 -03:00
felipegchi	523b8f2963	fix: erasure	2022-11-24 09:40:45 -03:00
felipegchi	ef4c8f34cd	fix: fixed token print and string desugar	2022-11-23 13:29:27 -03: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
felipegchi	c91d6a09e8	wip: upgraded to hvm splitted into multiple crates and fixed code style of some parts of the compiler	2022-11-22 09:56:06 -03:00
felipegchi	2c69eb3341	feat: started to make kind-query	2022-11-18 19:56:04 -03:00
felipegchi	58684b874b	fix: bug fixes in erasure	2022-11-18 08:52:27 -03:00
felipegchi	56f5d88d4f	fix: a lot of bug fixes	2022-11-17 14:38:10 -03:00
felipegchi	ba3aff95d6	fix: fixed char literals	2022-11-17 13:17:44 -03:00
felipegchi	bbe6c14cd6	fix: fixed some problems with attribute parsing	2022-11-17 10:40:41 -03:00
felipegchi	b7bc9e9f1f	feat: added attributes in order to derive match and open	2022-11-17 09:47:35 -03:00
felipegchi	f22d92da95	style: changed Diagnostic struct to a trait	2022-11-16 20:01:25 -03:00
felipegchi	16467dedce	fix: eval command	2022-11-16 11:37:11 -03:00
felipegchi	2f14cc1267	fix: some problems with name resolution	2022-11-16 11:14:29 -03:00
felipegchi	9714dad33c	fix: some problems with name resolution	2022-11-16 11:12:54 -03:00
felipegchi	86cea88be1	Merge branch 'experimental' of github.com:Kindelia/Kind2 into experimental	2022-11-15 18:52:35 -03:00
felipegchi	611b71382c	fix: small fixes and added tests	2022-11-15 18:49:58 -03:00
Felipe G	78428a7936	Merge pull request #421 from developedby/parse-u120-native2 ... fix: Fix formatting, extra comments, etc	2022-11-15 14:25:43 -03:00
Nicolas Abril	78203ef815	fix: Fix formatting, extra comments, etc	2022-11-15 18:18:21 +01:00
Felipe G	7ea18ae113	Merge pull request #420 from developedby/parse-u120-native ... feat: Add native u120 numbers	2022-11-15 14:09:24 -03:00
Nicolas Abril	2e41571966	feat: Add native u120 numbers	2022-11-15 18:06:58 +01:00
felipegchi	2c9285ab94	fix: some fixes and cargo fmt	2022-11-15 13:28:48 -03:00
Felipe G	02c9fb53ef	Merge pull request #419 from developedby/kdl-name-non-capital ... feat: Remove capitalized kdl name restriction	2022-11-15 08:43:36 -03:00
Felipe g	c7f9db59ba	refactor: started to refactor in order to make tests	2022-11-15 08:14:40 -03:00
Nicolas Abril	c3f5b3bdda	feat: Remove capitalized kdl name restriction	2022-11-15 10:03:11 +01:00
Felipe g	856343b1cf	fix: some fixes and added docs	2022-11-13 21:38:27 -03:00
Felipe g	b17046aa9d	fix: fixed bugs with resolution and erasure	2022-11-11 15:23:56 -03:00
Felipe g	a68a8a90b2	fix: bugs with match derivation	2022-11-11 09:41:50 -03:00
Felipe g	7c30696479	fix: problems with open and erasure of lambdas	2022-11-11 08:01:57 -03:00
Felipe g	c011978fab	feat: fixed erasure (wip app, pi and forall erasure)	2022-11-10 20:15:15 -03:00
Felipe G	dd0468c729	Merge pull request #414 from developedby/patch-1 ... fix: Remove copy/paste leftover in syntax.md	2022-11-10 13:50:44 -03:00
Nicolas Abril	a4ae8db8c3	fix: Remove copy/paste leftover in syntax.md	2022-11-10 17:49:53 +01:00
Felipe G	f68df12bd2	Merge pull request #411 from developedby/experimental ... feat: add u120 numbers to desugared tree	2022-11-10 12:29:06 -03:00
Nicolas Abril	32c8a6f2c2	Merge remote-tracking branch 'origin/experimental' into experimental	2022-11-10 16:27:50 +01:00