mukul-rathi/bolt

Issues

• Segmentation fault on async return

  #155 opened 11 days ago by NoSavedDATA
  1

• Build problem: Bazel trying to download zlib from bad URL

  #153 opened a year ago by philtomson
  1

• Build problem: Error: Unbound type constructor sexp_list

  #152 opened a year ago by philtomson
  1

• Errors while building bolt, while trying to fetch ppx_* libraries

  #151 opened 2 years ago by re-masashi
  1

• make install fails on ocamlbuild even if I build it manually

  #149 opened 2 years ago by differentprogramming
  3

• Getting type errors when building

  #150 opened 2 years ago by differentprogramming
  0

• (RC) Immix or Boehm-Demers-Weiser GC instead of GC_malloc

  #148 opened 2 years ago by paulocoghi
  1

• Language design ideas

  #134 opened 4 years ago by mukul-rathi
  5

• Math formula from blog don't display

  #146 opened 3 years ago by codec-abc
  2

• How are errors/panics/exceptions in finish-async blocks handled?

  #144 opened 3 years ago by dumblob
  1

• Heap memory management

  #145 opened 3 years ago by dumblob
  2

• error: undefined reference to llvm

  #143 opened 3 years ago by Aurze
  1

• Fully infer method capability annotations

  #140 opened 4 years ago by mukul-rathi
  0

• Cannot make install with latest stable version of OCaml (4.11.1)

  #142 opened 3 years ago by Astavie
  2

• Finish off subtyping judgements and tests

  #138 opened 4 years ago by mukul-rathi
  0

• Refactor lock LLVM IR generation code

  #108 opened 4 years ago by mukul-rathi
  8

• Bridge use-mention boundary

  #141 opened 4 years ago by mukul-rathi
  0

• LSP Integration

  #139 opened 4 years ago by mukul-rathi
  0

• Type-check fields + method + function type signatures

  #137 opened 4 years ago by mukul-rathi
  0

• Locked field won't update

  #122 opened 4 years ago by mukul-rathi
  1

• Refactor ir_gen_field_index

  #131 opened 4 years ago by mukul-rathi
  1

• Explicitly cast function argument types in LLVM IR

  #135 opened 4 years ago by mukul-rathi
  0

• Increase test coverage of backend

  #129 opened 4 years ago by mukul-rathi
  1

• Implement Quicksort in Bolt

  #120 opened 4 years ago by mukul-rathi
  1

• Implement Arrays in Bolt

  #119 opened 4 years ago by mukul-rathi
  1

• Establish naming convention for compiler modules/functions

  #132 opened 4 years ago by mukul-rathi
  3

• Look at bounded relaxation of linear to thread

  #118 opened 4 years ago by mukul-rathi
  0

• Name mangle ALL THE THINGS

  #125 opened 4 years ago by mukul-rathi
  0

• Write some Bolt data structures

  #116 opened 4 years ago by mukul-rathi
  1

• Capabilities should be able to concurrently access immutable state

  #130 opened 4 years ago by mukul-rathi
  0

• Implement function and method overloading in Bolt

  #121 opened 4 years ago by mukul-rathi
  1

• Shift borrow checking to data-race typechecker

  #127 opened 4 years ago by mukul-rathi
  0

• super keyword

  #126 opened 4 years ago by mukul-rathi
  1

• Allow let expressions to be optionally annotated with a type

  #124 opened 4 years ago by mukul-rathi
  0

• Update grammar for function parameter capability annotations

  #123 opened 4 years ago by mukul-rathi
  0

• Allow "incapability"

  #115 opened 4 years ago by mukul-rathi
  0

• Associate capabilities with methodapp

  #117 opened 4 years ago by mukul-rathi
  0

• Check alias liveness in other threads

  #112 opened 4 years ago by mukul-rathi
  1

• Rename regions and capabilities

  #114 opened 4 years ago by mukul-rathi
  0

• rename capabilities

  #113 opened 4 years ago by mukul-rathi
  1

• Collate region accesses of a given free var in thread

  #109 opened 4 years ago by mukul-rathi
  0

• Type check relaxed linearity of references

  #101 opened 4 years ago by mukul-rathi
  0

• Syntax tweaks

  #110 opened 4 years ago by mukul-rathi
  0

• Check async exprs region accesses

  #104 opened 4 years ago by mukul-rathi
  0

• Type check subordinate exprs

  #105 opened 4 years ago by mukul-rathi
  0

• Type check thread regions

  #103 opened 4 years ago by mukul-rathi
  0

• Type check read regions

  #102 opened 4 years ago by mukul-rathi
  0

• Type fields in a region

  #100 opened 4 years ago by mukul-rathi
  0

• Implement Reader-writer locks in LLVM IR

  #107 opened 4 years ago by mukul-rathi
  0

• Annotate function args and method app with required regions

  #106 opened 4 years ago by mukul-rathi
  1