96 Commits

Author	SHA1	Message	Date
Nicolas Abril	bc610d1717	Bump version to 0.2.21	2024-05-25 19:05:22 +02:00
Nicolas Abril	01a3337d49	Use the HVM AST instead of an internal one	2024-05-25 19:03:13 +02:00
imaqtkatt	c166c3562b	Bump version to 0.2.20	2024-05-24 13:24:35 -03:00
imaqtkatt	ef25fdb867	Bump version to 0.2.19	2024-05-24 10:51:26 -03:00
imaqtkatt	f73398c420	Bump version to 0.2.18	2024-05-24 08:36:47 -03:00
imaqtkatt	bf50df36a4	Bump version to 0.2.17	2024-05-23 14:44:06 -03:00
Nicolas Abril	744ff6e946	Bump version to 0.2.16	2024-05-23 19:34:50 +02:00
Nicolas Abril	30730e7c20	Bump version to 0.2.15	2024-05-22 21:25:44 +02:00
imaqtkatt	a92f58225d	Bump version to 0.2.14	2024-05-22 16:04:55 -03:00
Nicolas Abril	6b1e192af6	Bump version to 0.2.13	2024-05-22 19:59:58 +02:00
imaqtkatt	e189dee195	Update docs and bump version to 0.2.12	2024-05-22 12:59:49 -03:00
Nicolas Abril	6fcee9fd94	Bump version to 0.2.11	2024-05-22 00:52:42 +02:00
imaqtkatt	7fe01f8ac1	Remove parking_lot dependency	2024-05-21 14:50:45 -03:00
imaqtkatt	c39a7614e3	Add hvm ast and transformations	2024-05-21 12:53:56 -03:00
Nicolas Abril	f4620bc3f6	Add SHL and SHR	2024-05-21 17:32:13 +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	22477b1807	Explain dependencies, add to FAQ, improve readback err msg	2024-05-19 14:37:54 +02:00
Nicolas Abril	bc00caad1f	Bump version to 0.2.8	2024-05-19 00:33:07 +02:00
Sipher	92171f5a14	Update Cargo.toml - Update Description ... Edit back to: "A high-level, massively parallel programming language"	2024-05-17 15:39:56 -03:00
Sipher	ba4a92459e	Update Cargo.toml - Change Description ... Changed description to - "A parallel language"	2024-05-17 15:25:10 -03:00
Sipher	23daf73416	Update Cargo.toml Increase Version to 0.2.7	2024-05-17 15:23:27 -03:00
Sipher	422fc19de9	Update Cargo.toml for License APACHE2.0	2024-05-17 15:18:38 -03:00
Nicolas Abril	1b56a20fbb	Bump version to 0.2.6	2024-05-17 18:24:47 +02:00
Nicolas Abril	276f92f6b2	Ignore big files in published package	2024-05-16 22:30:37 +02:00
Nicolas Abril	4f310d4df8	Bump version to 0.2.5	2024-05-16 22:24:40 +02:00
Nicolas Abril	01e1849988	Update for new version of hvm-core	2024-05-15 23:01:13 +02:00
Nicolas Abril	6e93b49df1	Add stuff to allow crates.io to publish	2024-05-15 22:17:01 +02:00
Nicolas Abril	2e421e0403	Use hvm-core from crates.io	2024-05-15 22:09:51 +02:00
Nicolas Abril	f724bbf541	Add list resugaring on readback	2024-05-15 22:07:58 +02:00
Nicolas Abril	2ae73384e2	update the package name to bend-lang	2024-05-15 21:45:48 +02:00
Nicolas Abril	62ab40f46c	Bump version to 0.2.2	2024-05-15 21:28:02 +02:00
Nicolas Abril	0ce59d9721	Bump version to 0.2.1	2024-05-15 09:13:50 +02:00
Nicolas Abril	c2f37ebfec	Increment version	2024-05-15 01:00:37 +02:00
Nicolas Abril	cf680f559d	[sc-630] Rename the crate to bend and update docs for it	2024-05-07 21:58:06 +02:00
Nicolas Abril	1c124e9a83	[sc-609] Update for fixed version of TSPL	2024-04-29 20:31:42 +02:00
Nicolas Abril	3a80ac0d96	[sc-627] Initial update for hvm32	2024-04-22 19:03:56 +02:00
tjjfvi	092972f946	use published loaned	2024-04-19 12:18:10 -04:00
tjjfvi	105633153e	encode terms directly to hvmc nets	2024-04-18 11:45:30 -04:00
Nicolas Abril	aa3d49b269	Update for no-std hvm-core	2024-04-11 16:10:13 +02:00
Nicolas Abril	9db85265c4	[sc-501] Use TSPL for the parser	2024-04-10 20:33:47 +02:00
Nicolas Abril	dba81b00bd	[sc-603] Update for new hvmc number/op type	2024-04-08 19:15:29 +02:00
Nicolas Abril	3dc09cf167	[sc-523] Improve cli and error for pre-reduce loop check	2024-04-08 16:27:25 +02:00
Nicolas Abril	28912c9280	[sc-523] Use pre-reduce to check for non-termination in strict mode	2024-04-08 16:27:25 +02:00
tjjfvi	d9b5a80c65	upgrade hvmc version	2024-03-21 08:09:01 -04:00
FranchuFranchu	e7f677f717	Update Cargo.toml	2024-03-15 15:55:37 -03:00
FranchuFranchu	accbaea0f1	[sc-509] Implement remaining hvm2 builtins.	2024-03-15 15:55:37 -03:00
Nicolas Abril	c85d01a817	Merge remote-tracking branch 'origin/main' into feature/sc-479/update-encodings-to-make-use-of-hvmc-n-ary	2024-03-01 22:11:22 +01:00
LunaAmora	216175a7f2	Impl clone for Term, remove unecessary clones	2024-02-29 13:19:45 -03:00
LunaAmora	b9edd06eae	Fix drop impl, remove crate	2024-02-29 13:19:45 -03:00