issues
search
hephaestus-compiler-project
/
hephaestus
A framework for testing compilers' type checkers
https://hephaestus-compiler-project.github.io/
GNU General Public License v3.0
49
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Correcting Grammar/Typographical Errors
#49
davis-matthew
closed
11 months ago
1
Scala support
#48
theosotr
closed
1 year ago
0
TypeScript Compiler Testing Support
#47
alexisthedev
opened
1 year ago
2
TypeScript Compiler Testing in Hephaestus
#46
alexisthedev
closed
1 year ago
3
Refactoring of generator
#45
StefanosChaliasos
opened
3 years ago
0
Ideas for the soundness mutation
#44
StefanosChaliasos
closed
2 years ago
1
Parameterized functions
#43
theosotr
closed
3 years ago
1
Add Functional features
#42
StefanosChaliasos
closed
2 years ago
6
Add support for Scala
#41
theosotr
opened
3 years ago
0
Add support for higher-order functions
#40
theosotr
closed
3 years ago
2
Add support for parameterized functions
#39
theosotr
closed
3 years ago
2
Refactor program generator
#38
theosotr
closed
3 years ago
1
Java Bugs
#37
StefanosChaliasos
opened
3 years ago
0
Feature default args
#36
theosotr
closed
3 years ago
1
Feature varargs
#35
theosotr
closed
3 years ago
0
Feature primitive types
#34
theosotr
closed
3 years ago
2
Remove redundant deepcopys
#33
theosotr
closed
3 years ago
1
Improve the performance of the tool
#32
theosotr
closed
3 years ago
2
Support Array types
#31
theosotr
closed
3 years ago
3
Add support for java
#30
StefanosChaliasos
closed
3 years ago
4
Add support for Java
#29
StefanosChaliasos
closed
3 years ago
0
generator: Handle variable declarations in a better way
#28
theosotr
closed
3 years ago
0
Important, but basic language features
#27
theosotr
closed
3 years ago
1
FP in incorrect substitution groovy
#26
StefanosChaliasos
closed
3 years ago
3
Implementation errors related to Type Arguments Erasure
#25
StefanosChaliasos
closed
3 years ago
2
implementation bug: Parameterized transformation (return type of function)
#24
StefanosChaliasos
closed
3 years ago
0
enhancement: update_type takes too long some times
#23
StefanosChaliasos
closed
3 years ago
1
Add support for groovy
#22
StefanosChaliasos
closed
3 years ago
2
enhancement: in certain cases permit smart casts for parameterized types
#21
theosotr
closed
3 years ago
0
enhancement: Introduce type parameters in more places
#20
theosotr
closed
3 years ago
0
Handle KeyboardInterrupt
#19
StefanosChaliasos
closed
3 years ago
0
Add batch option
#18
StefanosChaliasos
closed
3 years ago
1
Known Implementation Errors
#17
StefanosChaliasos
closed
3 years ago
0
Add support for Groovy
#16
StefanosChaliasos
closed
3 years ago
0
Boost the performance of the tool
#15
theosotr
closed
3 years ago
5
Compute transformation schedule based on a probabilistic function
#14
theosotr
closed
3 years ago
3
Replay functionality
#13
theosotr
closed
3 years ago
2
Implementation errors
#12
StefanosChaliasos
closed
3 years ago
0
Add parent field in nodes
#11
StefanosChaliasos
closed
2 years ago
0
Known implementation bugs
#10
StefanosChaliasos
closed
3 years ago
1
Add handler to stop testing with Ctr+C
#9
StefanosChaliasos
closed
3 years ago
0
Refactor of kotlin translator
#8
StefanosChaliasos
closed
3 years ago
1
Create deploy scripts for running experiments in workstations
#7
StefanosChaliasos
closed
3 years ago
1
Implement a parser from kotlin to our AST
#6
StefanosChaliasos
opened
3 years ago
0
Make transformations (mutations) as permissive as possible
#5
StefanosChaliasos
closed
3 years ago
0
Implements transformations (mutations) to inject faults
#4
StefanosChaliasos
closed
3 years ago
1
Add a dataset of test cases to be used as seed programs
#3
StefanosChaliasos
opened
3 years ago
0
Remove type information from Parameterized Types when possible
#2
StefanosChaliasos
closed
3 years ago
4
New language features
#1
theosotr
closed
3 years ago
1