Skip to content
GitLab
Explore
Sign in
Markus Klinik
program-analysis
Repository
Branches
Overview
Active
Stale
All
CFA
eec3cdcf
·
it's okay, really.
·
Mar 16, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CTA
8d03b046
·
test program demonstrating poisoning in applications
·
Apr 11, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
MMX
0ce1cc9e
·
Typechecker: improve trace messages
·
May 12, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
MME
2d2f6260
·
code formatting
·
May 12, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
MMT
8715927f
·
testcases: subtyping fixes them
·
May 12, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
PME
5921bbda
·
listToString: no newline before last bracket
·
May 25, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
PPE
2236bf7d
·
algW ELet: generalize in updated environment
·
May 26, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
PPT
538daf36
·
Merge branch 'PPE' into PPT
·
May 26, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
solveSubsumptionsGlobally
a6ab102e
·
disable local subsumption solving
·
Jul 15, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cookingExample
6fbcc496
·
some wip I guess
·
Jul 15, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bindSubtyping
69351ee8
·
test program bindNeedsSubtyping
·
Apr 04, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
unaryOperator
3489805d
·
unary operators and function application don't work
·
Jul 27, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
skylines
198b99e2
·
revise README
·
Jul 22, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
a23ad6d1
·
port to Clean clean-bundle-complete-2019-05-07
·
Aug 20, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar