1647 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Nicolas Abril	88ee72340a	Merge pull request #447 from HigherOrderCO/inet-eta-ignore-number ... Make eta dont reduce on numbers	2024-05-22 21:22:42 +02:00
imaqtkatt	d2e4a7a7a6	Add tuple eta test	2024-05-22 16:21:05 -03:00
imaqtkatt	a92f58225d	Bump version to 0.2.14	2024-05-22 16:04:55 -03:00
imaqtkatt	1fd415e178	Make eta dont reduce numbers	2024-05-22 16:03:59 -03:00
Nicolas Abril	01bb1eebef	Merge pull request #445 from HigherOrderCO/examples-imp ... Update docs, update examples, fix scope of fork	2024-05-22 20:49:53 +02:00
Nicolas Abril	6b1e192af6	Bump version to 0.2.13	2024-05-22 19:59:58 +02:00
Nicolas Abril	afc9c99801	Apply clippy and fmt	2024-05-22 19:54:27 +02:00
Nicolas Abril	5c811da531	Update docs, examples, fix scope of fork	2024-05-22 19:48:53 +02:00
Nicolas Abril	28f237be2d	Ignore DS_Store	2024-05-22 19:48:38 +02:00
Sergio Bonatto	658a279e77	Update example.bend	2024-05-22 19:48:38 +02:00
Sergio Bonatto	b44e4cf402	change the examples to the pythonish syntax	2024-05-22 19:48:38 +02:00
Nicolas Abril	fc72bd6f86	Merge pull request #441 from HigherOrderCO/feature/sc-672/support-both-adt-syntaxes-with-same-keyword ... [sc-672] Support both ADT syntaxes with same keyword	2024-05-22 18:55:31 +02:00
imaqtkatt	e189dee195	Update docs and bump version to 0.2.12	2024-05-22 12:59:49 -03:00
imaqtkatt	47dd00a566	Update docs	2024-05-22 12:01:03 -03:00
imaqtkatt	97f7a40907	Use the same keyword 'type' for adt definitions	2024-05-22 11:51:35 -03:00
Nicolas Abril	6fcee9fd94	Bump version to 0.2.11	2024-05-22 00:52:42 +02:00
Nicolas Abril	e2a48431ba	Merge pull request #436 from HigherOrderCO/feature/sc-705/finish-implementing-list-comprehension ... [sc-705] Finish implementing list comprehension	2024-05-22 00:50:42 +02:00
imaqtkatt	61c73c68dd	Implement to_fun for comprehension	2024-05-21 17:06:51 -03:00
Nicolas Abril	254f3a45e0	Merge pull request #429 from HigherOrderCO/hvm-ast ... Add hvm ast and transformations	2024-05-21 20:45:28 +02:00
imaqtkatt	7fe01f8ac1	Remove parking_lot dependency	2024-05-21 14:50:45 -03:00
imaqtkatt	a3b39b496f	Apply clippy suggestions	2024-05-21 13:10:21 -03:00
imaqtkatt	c8c54f911c	Adjust cspell	2024-05-21 12:53:56 -03:00
imaqtkatt	c7ba4b1ce7	Add ops test	2024-05-21 12:53:56 -03:00
imaqtkatt	c39a7614e3	Add hvm ast and transformations	2024-05-21 12:53:56 -03:00
Nicolas Abril	5d45e7008b	Merge pull request #431 from HigherOrderCO/new-numbers ... Add SHL and SHR	2024-05-21 17:32:55 +02:00
Nicolas Abril	f4620bc3f6	Add SHL and SHR	2024-05-21 17:32:13 +02:00
Yan Mendes	7898532205	adds 10 min timeouts to github actions	2024-05-21 12:02:58 -03:00
Nicolas Abril	97e76b4a63	Merge pull request #430 from HigherOrderCO/new-numbers ... Adapt for new format of HVM number operations	2024-05-21 16:37:04 +02:00
Nicolas Abril	831e99e33e	Bump version to 0.2.10	2024-05-21 16:24:27 +02:00
Nicolas Abril	3e9b3c4083	Adapt Bend to new hvm number operation format	2024-05-21 16:23:40 +02:00
Nicolas Abril	62f0ca0f81	Merge pull request #423 from HigherOrderCO/rule-block ... Make rules necessarily be in a single block	2024-05-21 09:50:39 +02:00
Nicolas Abril	e81f990208	Make rules necessarily be in a single block	2024-05-21 09:39:43 +02:00
Victor Taelin	4eae8a6c17	fix bitonic sort example	2024-05-20 18:12:52 -03:00
Nicolas Abril	2a77c09059	Merge pull request #415 from HigherOrderCO/jf/docs-fix ... Documentation fixes	2024-05-20 17:17:04 +00:00
Nicolas Abril	9302a5b26d	Fix more of the documentation	2024-05-20 19:10:36 +02:00
Nicolas Abril	daa85e1bf6	Merge remote-tracking branch 'origin/main' into jf/docs-fix	2024-05-20 17:38:50 +02:00
Nicolas Abril	a58d5aae89	Merge pull request #414 from HigherOrderCO/disable-check-net-size ... Disable check-net-size by default	2024-05-20 17:33:44 +02:00
Nicolas Abril	0e26732c4e	Disable check-net-size by default	2024-05-20 17:12:08 +02:00
Nicolas Abril	89b3dfad48	Merge pull request #413 from HigherOrderCO/feature/sc-709/implement-io-bind-and-io-helper-functions ... [sc-709] implement IO/bind and IO helper functions	2024-05-20 15:01:23 +00:00
imaqtkatt	17d0129f0b	Rename io helper functions	2024-05-20 11:34:30 -03:00
imaqtkatt	e7fc4da70e	Add IO/bind and print function	2024-05-20 11:05:19 -03:00
Nicolas Abril	9c9c045365	Merge pull request #412 from HigherOrderCO/feature/sc-663/add-app-numeric-tag-adt-encoding ... [sc-663] Add scott + numeric tag ADT encoding	2024-05-20 13:10:31 +00:00
Nicolas Abril	d62b73ce83	[sc-663] Update tests for rebase	2024-05-20 14:50:49 +02:00
Nicolas Abril	f7a238c58a	[sc-663] Add num-scott adt encoding, it a cli opt	2024-05-20 14:47:50 +02:00
Nicolas Abril	add15416db	Merge pull request #400 from HigherOrderCO/bug/sc-703/fix-superposition-parsing ... [sc-703] Fix superposition parsing	2024-05-20 14:37:09 +02:00
imaqtkatt	8d8192127c	Update test snapshot	2024-05-20 09:25:10 -03:00
imaqtkatt	e0d1df39e8	Update test snapshot	2024-05-20 09:17:22 -03:00
imaqtkatt	01346ed84f	Improve expected error message	2024-05-20 09:15:58 -03:00
imaqtkatt	33756cbd3a	Fix comma in superposition parsing	2024-05-20 09:15:58 -03:00
Nicolas Abril	be390b1240	Update docs/writing-fusing-functions.md	2024-05-20 09:51:15 +02:00