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 |
|
LunaAmora
|
7ab53c8a05
|
Add remove_trait_impls drop version
|
2024-02-29 13:19:45 -03:00 |
|