383 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Nicolas Abril	b9f8124ef7	Switch kindelia name to an attribute	2022-10-01 19:52:58 +02:00
Victor Maia	959914a6b3	Inc version	2022-09-30 11:58:08 -03:00
Victor Maia	c40fb4eb11	Merge branch 'master' of github.com:kindelia/kind2	2022-09-30 11:57:59 -03:00
Felipe g	2c6bb724fd	Fix tests	2022-09-30 10:08:37 -03:00
Felipe g	ab77205405	Fix error mesasge	2022-09-30 10:08:37 -03:00
Felipe g	49063557e7	Add target	2022-09-30 10:08:31 -03:00
Felipe g	b12c7db5d5	Style cargo clippy	2022-09-30 10:07:42 -03:00
Felipe g	d0513e2cdd	Removed file	2022-09-30 10:07:40 -03:00
Felipe g	3dfdc03765	Fix conflicts	2022-09-30 10:07:19 -03:00
Felipe G	224fcde905	Merge pull request #391 from felipegchi/use-namespaces ... Added parsing and resolution of names	2022-09-30 10:03:11 -03:00
Felipe g	f5e683266a	Added parsing and resolution of names	2022-09-29 14:58:46 -03:00
Felipe G	30b9ee5ca9	Merge pull request #390 from felipegchi/record-fix ... Fix record	2022-09-28 14:56:52 -03:00
Felipe g	a720d1b976	Fix record	2022-09-28 14:56:32 -03:00
Felipe G	5b3bcdf318	Merge pull request #388 from felipegchi/record-types ... Record types	2022-09-28 12:56:03 -03:00
Felipe g	773b33b4e1	Fix tests	2022-09-28 12:55:49 -03:00
Felipe G	5ee00e2c33	Merge pull request #385 from developedby/ns-option ... Add option to use namespace on kdl compilation	2022-09-28 12:52:57 -03:00
Felipe g	678258d296	Fix ope	2022-09-28 12:51:41 -03:00
Felipe g	7fbe7a3014	Added open statements	2022-09-28 12:24:10 -03:00
Nicolas Abril	a07e8e584e	Add option to use namespace on kdl compilation	2022-09-27 21:06:34 +02:00
Felipe g	767831a86a	Added record type derivation	2022-09-27 15:00:57 -03:00
Felipe g	3ec16e935a	Refactor to make it easier to add new derivations	2022-09-27 13:13:16 -03:00
Felipe G	628cb75ed3	Merge pull request #387 from felipegchi/hole-fix ... Added better rules for holes	2022-09-27 11:44:45 -03:00
Felipe G	0e4c6dc7f2	Merge pull request #386 from felipegchi/fix-tests-2 ... Fix tests	2022-09-27 11:38:50 -03:00
Felipe g	3b6a4b6b62	Fix tests	2022-09-27 11:27:46 -03:00
Felipe g	dcc12b9711	Added better rules for holes	2022-09-27 11:14:18 -03:00
Felipe G	a2bb3a51f5	Merge pull request #384 from felipegchi/fix-config ... Fix small issues and configuration	2022-09-27 10:39:11 -03:00
Felipe G	76a5efd1b8	Merge pull request #383 from developedby/kdl-run-last ... Put run blocks at the end of compiled kdl programs	2022-09-27 10:38:40 -03:00
Felipe G	37cb888973	Merge pull request #382 from developedby/kdl-dflt-ns ... Always deploy functions to the default namespace by default	2022-09-27 10:37:07 -03:00
Felipe g	aa1e6bb3cf	Added location of error	2022-09-27 10:35:43 -03:00
Nicolas Abril	2f63179a3c	Fix to-kdl tests	2022-09-26 19:43:22 +02:00
Nicolas Abril	c33aac8339	Always deploy functions to the default namespace by default	2022-09-26 19:43:00 +02:00
Felipe g	e8ce58bd07	Small fixes	2022-09-26 14:20:50 -03:00
Nicolas Abril	b1dfe8d9ee	Put run blocks at the end of compiled kdl programs	2022-09-26 18:50:10 +02:00
Felipe g	f647b5e390	Fix config inside adjust	2022-09-26 13:08:08 -03:00
Felipe G	0a7bcae860	Merge pull request #381 from felipegchi/fix-syntax-tests ... Fix do notation test	2022-09-26 12:55:24 -03:00
Felipe g	9f4299807b	Fix test	2022-09-26 12:53:30 -03:00
Felipe G	338fad0a57	Merge pull request #375 from Kindelia/fix-syntax ... Fix monadic syntax return	2022-09-26 12:43:43 -03:00
Felipe G	b7f07d6f20	Merge pull request #380 from Kindelia/multiple-errors ... Now kdl compilation accumulates errors of maximum length	2022-09-26 12:43:33 -03:00
Felipe G	ac55772602	Merge pull request #379 from developedby/genesis-fns ... Don't compile kdl functions in the genesis block	2022-09-26 12:38:31 -03:00
Nicolas Abril	599ddf1ea6	Don't compile kdl functions in the genesis block	2022-09-26 17:33:22 +02:00
Nicolas Abril	bbce161ff1	Make to-kdl code slightly more readable	2022-09-26 17:32:38 +02:00
Felipe g	7e3008d24d	Now kdl compilation accumulates errors of maximum length	2022-09-26 11:55:13 -03:00
Felipe G	377af111e2	Merge pull request #378 from Kindelia/fix-tests ... Removed useless line in ci	2022-09-26 11:11:33 -03:00
Felipe g	075c1c0dc3	Removed useless line in ci	2022-09-26 11:09:39 -03:00
Felipe G	c0bd35cc00	Merge pull request #377 from Kindelia/fix-tests ... Added timeout in everything	2022-09-26 11:07:38 -03:00
Felipe g	dd7b02f939	Added timeout in everything	2022-09-26 11:06:24 -03:00
Felipe g	fd0d77a791	Fix monadic syntax return	2022-09-26 09:19:10 -03:00
Felipe G	c1de579502	Merge pull request #372 from developedby/syntax-doc ... Add preliminary syntax documentation	2022-09-25 20:48:46 -03:00
Nicolas Abril	324cdbac84	Update SYNTAX.md	2022-09-23 13:04:34 +00:00
Nicolas Abril	a906de2f73	Add preliminary syntax documentation	2022-09-22 22:21:45 +02:00