issues
search
dwango
/
fialyzer
[WIP] Faster Implementation of Dialyzer
https://dwango.github.io/fialyzer/
Apache License 2.0
56
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix CI
#189
kmizu
closed
5 years ago
1
Use /bin/bash for workaround
#188
kmizu
closed
5 years ago
0
Now blackbox testing works on Ubuntu
#187
kmizu
closed
5 years ago
0
Cannot blackbox testing on Ubuntu
#186
yoshihiro503
closed
5 years ago
0
[182] add expr to constraints
#185
yoshihiro503
closed
5 years ago
3
Fix #172
#184
yoshihiro503
closed
5 years ago
0
Refactor: Introduce `constraint.ml`
#183
yoshihiro503
closed
5 years ago
0
Add line number (expression) to constraints
#182
yoshihiro503
closed
5 years ago
0
Fix the problem that the order of union elements changes by `sup` function.
#181
yoshihiro503
closed
5 years ago
0
[176] bug of solv disj
#180
yoshihiro503
closed
5 years ago
0
Feature/issue 177/fix bug of sup
#179
yoshihiro503
closed
5 years ago
0
WIP: Implement derivation rule of list
#178
kmizu
closed
5 years ago
1
Bug: sup of function types
#177
yoshihiro503
closed
5 years ago
0
Bug: solve_disj
#176
yoshihiro503
closed
5 years ago
0
Bug: solving for any case
#175
yoshihiro503
closed
5 years ago
1
Slack Integration Test 2
#174
kmizu
closed
5 years ago
1
Slack integration test
#173
kmizu
closed
5 years ago
0
An unnecessary constraint for the derivation rule [MfaExpr]
#172
yoshihiro503
closed
5 years ago
0
Implement Type.of_erl_type
#171
youxkei
closed
5 years ago
0
Types of BIF
#170
yoshihiro503
opened
5 years ago
0
Feature/issue 168/auto import to erlang
#169
yoshihiro503
closed
5 years ago
0
Support auto-import BIF
#168
yoshihiro503
closed
5 years ago
0
Multi module support
#167
yoshihiro503
closed
5 years ago
0
Support `-import` modules
#166
yoshihiro503
opened
5 years ago
0
Add line to App, Abs, Let, and Letrec
#165
kmizu
closed
5 years ago
1
Add derivation rules doc
#164
amutake
closed
5 years ago
3
Add line to Tuple of Ast
#163
kmizu
closed
5 years ago
3
introduce Type_check module
#162
yoshihiro503
closed
5 years ago
1
Show types for debug
#161
yoshihiro503
closed
5 years ago
0
Show an appropriate line number about TypeError
#160
kmizu
closed
5 years ago
0
Add line number to PatNil
#159
kmizu
closed
5 years ago
1
Add line number to PatCons
#158
kmizu
closed
5 years ago
0
Add line number to PatConstant
#157
kmizu
closed
5 years ago
0
Add line number to PatTuple
#156
kmizu
closed
5 years ago
0
Add line number to PatVar
#155
kmizu
closed
5 years ago
0
Add line number to ListNil
#154
kmizu
closed
5 years ago
0
Add line number to ListCons
#153
kmizu
closed
5 years ago
0
Add line number to MFA
#152
kmizu
closed
5 years ago
0
Add line number to LocalFun
#151
kmizu
closed
5 years ago
0
Add line number to Case
#150
kmizu
closed
5 years ago
0
Add line number to Letrec
#149
kmizu
closed
5 years ago
0
Add line number to Let
#148
kmizu
closed
5 years ago
0
Add line number to Abs
#147
kmizu
closed
5 years ago
0
Add line number to App
#146
kmizu
closed
5 years ago
0
Add line number to Tuple
#145
kmizu
closed
5 years ago
0
Show line number
#144
kmizu
closed
5 years ago
0
Improve conversion to type from absform (for spec notations)
#143
yoshihiro503
closed
5 years ago
1
Refactor Erl_type again
#142
youxkei
closed
5 years ago
0
Map pattern, creation, and update (partially)
#141
amutake
closed
5 years ago
4
obeam-0.1.3
#140
amutake
closed
5 years ago
0
Previous
Next