2016-02-25 |
Christian Urban |
more cleaning and moving unnessary stuff to the end
|
changeset |
files
|
2016-02-25 |
Christian Urban |
updated
|
changeset |
files
|
2016-02-24 |
Christian Urban |
updated theories and cleaned them up
|
changeset |
files
|
2016-02-15 |
Christian Urban |
added some slides
|
changeset |
files
|
2016-02-13 |
Christian Urban |
updated
|
changeset |
files
|
2016-02-10 |
Christian Urban |
fixed inj function
|
changeset |
files
|
2016-02-08 |
Christian Urban |
strengthened PMatch to get determ
|
changeset |
files
|
2016-02-08 |
Christian Urban |
updated
|
changeset |
files
|
2016-02-08 |
Christian Urban |
updated
|
changeset |
files
|
2016-02-07 |
Christian Urban |
updated
|
changeset |
files
|
2016-02-05 |
Christian Urban |
added new version of paper by sulzmann
|
changeset |
files
|
2016-02-05 |
Christian Urban |
started a paper and moved cruft to Attic
|
changeset |
files
|
2016-02-02 |
Christian Urban |
proved also finiteness of non-problematic values
|
changeset |
files
|
2016-02-01 |
Christian Urban |
extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values |=
|
changeset |
files
|
2016-02-01 |
Christian Urban |
ReStar changes
|
changeset |
files
|
2016-02-01 |
Christian Urban |
more lemmas for star
|
changeset |
files
|
2016-01-30 |
Christian Urban |
proved some lemmas about star and mkeps (injval etc not yet done)
|
changeset |
files
|
2016-01-21 |
Christian Urban |
added theory for star
|
changeset |
files
|
2016-01-14 |
Christian Urban |
updated
|
changeset |
files
|
2016-01-06 |
Christian Urban |
added type inference paper and updated Re.thy
|
changeset |
files
|
2015-12-19 |
Christian Urban |
added a proof about Values and PMatch
|
changeset |
files
|
2015-12-18 |
Christian Urban |
updated
|
changeset |
files
|
2015-12-18 |
Christian Urban |
the algorithm is correct according to the Type Inference definition
|
changeset |
files
|
2015-12-18 |
Christian Urban |
added POSIX relation from the Type-Inference paper
|
changeset |
files
|
2015-12-17 |
Christian Urban |
cleaned up version of Re1
|
changeset |
files
|
2015-12-17 |
Christian Urban |
updated
|
changeset |
files
|
2015-07-06 |
Christian Urban |
added phd thesis
|
changeset |
files
|
2015-06-10 |
Christian Urban |
added frisch / cardelli paper
|
changeset |
files
|
2015-06-08 |
Christian Urban |
updated the Isabelle theories with the totality proof
|
changeset |
files
|
2015-05-25 |
Christian Urban |
proved some basic properties (totality and trichonomity) for the orderings
|
changeset |
files
|
2015-04-25 |
Christian Urban |
added an equivalent slightly simpler POSIX definition
|
changeset |
files
|
2015-04-10 |
Christian Urban |
updated
|
changeset |
files
|
2015-03-13 |
Christian Urban |
updated from the session today
|
changeset |
files
|
2015-03-09 |
Christian Urban |
solved one case
|
changeset |
files
|
2015-03-04 |
Christian Urban |
updated R1 and notes
|
changeset |
files
|
2015-02-26 |
Christian Urban |
added a section about a nullable proof
|
changeset |
files
|
2015-02-26 |
fahad |
merges
|
changeset |
files
|
2015-02-26 |
fahad |
deleted file
|
changeset |
files
|
2015-02-26 |
fahad |
merged
|
changeset |
files
|
2015-02-26 |
fahad |
merged
|
changeset |
files
|
2015-02-14 |
Christian Urban |
updated
|
changeset |
files
|
2015-02-12 |
fahad |
ch3
|
changeset |
files
|
2015-02-11 |
Christian Urban |
deleted file
|
changeset |
files
|
2015-02-11 |
Christian Urban |
updated
|
changeset |
files
|
2015-02-09 |
Christian Urban |
updated some rules
|
changeset |
files
|
2015-02-09 |
fahad |
test
|
changeset |
files
|
2015-01-31 |
Christian Urban |
added a preliminary part describing the main theorem
|
changeset |
files
|
2015-01-30 |
Christian Urban |
added line numbers
|
changeset |
files
|
2015-01-30 |
Christian Urban |
updated more
|
changeset |
files
|
2015-01-30 |
Christian Urban |
updated
|
changeset |
files
|
2015-01-29 |
Christian Urban |
updated
|
changeset |
files
|
2015-01-29 |
Christian Urban |
added some notes (still incomplete)
|
changeset |
files
|
2015-01-29 |
fahad |
no changes
|
changeset |
files
|
2015-01-29 |
Christian Urban |
added some lemmas, attempted others
|
changeset |
files
|
2015-01-26 |
fahad |
test
|
changeset |
files
|
2015-01-26 |
fahad |
test
|
changeset |
files
|
2015-01-26 |
Fahad Ausaf |
fahad's experiments
|
changeset |
files
|
2015-01-21 |
Christian Urban |
updated
|
changeset |
files
|
2015-01-19 |
Christian Urban |
added a function for calculating values
|
changeset |
files
|
2014-12-26 |
Christian Urban |
added a paper to Literature
|
changeset |
files
|