WhatsApp/erlt issues and pull requests

#524 - We are moving development of ELP to an internal repo.

Pull Request - State: closed - Opened by alanz almost 4 years ago
Labels: CLA Signed

#523 - [h-elp] tweaks to pass tests etc before final mothballing

Pull Request - State: closed - Opened by alanz almost 4 years ago
Labels: CLA Signed

#522 - [elp] Adding draft passthru connection for erlang_lsp

Pull Request - State: closed - Opened by alanz almost 4 years ago - 3 comments
Labels: CLA Signed

#521 - Analyze calls of polymorphic funcs w func args

Pull Request - State: closed - Opened by mheiber almost 4 years ago - 4 comments
Labels: CLA Signed

#520 - [eqwalizer] build_info integration

Pull Request - State: closed - Opened by ilya-klyuchnikov almost 4 years ago
Labels: CLA Signed

#519 - as patterns on both sides

Pull Request - State: closed - Opened by ilya-klyuchnikov almost 4 years ago
Labels: CLA Signed

#518 - [eqwalizer] better elaboration of clauses - using available info

Pull Request - State: closed - Opened by ilya-klyuchnikov almost 4 years ago
Labels: CLA Signed

#517 - globalize var types: do not merge

Pull Request - State: closed - Opened by mheiber almost 4 years ago
Labels: CLA Signed

#516 - [baltazar] add emacs support

Pull Request - State: closed - Opened by alanz almost 4 years ago
Labels: CLA Signed

#515 - [eqwalizer] - handling is_function(F, IntLiteral) type predicate

Pull Request - State: closed - Opened by ilya-klyuchnikov almost 4 years ago
Labels: CLA Signed

#514 - [h-elp] Include shake rule engine

Pull Request - State: closed - Opened by alanz almost 4 years ago
Labels: CLA Signed

#513 - Type predicates

Pull Request - State: closed - Opened by ilya-klyuchnikov almost 4 years ago - 1 comment
Labels: CLA Signed

#512 - unify Union, unite, join

Pull Request - State: closed - Opened by mheiber almost 4 years ago - 2 comments
Labels: CLA Signed

#511 - analyzer: hard code third-party apps

Pull Request - State: closed - Opened by ilya-klyuchnikov almost 4 years ago - 3 comments
Labels: CLA Signed

#510 - Accurate Erlang file provenance

Pull Request - State: closed - Opened by mheiber almost 4 years ago - 1 comment
Labels: CLA Signed

#509 - DRAFT Check funs and private funs

Pull Request - State: closed - Opened by mheiber almost 4 years ago - 8 comments
Labels: CLA Signed

#508 - coralizer: check list comprehensions + elab after clauses

Pull Request - State: closed - Opened by mheiber almost 4 years ago
Labels: CLA Signed

#507 - Baltazar: Emit diagnostics

Pull Request - State: closed - Opened by michalmuskala almost 4 years ago
Labels: CLA Signed

#506 - update formatting for new erlfmt

Pull Request - State: closed - Opened by mheiber almost 4 years ago
Labels: CLA Signed

#505 - analyze private functions

Pull Request - State: closed - Opened by mheiber almost 4 years ago - 8 comments
Labels: CLA Signed

#504 - [coralizer] corec rebar plugin + CI

Pull Request - State: closed - Opened by ilya-klyuchnikov almost 4 years ago
Labels: CLA Signed

#503 - [eqwalizer] maps in guards

Pull Request - State: closed - Opened by ilya-klyuchnikov almost 4 years ago - 3 comments
Labels: CLA Signed

#502 - use fewer implicits in cerl pretty print

Pull Request - State: closed - Opened by mheiber almost 4 years ago
Labels: CLA Signed

#501 - [eqwalizer] map in patterns

Pull Request - State: closed - Opened by ilya-klyuchnikov almost 4 years ago
Labels: CLA Signed

#500 - [eqwalizer] map types and expressions

Pull Request - State: closed - Opened by ilya-klyuchnikov almost 4 years ago - 1 comment
Labels: CLA Signed

#499 - Pretty Print Core Erlang with Errors

Pull Request - State: closed - Opened by mheiber almost 4 years ago - 10 comments
Labels: CLA Signed

#498 - coralizer proper source locations

Pull Request - State: closed - Opened by mheiber almost 4 years ago
Labels: CLA Signed

#497 - [h-elp] Update tags for the new tree-sitter grammar

Pull Request - State: closed - Opened by alanz almost 4 years ago
Labels: CLA Signed

#496 - [h-elp] Incremental parsing

Pull Request - State: closed - Opened by alanz almost 4 years ago - 1 comment
Labels: CLA Signed

#495 - Eqwalizer - records

Pull Request - State: closed - Opened by ilya-klyuchnikov almost 4 years ago
Labels: CLA Signed

#494 - Eqwalizer fix

Pull Request - State: closed - Opened by ilya-klyuchnikov almost 4 years ago
Labels: CLA Signed

#493 - [analyzer] analyses of maps

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago
Labels: CLA Signed

