Inferara/inference

vscode: tmLanguage number highlighting is more permissive than the compiler about 2 months ago

good first issue vscode

Inferara/inference

23

🌀 Inference programming language

Rust

#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3

docs/DX: examples show 'loop <count>' but the type checker requires a boolean condition about 2 months ago

documentation good first issue

Inferara/inference

23

🌀 Inference programming language

Rust

#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3

Update VSCode extension after removing LLVM 7 months ago

good first issue help wanted vscode

Inferara/inference

23

🌀 Inference programming language

Rust

#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3

Update `infs` after removing LLVM 7 months ago

good first issue help wanted infs

Inferara/inference

23

🌀 Inference programming language

Rust

#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3

Use `cov-mark` when testing specific conditions 7 months ago

good first issue help wanted tests

Inferara/inference

23

🌀 Inference programming language

Rust

#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3

Use `always-assert` instead of built in `assert!` 7 months ago

good first issue help wanted tests

Inferara/inference

23

🌀 Inference programming language

Rust

#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3

Node-ID-Based Error Deduplication 7 months ago

enhancement good first issue help wanted static analysis

Inferara/inference

23

🌀 Inference programming language

Rust

#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3

Consider Error Type Poisoning 7 months ago

enhancement good first issue help wanted static analysis

Inferara/inference

23

🌀 Inference programming language

Rust

#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3

Add Inline Documentation for Complex Logic in `type-checker` 7 months ago

documentation good first issue help wanted

Inferara/inference

23

🌀 Inference programming language

Rust

#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3

Add error variant to ast node types 8 months ago

enhancement good first issue parser

Inferara/inference

23

🌀 Inference programming language

Rust

#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3

Clean up `ast builder` unit tests 8 months ago

good first issue help wanted tests

Inferara/inference

23

🌀 Inference programming language

Rust

#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3

Update `build_release` workflow to it automatically attaches artifacts to the release 9 months ago

good first issue help wanted build

Inferara/inference

23

🌀 Inference programming language

Rust

#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3

Update `libLLVM.so` external Linux lib name 9 months ago

good first issue help wanted build

Inferara/inference

23

🌀 Inference programming language

Rust

#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3

Open Issues Need Help