Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / higherorderco/hvm-64 issues and pull requests

#140 - relicense to Apache 2.0

Pull Request - State: closed - Opened by tjjfvi 6 months ago

#139 - hvm32 compat

Pull Request - State: closed - Opened by tjjfvi 6 months ago

#138 - move prelude to util

Pull Request - State: closed - Opened by tjjfvi 6 months ago

#137 - clean up `Cargo.toml`s

Pull Request - State: closed - Opened by tjjfvi 6 months ago

#136 - use `dyntest` for `tests/tests.rs`

Pull Request - State: closed - Opened by tjjfvi 6 months ago

#135 - support stable compiler

Pull Request - State: closed - Opened by tjjfvi 6 months ago

#134 - simplifications

Pull Request - State: closed - Opened by tjjfvi 6 months ago

#133 - remove io

Pull Request - State: closed - Opened by tjjfvi 6 months ago - 1 comment

#132 - remove lazy mode

Pull Request - State: closed - Opened by tjjfvi 6 months ago - 1 comment

#131 - rename to hvm-64

Pull Request - State: closed - Opened by tjjfvi 6 months ago

#130 - experiments with alternate linking algorithms

Pull Request - State: closed - Opened by tjjfvi 6 months ago

#129 - workspace refactor

Pull Request - State: closed - Opened by tjjfvi 6 months ago - 2 comments

#128 - hvmc compile on the example program results in Rust compile error

Issue - State: closed - Opened by Anatolay 7 months ago - 1 comment

#127 - dylib compilation and runtime loading

Pull Request - State: closed - Opened by enricozb 7 months ago - 8 comments

#126 - fixes ERA and f32 compilations

Pull Request - State: closed - Opened by enricozb 7 months ago - 1 comment

#125 - modify compilation strategy to allow for io defs

Pull Request - State: closed - Opened by enricozb 7 months ago - 4 comments

#124 - use clippy

Pull Request - State: closed - Opened by tjjfvi 7 months ago - 5 comments

#123 - add `no_std` support

Pull Request - State: closed - Opened by tjjfvi 7 months ago - 2 comments

#122 - use tspl for parser

Pull Request - State: closed - Opened by tjjfvi 7 months ago - 2 comments

#121 - f32 support

Pull Request - State: closed - Opened by enricozb 7 months ago - 9 comments

#120 - re-use Encoder::op_num

Pull Request - State: closed - Opened by enricozb 8 months ago - 1 comment

#119 - add in-place `Tree::drop` impl

Pull Request - State: closed - Opened by tjjfvi 8 months ago - 3 comments

#118 - Impl Drop for ast::Tree to avoid stack overflows

Pull Request - State: closed - Opened by developedby 8 months ago - 3 comments

#117 - Discord invitation expired

Issue - State: closed - Opened by khaledismaeel 8 months ago - 1 comment

#116 - Expose normal_from and is_full_node

Pull Request - State: closed - Opened by imaqtkatt 8 months ago - 2 comments

#115 - Output list of non-normalized defs after pre-reduce

Pull Request - State: closed - Opened by developedby 8 months ago - 2 comments

#114 - mixed-width integer operations

Pull Request - State: closed - Opened by enricozb 8 months ago - 6 comments

#113 - add nix-dev files

Pull Request - State: closed - Opened by enricozb 8 months ago - 2 comments

#112 - support compilation/loading of dynamic libraries

Issue - State: closed - Opened by tjjfvi 8 months ago

#111 - support IO in compiled binaries

Issue - State: closed - Opened by tjjfvi 8 months ago

#110 - add support for floats

Issue - State: closed - Opened by tjjfvi 8 months ago

#109 - add support for more numeric operations

Issue - State: closed - Opened by tjjfvi 8 months ago

#108 - support unbound refs in inline pass

Pull Request - State: closed - Opened by tjjfvi 8 months ago - 1 comment

#107 - add `Book::transform`

Pull Request - State: closed - Opened by tjjfvi 8 months ago - 2 comments

#106 - make `stdlib::readback` work in lazy mode

Pull Request - State: closed - Opened by tjjfvi 8 months ago - 4 comments

#105 - fix inline ref cycle

Pull Request - State: closed - Opened by tjjfvi 8 months ago - 4 comments

#104 - delete old test code

Pull Request - State: closed - Opened by tjjfvi 8 months ago - 1 comment

#103 - "Remove when #73 is merged" hasn't been removed

Issue - State: closed - Opened by CatsAreFluffy 8 months ago - 1 comment

#102 - ROCm/HIP support

Issue - State: closed - Opened by glyh 8 months ago - 1 comment

#101 - fix bench workflow

Pull Request - State: closed - Opened by tjjfvi 8 months ago - 1 comment

#100 - add bench workflow

Pull Request - State: closed - Opened by tjjfvi 8 months ago - 10 comments

#99 - remove benches

Pull Request - State: closed - Opened by tjjfvi 8 months ago

#98 - remove cuda directory

Pull Request - State: closed - Opened by tjjfvi 8 months ago - 2 comments

#97 - fix preduce tests

Pull Request - State: closed - Opened by tjjfvi 8 months ago

#96 - add tera prefix

Pull Request - State: closed - Opened by tjjfvi 8 months ago

#95 - improve optimization passes

Pull Request - State: closed - Opened by tjjfvi 8 months ago - 2 comments

#94 - add timeouts to CI jobs

Pull Request - State: closed - Opened by kings177 8 months ago

#93 - rework heap allocation api

Pull Request - State: closed - Opened by tjjfvi 8 months ago - 1 comment

#92 - fix ooms

Pull Request - State: closed - Opened by tjjfvi 8 months ago - 10 comments

#91 - OOM in a program that shouldn't grow

Issue - State: closed - Opened by Janiczek 8 months ago

