issues
search
joristt
/
Hanus
A much more powerful version of the reversible language Janus, built in Haskell
8
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Cleaning up code
#91
omelkonian
closed
6 years ago
1
SemanticChecker: error messages
#90
omelkonian
closed
6 years ago
0
Added reference.
#89
joristt
closed
6 years ago
0
Report: small fixes + styling
#88
omelkonian
closed
6 years ago
0
Report: Guarantees + Benchmarks + TH Reflection + Code Navigation
#87
omelkonian
closed
6 years ago
1
Added if==fi-assertion, fixed scoping bugs, fixed naming bug.
#86
joristt
closed
6 years ago
0
Added future work section.
#85
joristt
closed
6 years ago
2
Report: Evaluation (and some reflection)
#84
casvdrest
closed
6 years ago
4
Added parts on semantics and examples
#83
jorisburgers
closed
6 years ago
2
Fix operators
#82
ivogabe
closed
6 years ago
1
Nested while loops bugfix
#81
joristt
closed
6 years ago
1
Updated from master
#80
jorisburgers
closed
6 years ago
0
Even sicker eval hotfix
#79
joristt
closed
6 years ago
1
Update branch with master
#78
jorisburgers
closed
6 years ago
0
this is a sick hotfix
#77
casvdrest
closed
6 years ago
5
Report: Intro, Turing completeness & parser
#76
ivogabe
closed
6 years ago
0
capitals and emojis 🤑🤑🤑🤑🤑🤑
#75
ivogabe
closed
6 years ago
0
Report: initial setup
#74
omelkonian
closed
6 years ago
0
Poster: final styling and UU logo
#73
omelkonian
closed
6 years ago
9
Added division example to poster
#72
jorisburgers
closed
6 years ago
3
Add 'Haskell Power' to poster
#71
ivogabe
closed
6 years ago
1
Poster introduction
#70
joristt
closed
6 years ago
6
Poster setup
#69
omelkonian
closed
6 years ago
5
Add functor and maybe
#68
ivogabe
closed
6 years ago
3
Final report
#67
ivogabe
closed
6 years ago
0
Add Binary Trees and some other utils
#66
ivogabe
closed
6 years ago
0
Fix if parsing
#65
ivogabe
closed
6 years ago
2
Benchmarking setup
#64
omelkonian
closed
6 years ago
1
AST reversal.
#63
omelkonian
closed
6 years ago
2
Presentation: motivations
#62
casvdrest
closed
6 years ago
1
Presentation: last fixes
#61
omelkonian
closed
6 years ago
0
Parse array indexers and fields in LHS
#60
ivogabe
closed
6 years ago
1
Added presentation of language
#59
jorisburgers
closed
6 years ago
0
Add references page and questions page
#58
ivogabe
closed
6 years ago
0
Presentation: Relational Programming + Project
#57
omelkonian
closed
6 years ago
5
Add files via upload
#56
casvdrest
closed
6 years ago
1
Add slides for theoretical background
#55
ivogabe
closed
6 years ago
0
Joris T presentation
#54
joristt
closed
6 years ago
1
Fixed some minor mistakes that worked their way into the master branch.
#53
joristt
closed
6 years ago
0
Shortened initial proposal and added section on evaluation
#52
casvdrest
closed
6 years ago
0
Progress Report: Semantic checking + Timeline
#51
omelkonian
closed
6 years ago
1
Added section on the parser for the intermediate report
#50
jorisburgers
closed
6 years ago
0
Janus evaluation
#49
joristt
closed
6 years ago
2
Presentation
#48
ivogabe
closed
6 years ago
1
Fix parser
#47
ivogabe
closed
6 years ago
0
Added intermediate report from proposal
#46
jorisburgers
closed
6 years ago
0
Parser: example not working
#45
omelkonian
closed
6 years ago
0
Progress Report
#44
omelkonian
closed
6 years ago
0
Semantic checking.
#43
omelkonian
closed
6 years ago
10
Semantic Checker
#42
omelkonian
closed
6 years ago
1
Next