Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 7, 2024

• hvm32 compat (#139)

  tjjfvi

  authored
  d8ffa11

  Copy full SHA for d8ffa11

Commits on Jun 3, 2024

• relicense to Apache 2.0 (#140)

  tjjfvi

  authored
  819ba30

  Copy full SHA for 819ba30

Commits on May 29, 2024

• move prelude to util (#138)

  tjjfvi

  authored
  e92aec5

  Copy full SHA for e92aec5

• clean up Cargo.tomls (#137)

  tjjfvi

  authored
  103effc

  Copy full SHA for 103effc

Commits on May 28, 2024

• use dyntest for tests/tests.rs (#136)

  tjjfvi

  authored
  301512e

  Copy full SHA for 301512e

• support stable compiler (#135)

  tjjfvi

  authored
  c18425e

  Copy full SHA for c18425e

• simplifications (#134)

  tjjfvi

  authored
  d0261e0

  Copy full SHA for d0261e0

Commits on May 27, 2024

• rename to hvm-64 (#131)

  tjjfvi

  authored
  3bae9fa

  Copy full SHA for 3bae9fa

• workspace refactor (#129)

  Show description for 7cdb1ff
  

  tjjfvi

  and

  enricozb

  authored
  7cdb1ff

  Copy full SHA for 7cdb1ff

Commits on May 2, 2024

• dylib compilation and runtime loading (#127)

  Show description for 87e6056
  

  enricozb

  and

  tjjfvi

  authored
  87e6056

  Copy full SHA for 87e6056

Commits on Apr 23, 2024

• fixes ERA and f32 compilations (#126)

  enricozb

  authored
  8a9a009

  Copy full SHA for 8a9a009

Commits on Apr 19, 2024

• modify compilation strategy to allow for io defs (#125)

  enricozb

  authored
  90e3b44

  Copy full SHA for 90e3b44

Commits on Apr 16, 2024

• f32 support (#121)

  Show description for f464b59
  

  enricozb

  and

  tjjfvi

  authored
  f464b59

  Copy full SHA for f464b59

Commits on Apr 11, 2024

• use clippy (#124)

  tjjfvi

  authored
  51a5d23

  Copy full SHA for 51a5d23

Commits on Apr 10, 2024

• add no_std support (#123)

  tjjfvi

  authored
  7626300

  Copy full SHA for 7626300

• add Book::transform (#107)

  tjjfvi

  authored
  40febf3

  Copy full SHA for 40febf3

Commits on Apr 9, 2024

• use tspl for parser (#122)

  tjjfvi

  authored
  d0d92ba

  Copy full SHA for d0d92ba

• Expose normal_from and is_full_node (#116)

  imaqtkatt

  authored
  54cf65f

  Copy full SHA for 54cf65f

Commits on Apr 6, 2024

• re-use Encoder::op_num (#120)

  enricozb

  authored
  f13f24c

  Copy full SHA for f13f24c

• mixed-width integer operations (#114)

  enricozb

  authored
  87040fe

  Copy full SHA for 87040fe

Commits on Apr 5, 2024

• add in-place Tree::drop impl (#119)

  tjjfvi

  authored
  0530c37

  Copy full SHA for 0530c37

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

  developedby

  authored
  503a548

  Copy full SHA for 503a548

Commits on Apr 3, 2024

• add nix-dev files (#113)

  enricozb

  authored
  5f782ea

  Copy full SHA for 5f782ea

Commits on Apr 2, 2024

• support unbound refs in inline pass (#108)

  tjjfvi

  authored
  f9aab33

  Copy full SHA for f9aab33

• make stdlib::readback work in lazy mode (#106)

  tjjfvi

  authored
  35eca58

  Copy full SHA for 35eca58

Commits on Apr 1, 2024

• fix inline ref cycle (#105)

  tjjfvi

  authored
  9aec78b

  Copy full SHA for 9aec78b

Commits on Mar 27, 2024

• delete old test code (#104)

  tjjfvi

  authored
  f92475b

  Copy full SHA for f92475b

Commits on Mar 25, 2024

• fix ooms (#92)

  Show description for fee98fb
  

  tjjfvi

  and

  FranchuFranchu

  authored
  fee98fb

  Copy full SHA for fee98fb

• fix bench workflow (#101)

  tjjfvi

  authored
  aa58a6d

  Copy full SHA for aa58a6d

• add bench workflow (#100)

  tjjfvi

  authored
  ce9ee5c

  Copy full SHA for ce9ee5c

• add delete-cancelled workflow

  tjjfvi

  committed
  26285e9

  Copy full SHA for 26285e9

• remove benches (#99)

  tjjfvi

  authored
  7a8557d

  Copy full SHA for 7a8557d

Commits on Mar 21, 2024

• remove cuda directory (#98)

  tjjfvi

  authored
  ee6c6f8

  Copy full SHA for ee6c6f8

• fix preduce tests (#97)

  tjjfvi

  authored
  744fb4e

  Copy full SHA for 744fb4e

• improve optimization passes (#95)

  tjjfvi

  authored
  130ab44

  Copy full SHA for 130ab44

Pagination

Previous

Next