HigherOrderCO/Bend
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-09-11 19:57:20 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,645 Commits 9 Branches 37 Tags 82 MiB
a92f58225d
Commit Graph

88 Commits

Author SHA1 Message Date
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
LunaAmora
6263b642bb Wip stacker and drop impl 2024-02-29 13:19:45 -03:00
Nicolas Abril
45447b4d51 [sc-403] Change pat-match algorithm, add multi-arg matches 2024-02-22 20:38:00 +01:00
LunaAmora
79ee00125e Fix parser hanging with large generated file 2024-02-22 15:38:14 -03:00
FranchuFranchu
f51e4eb22e Make hvm lang compatible with ptr refactor [sc-362] 
Add `HVM.log` and `HVM.black_box`, together with their documentation.

Add basic CLI support for limiting rewrites.

Trimming names and adapting them for hvm-core is not necessary anymore.

Update `pre_reduce`. `pre_reduce` can now reduce unrelated redexes in defs that use builtin defs. This is done by making builtin defs "inert" on pre-reduction, and then adding back their interactions to the reduced net. `pre_reduce_refs` is redundant now and has been removed.

Make `Ctx` and `compile_book` take a mutable borrow of `Book`.

Sister PR: https://github.com/HigherOrderCO/hvm-core/pull/60
 2024-02-22 15:00:29 -03:00
LunaAmora
c56693eb23 Fix some parser error diagnostics 2024-02-15 11:54:38 -03:00
Nicolas Abril
b76a8fdf5c [sc-440] Update rust toolchain, solve new deprecation warnings 2024-02-12 14:58:34 +01:00
Nicolas Abril
3e9b3d7e58 [sc-410] Add untagged scott encoding option for ADTs 2024-02-09 12:50:59 +01:00