#492 - checker for Core Erlang

Pull Request - State: closed - Opened by mheiber about 4 years ago - 3 comments
Labels: CLA Signed

#491 - Baltazar: basic LSP & basic client

Pull Request - State: closed - Opened by michalmuskala about 4 years ago
Labels: CLA Signed

#490 - [eqwalizer] list and binary comprehensions

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago - 2 comments
Labels: CLA Signed

#489 - [eqwalizer] effective lexical scoping

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago - 8 comments
Labels: CLA Signed

#488 - [eqwalizer] API to type-check a single function

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago
Labels: CLA Signed

#487 - Baltazar: Fully typed AST

Pull Request - State: closed - Opened by michalmuskala about 4 years ago - 1 comment
Labels: CLA Signed

#486 - [eqwalizer] - using lexical scoping

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago - 7 comments
Labels: CLA Signed

#485 - [eqwalizer] receives

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago
Labels: CLA Signed

#484 - [analyzer] draft cerl AST

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago - 4 comments
Labels: CLA Signed

#482 - Eqwalizer: binaries and tries

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago - 2 comments
Labels: CLA Signed

#481 - [analyzer] Add definitions for the stats output by GenServerCalls

Pull Request - State: closed - Opened by TD5 about 4 years ago
Labels: CLA Signed

#480 - [analyzer] Counting cases when a module name (atom) is used as ServerRef

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago
Labels: CLA Signed

#479 - Eqwalizer: more forms and tests

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago
Labels: CLA Signed

#478 - type-hints-eep-wip (not ready, sharing the idea)

Pull Request - State: closed - Opened by mheiber about 4 years ago - 5 comments
Labels: CLA Signed

#477 - Eqwalizer: very initial minimalistic version

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago - 8 comments
Labels: CLA Signed

#476 - [h-elp] Update semantic-erlang worked example

Pull Request - State: closed - Opened by alanz about 4 years ago
Labels: CLA Signed

#475 - [elp] Initial Haskell support

Pull Request - State: closed - Opened by alanz about 4 years ago
Labels: CLA Signed

#474 - [elp] set language level to 11 in generated tree-sitter parser

Pull Request - State: closed - Opened by alanz about 4 years ago
Labels: CLA Signed

#471 - [Baltazar] Initial codegen for strongly typed AST

Pull Request - State: closed - Opened by michalmuskala about 4 years ago
Labels: CLA Signed

#469 - [elp] Some tweaks to the initial grammar

Pull Request - State: closed - Opened by alanz about 4 years ago
Labels: CLA Signed

#468 - Initial commit for project Baltazar

Pull Request - State: closed - Opened by michalmuskala about 4 years ago - 2 comments
Labels: CLA Signed

#467 - Some initial infrastructure for Erlang Language Platform

Pull Request - State: closed - Opened by michalmuskala about 4 years ago - 3 comments
Labels: CLA Signed

#466 - Broadly classify entire gen_server modules by complexity

Pull Request - State: closed - Opened by TD5 about 4 years ago
Labels: CLA Signed

#462 - erltc: dumping the list of unchecked functions into erl1

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago
Labels: CLA Signed

#461 - Analysis of gen_server usage

Pull Request - State: closed - Opened by TD5 about 4 years ago - 4 comments
Labels: CLA Signed

#460 - Hack IDE support so 'play' works out of the box

Pull Request - State: closed - Opened by mheiber about 4 years ago
Labels: CLA Signed

#459 - Fix handling of binary generators in comprehensions.

Pull Request - State: closed - Opened by pergu about 4 years ago - 1 comment
Labels: CLA Signed

#458 - Minimal docs

Pull Request - State: closed - Opened by mheiber about 4 years ago - 1 comment
Labels: CLA Signed

#457 - More examples in 'play'

Pull Request - State: closed - Opened by mheiber about 4 years ago - 1 comment
Labels: CLA Signed

#454 - remove duplicate test

Pull Request - State: closed - Opened by mheiber about 4 years ago
Labels: CLA Signed

#453 - correct rebar3 templates instructions

Pull Request - State: closed - Opened by mheiber about 4 years ago
Labels: CLA Signed

#451 - rebar3 new erlt ... - providing erlang_ls.config

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago - 3 comments
Labels: 🌭🐕 dogfooding

#450 - Ban the reuse of names of builtin types

Pull Request - State: closed - Opened by pergu about 4 years ago
Labels: CLA Signed

#449 - Add a section for aoc to ErlT including solutions for the first 17 days

Pull Request - State: closed - Opened by pergu about 4 years ago - 1 comment
Labels: CLA Signed

#448 - attempt to test erltc with latest sterlang

Pull Request - State: closed - Opened by mheiber about 4 years ago
Labels: CLA Signed

#447 - better dog food: version check, auto-chmod

Pull Request - State: closed - Opened by mheiber about 4 years ago - 2 comments
Labels: CLA Signed

#446 - IDE: provide more contextual information on compile problems

