HigherOrderCO/Bend
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-08-17 07:40:48 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,070 Commits 8 Branches 36 Tags 81 MiB
main
Commit Graph

115 Commits

Author SHA1 Message Date
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
LunaAmora
9c3aa73b75 Fix sup/dup behavior when not using lazy mode 2024-02-02 13:43:14 -03:00
LunaAmora
17b74c6fe0 Add lazy mode 2024-02-02 10:58:46 -03:00
imaqtkatt
2b3ec9853a Update highlight_error to latest version 2024-01-31 14:26:39 -03:00
imaqtkatt
6e93dbc316 Add location and highlight on parser errors 2024-01-31 13:50:10 -03:00
LunaAmora
cfdf387e58 Update hvm-core git dep 2023-11-21 07:41:33 -04:00
imaqtkatt
e5a0119d3e WIP opx term to net 2023-11-21 07:09:12 -04:00
LunaAmora
50b27e3d04 Start hvmc version update 2023-11-21 07:05:50 -04:00
LunaAmora
930b3593ea Remove pretty_assertions dev-dependency 2023-11-13 08:38:21 -04:00
LunaAmora
e12433c19c Migrate tests to cargo-insta 2023-11-13 08:38:21 -04:00
Victor Maia
513d969936 fix broken stuff 2023-11-12 16:53:29 -03:00
Victor Maia
51e4b76f03 update binary name for consistency with hvmc 2023-11-12 16:52:18 -03:00
Nicolas Abril
e8e81f331d [sc-119] Remove anyhow dependency 2023-11-10 18:54:35 +01:00
Nicolas Abril
73f9f8c3b8 [sc-119] Remove bimap dependency 2023-11-10 18:54:35 +01:00
Nicolas Abril
27ff188477 Remove derive_more and thiserror dependencies 2023-11-10 18:54:35 +01:00
Nicolas Abril
4894c8b64c [sc-119] Remove miette dependency 2023-11-10 18:54:35 +01:00
Nicolas Abril
b1488439cf [sc-119] Remove byte-unit dependency 2023-11-10 18:54:00 +01:00
imaqtkatt
b617dc0dbd WIP generate scott adts 2023-11-10 14:49:38 -03:00
Nicolas Abril
f3dc189610 Enable link time optimizations 2023-10-17 11:35:13 +02:00
Nicolas Abril
12a1a0b0cd Small cleanups 2023-10-17 10:29:52 +02:00
Nicolas Abril
c10ea546a4 Implement If term, partial fix for op2, stabilize nums! 2023-10-10 21:29:26 +02:00
imaqtkatt
67616abf11 Fix wrong error outputs by using miette 2023-10-09 18:33:12 -03:00
Nicolas Abril
bc280b750f Update to latest hvm-core version, add numbers back, breaks readback 2023-10-09 20:07:48 +02:00
Nicolas Abril
0bfe5fa361 Complete type inference pass (not working) 2023-10-05 22:16:34 +02:00
Nicolas Abril
c320fad0eb Make runtime memory size configurable 2023-09-26 17:53:58 +02:00
Nicolas Abril
6904e81e67 Put numbers behind a disabled feature after hvm update 2023-09-25 17:33:55 +02:00
Nicolas Abril
292ad27593 Detach def names from the id sent to hvm-core 2023-09-22 19:56:04 +02:00
Victor Maia
bf45ac884a update hvm 2023-09-20 23:23:49 -03:00
Nicolas Abril
a7a856821d Add explicit cargo bin, make clap dep for cli only 2023-09-09 10:59:23 +02:00
Nicolas Abril
3faedc1057 Avoid copying definition names so much; Separate semantic checking into module 2023-09-09 10:49:49 +02:00
Nicolas Abril
e2633b4abf Add correct error displaying on test 2023-09-08 18:40:40 +02:00
Nicolas Abril
0e35f20e65 Remove numops, update to new hvm repo 2023-09-08 16:10:28 +02:00
Nicolas Abril
493b518a52 Use hvm OP; Add test that runs in hvm 2023-09-05 20:23:23 +02:00
Nicolas Abril
1005f4072e Use the hvm repo types and fns; Switch to u64 nodes 2023-09-04 18:39:22 +02:00
Nicolas Abril
3996edac56 Add dup inference 2023-09-04 17:51:26 +02:00
Nicolas Abril
1a1d331c35 Implement a golden testing model for tests 2023-08-31 22:11:19 +02:00
Nicolas Abril
7731d2487c Finish initial version of hvm-lang to hvm-core compilation 2023-08-31 20:35:41 +02:00
Nicolas Abril
9f1ef68ea3 Add first part of hvm-lang to hvm-core compilation 2023-08-30 19:18:40 +02:00
Nicolas Abril
c2eaa8502d Initial commit of hvm-lang with basic parser 2023-08-29 22:43:01 +02:00