#89 - [sc-506] Implement smart pointer API for Defs.

Pull Request - State: closed - Opened by FranchuFranchu 8 months ago - 1 comment

#88 - Update README

Pull Request - State: closed - Opened by FranchuFranchu 8 months ago - 2 comments

#87 - [sc-515] Implement eta-reduction pass

Pull Request - State: closed - Opened by FranchuFranchu 8 months ago - 1 comment

#86 - Implement work-stealing queue approach to speed up parallel reduction

Pull Request - State: closed - Opened by FranchuFranchu 8 months ago - 1 comment

#85 - n-ary nodes

Pull Request - State: closed - Opened by tjjfvi 9 months ago - 3 comments

#84 - prep for n-ary nodes

Pull Request - State: closed - Opened by tjjfvi 9 months ago

#83 - grow trgs vector based on size of def

Pull Request - State: closed - Opened by tjjfvi 9 months ago - 1 comment

#82 - merge op2 and op1

Pull Request - State: closed - Opened by tjjfvi 9 months ago

#81 - snapshot of branches

Issue - State: closed - Opened by tjjfvi 9 months ago

#80 - add `--output` arg to `hvmc compile`

Pull Request - State: closed - Opened by tjjfvi 9 months ago

#79 - [sc-487] Add test for `hvmc compile`.

Pull Request - State: closed - Opened by FranchuFranchu 9 months ago - 1 comment

#78 - Revert "[sc-487] Add test for `hvmc compile`"

Pull Request - State: closed - Opened by FranchuFranchu 9 months ago - 2 comments

#77 - [sc-484] Optimize pre-reduce pass

Pull Request - State: closed - Opened by FranchuFranchu 9 months ago - 2 comments

#76 - [sc-487] Add test for `hvmc compile`

Pull Request - State: closed - Opened by FranchuFranchu 9 months ago - 1 comment

#74 - fix burn

Pull Request - State: closed - Opened by tjjfvi 9 months ago

#73 - rework expand

Pull Request - State: closed - Opened by tjjfvi 9 months ago

#72 - refactor: split/reorganize files

Pull Request - State: closed - Opened by tjjfvi 9 months ago

#71 - Cannot compile .hvmc file into a binary when a string is too long

Issue - State: open - Opened by Janiczek 9 months ago - 1 comment

#70 - Create src/host/ before copying src/host/encode.rs there

Pull Request - State: closed - Opened by Janiczek 9 months ago

#69 - [sc-481] Add transformation passes to hvm-core.

Pull Request - State: closed - Opened by FranchuFranchu 9 months ago - 1 comment

#68 - enable CI on merge queue

Pull Request - State: closed - Opened by tjjfvi 9 months ago

#67 - [sc-478] Update CI

Pull Request - State: closed - Opened by FranchuFranchu 9 months ago - 1 comment

#66 - [sc-472] Allow passing arguments to program using a new CLI interface.

Pull Request - State: closed - Opened by FranchuFranchu 9 months ago - 1 comment

#63 - optimize op2 with immediate num rhs

Pull Request - State: closed - Opened by tjjfvi 9 months ago

#62 - configure ci

Pull Request - State: closed - Opened by tjjfvi 9 months ago

#60 - the `ptr-refactor`

Pull Request - State: closed - Opened by tjjfvi 9 months ago - 1 comment

#58 - Update benches and regression tests

Pull Request - State: closed - Opened by LunaAmora 9 months ago

#55 - Native calls infrastructure

Pull Request - State: closed - Opened by jduey 10 months ago - 4 comments

#54 - Optimize OP2 rewrites if both arguments are NUM

Pull Request - State: closed - Opened by jduey 10 months ago - 4 comments

#53 - Improve panic messages

Pull Request - State: closed - Opened by developedby 10 months ago

#47 - Add OP1 node to Tree

Pull Request - State: closed - Opened by developedby 12 months ago

#45 - Fix JIT to not pass args to alloc

Pull Request - State: closed - Opened by eduhenke 12 months ago - 1 comment

#43 - Fail parser when not all chars consumed

Pull Request - State: closed - Opened by developedby 12 months ago - 1 comment

#42 - Implement work-stealing queue approach to speed up parallel reduction

Pull Request - State: closed - Opened by Boscop 12 months ago - 1 comment

#38 - Add JIT compiler for HVM-Core

Pull Request - State: closed - Opened by aripiprazole about 1 year ago - 1 comment

#29 - Revert "tag-enum" PR and generate optimized build

Pull Request - State: closed - Opened by eduhenke about 1 year ago

#28 - Change implementation of OP2 to allow more functions

Pull Request - State: closed - Opened by developedby about 1 year ago - 1 comment

#25 - Make Ctr nodes have variable arity

Pull Request - State: closed - Opened by developedby about 1 year ago - 2 comments

#24 - Add more descriptive names

Pull Request - State: closed - Opened by eduhenke about 1 year ago - 1 comment

#23 - feat: [sc-194] Remove hvm2_standalone.cu

Pull Request - State: closed - Opened by Boscop about 1 year ago - 1 comment

#21 - Change tag from u8 to enum

Pull Request - State: closed - Opened by eduhenke about 1 year ago - 2 comments

#20 - Simplification of `interact` tag rule

Pull Request - State: closed - Opened by eduhenke about 1 year ago - 2 comments

#18 - Fix Op1-Ctr interaction not wiring things properly

Pull Request - State: closed - Opened by developedby about 1 year ago

#9 - Copying asynchronously to the GPU

Pull Request - State: closed - Opened by francesco-bongiovanni about 1 year ago - 2 comments

#4 - Add quickcheck property testing and net fuzzer

Pull Request - State: closed - Opened by eduhenke about 1 year ago - 1 comment