Pull Request - State: closed - Opened by alanz about 4 years ago
Labels: CLA Signed

#443 - erlt_compile: favouring sterlang native over sterlang.jar

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago - 6 comments
Labels: CLA Signed, 🌭🐕 dogfooding

#442 - fix two mistakes in built-ins and stray echo

Pull Request - State: closed - Opened by mheiber about 4 years ago - 1 comment
Labels: CLA Signed

#441 - This is the actual change I wanted to commit for typed gb_trees

Pull Request - State: closed - Opened by pergu about 4 years ago
Labels: CLA Signed

#438 - Add an advent of code section to erlt.

Pull Request - State: closed - Opened by pergu about 4 years ago
Labels: CLA Signed

#436 - rebar3 erlt template

Pull Request - State: closed - Opened by mheiber about 4 years ago - 4 comments
Labels: CLA Signed

#435 - Created a typed version of the gb_trees module.

Pull Request - State: closed - Opened by pergu about 4 years ago - 4 comments
Labels: CLA Signed

#434 - Don't swallow errors in erltc escript

Pull Request - State: closed - Opened by mheiber about 4 years ago
Labels: CLA Signed

#428 - erltc finds sterlang or errors

Pull Request - State: closed - Opened by mheiber about 4 years ago - 3 comments
Labels: CLA Signed

#427 - do not mege, testing ci

Pull Request - State: closed - Opened by mheiber about 4 years ago
Labels: CLA Signed

#426 - Change the checks tests to use erltc --build

Pull Request - State: closed - Opened by pergu about 4 years ago - 3 comments
Labels: CLA Signed

#425 - [#419] Only respond to codeLens request once diagnostics are done

Pull Request - State: closed - Opened by alanz about 4 years ago - 3 comments
Labels: CLA Signed, IDE support

#424 - WIP WIP

Pull Request - State: closed - Opened by mheiber about 4 years ago
Labels: CLA Signed

#423 - Add more detail to Erlang analyzer README.md

Pull Request - State: closed - Opened by TD5 about 4 years ago
Labels: CLA Signed

#422 - vscode: syntax highlighting allows underscores in numeric literals

Pull Request - State: closed - Opened by alanz about 4 years ago - 4 comments
Labels: CLA Signed, IDE support

#421 - erlt_compile: fixing reading binary output from sterlang from stdio

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago
Labels: CLA Signed

#420 - IDE: allow more robust compilation with sterlangd detection

Pull Request - State: closed - Opened by alanz about 4 years ago - 5 comments
Labels: CLA Signed

#417 - Fix broken link to `doc/README.md`

Pull Request - State: closed - Opened by TD5 about 4 years ago
Labels: CLA Signed

#416 - Exported types for exported specs

Pull Request - State: closed - Opened by pergu about 4 years ago - 3 comments
Labels: CLA Signed

#413 - readme for akka example

Pull Request - State: closed - Opened by mheiber about 4 years ago - 5 comments
Labels: CLA Signed

#412 - Sterlang: experiment/exercise to type modules

Pull Request - State: closed - Opened by ilya-klyuchnikov about 4 years ago - 2 comments
Labels: CLA Signed, 🍿 discussion

#394 - WIP WIP CI check built ins

Pull Request - State: closed - Opened by mheiber about 4 years ago - 4 comments
Labels: CLA Signed

#372 - Catch and throw example with error and exit.

Pull Request - State: closed - Opened by pergu about 4 years ago - 12 comments
Labels: CLA Signed, 🍿 discussion

#342 - Fix #329 Classic Erlang type emit for shapes

Pull Request - State: closed - Opened by mheiber over 4 years ago - 11 comments
Labels: CLA Signed

#333 - an approach to attack "better/proper AST"

Pull Request - State: closed - Opened by ilya-klyuchnikov over 4 years ago - 1 comment
Labels: CLA Signed, 🍿 discussion

#267 - sterlang CI builds parallelized and focused

Pull Request - State: closed - Opened by mheiber over 4 years ago - 1 comment
Labels: CLA Signed

#211 - The record to struct parse transform example

Pull Request - State: closed - Opened by rvirding over 4 years ago - 1 comment
Labels: CLA Signed, 🍿 discussion, proof-of-concept

#181 - fix #174: there should be no deps on .beam files

Pull Request - State: closed - Opened by mheiber over 4 years ago - 8 comments
Labels: CLA Signed

#180 - Improve Ast for open_struct_type

Pull Request - State: closed - Opened by pergu over 4 years ago

#179 - Basic support for anonymous structs.

Pull Request - State: closed - Opened by pergu over 4 years ago - 10 comments
Labels: CLA Signed

#176 - erlbuild+erltc: track build_scan outputs

Pull Request - State: closed - Opened by mheiber over 4 years ago - 1 comment
Labels: CLA Signed

#173 - Continue struct implementation encore

Pull Request - State: closed - Opened by michalmuskala over 4 years ago - 31 comments
Labels: CLA Signed

GitHub / WhatsApp/erlt issues and pull requests