issues
search
mukul-rathi
/
bolt
Bolt is a language with in-built data-race freedom!
MIT License
548
stars
53
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Make Bolt an OOP lang
#55
mukul-rathi
closed
4 years ago
0
Add booleans to Bolt
#54
mukul-rathi
closed
4 years ago
0
Add While loops to Bolt
#53
mukul-rathi
closed
4 years ago
0
Add if-else statements to Bolt
#52
mukul-rathi
closed
4 years ago
0
Add binary operators to Bolt
#51
mukul-rathi
closed
4 years ago
0
Add methods to classes
#50
mukul-rathi
closed
4 years ago
0
Define let-bindings in terms of block scope
#49
mukul-rathi
closed
4 years ago
0
Use Top Level Functions rather than Lambda Fns
#48
mukul-rathi
closed
4 years ago
0
Testing
#47
mukul-rathi
closed
4 years ago
0
Use OCaml Lwt library to schedule threads in interpreter
#46
mukul-rathi
closed
4 years ago
1
Write a set of litmus tests for data-race type-checker
#45
mukul-rathi
closed
4 years ago
1
Make dune build files less verbose
#44
mukul-rathi
closed
4 years ago
1
Clean up documentation
#43
mukul-rathi
closed
4 years ago
0
Only run relevant integration E2E tests
#42
mukul-rathi
closed
4 years ago
0
Interpreter
#41
mukul-rathi
closed
4 years ago
0
Check application rule in type checker produces appropriate error messages
#40
mukul-rathi
closed
4 years ago
0
Define instructions for the interpreter to execute
#39
mukul-rathi
closed
4 years ago
0
Translate Typed expressions to Instructions
#38
mukul-rathi
closed
4 years ago
0
Create flag to optionally pprint execution steps of program
#37
mukul-rathi
closed
4 years ago
0
Create driver function
#36
mukul-rathi
closed
4 years ago
0
Pretty print states of evaluation
#35
mukul-rathi
closed
4 years ago
0
Create thread scheduler
#34
mukul-rathi
closed
4 years ago
0
Create state step function
#33
mukul-rathi
closed
4 years ago
1
Define heap
#32
mukul-rathi
closed
4 years ago
0
Data race typechecker
#31
mukul-rathi
closed
4 years ago
0
Check consumed vars cannot be referenced subsequently
#30
mukul-rathi
closed
4 years ago
3
Move to dune 2.0
#29
mukul-rathi
closed
4 years ago
0
Implement Core Type Checker
#28
mukul-rathi
closed
4 years ago
0
Check thread references are not accessed in another thread
#27
mukul-rathi
closed
4 years ago
0
Check linear references are not aliased
#26
mukul-rathi
closed
4 years ago
0
Ensure envs of async expressions are disjoint
#25
mukul-rathi
closed
4 years ago
0
Deprecated: Base.Format - replace this
#24
mukul-rathi
closed
4 years ago
0
Create run-time env
#23
mukul-rathi
closed
4 years ago
0
Define structure of the typed AST
#22
mukul-rathi
closed
4 years ago
0
Pretty print the AST with type annotations
#21
mukul-rathi
closed
4 years ago
0
Include flag/bool to type-check references (data-races)
#20
mukul-rathi
closed
4 years ago
0
Use type inference for expressions
#19
mukul-rathi
closed
4 years ago
0
Check well-formedness of class/trait definitions
#18
mukul-rathi
closed
4 years ago
0
Create type env
#17
mukul-rathi
closed
4 years ago
1
Coveralls shows incorrect path for files
#16
mukul-rathi
closed
4 years ago
0
Test coverage includes generated parser build files
#15
mukul-rathi
closed
4 years ago
0
Fix deployment of docs
#14
mukul-rathi
closed
4 years ago
0
Lexer and parser
#13
mukul-rathi
closed
4 years ago
0
Design AST output structure of Menhir
#12
mukul-rathi
closed
4 years ago
0
Use PPX_Expect Tests for lexer and parser
#11
mukul-rathi
closed
4 years ago
1
Translate Java Programs into Bolt
#10
mukul-rathi
closed
4 years ago
1
Translate Encore Programs into Bolt
#9
mukul-rathi
closed
4 years ago
1
Pretty-print output AST of parser
#8
mukul-rathi
closed
4 years ago
1
Design grammar for parser
#7
mukul-rathi
closed
4 years ago
0
Use Menhir to implement Parser
#6
mukul-rathi
closed
4 years ago
0
Previous
Next