Commits

Branch selector

 master

User selector

samuelgruetter

Datepicker

All time

Commit History

Commits on Nov 16, 2016

• Merge pull request #5 from aha66/patch-1

  Show description for 8ce4c06
  samuelgruetter

  authored
  8ce4c06

  Copy full SHA for 8ce4c06

Commits on Jun 21, 2016

• add semester project report/slides to doc folder

  samuelgruetter

  committed
  9ca8467

  Copy full SHA for 9ca8467

Commits on Jun 16, 2016

• do not hardcode input file

  samuelgruetter

  committed
  eb1700e

  Copy full SHA for eb1700e

Commits on Jun 10, 2016

• move examples

  samuelgruetter

  committed
  b03bb6a

  Copy full SHA for b03bb6a

Commits on Jun 5, 2016

• miniscala to nuDOT translation rules (no context needed, easily supports constructor arguments, but not nominality)

  samuelgruetter

  committed
  af73416

  Copy full SHA for af73416

• model POT and encode miniscala into it (with inheritance & nominality & mutual recursion)

  samuelgruetter

  committed
  6fe0908

  Copy full SHA for 6fe0908

Commits on Jun 3, 2016

• forgot the most important :P

  samuelgruetter

  committed
  630d868

  Copy full SHA for 630d868

Commits on Jun 2, 2016

• example for encoding inheritance & nominality & mutual recursion (all we want), requires paths > 1

  samuelgruetter

  committed
  9b9c637

  Copy full SHA for 9b9c637

• encoding MutRec example in POT (DOT with paths > 1)

  samuelgruetter

  committed
  21edf28

  Copy full SHA for 21edf28

• move MutRec example translations into separate files

  samuelgruetter

  committed
  c25a24a

  Copy full SHA for c25a24a

Commits on Jun 1, 2016

• example with constructor arguments translated to nuDOT

  samuelgruetter

  committed
  889d8d3

  Copy full SHA for 889d8d3

• examples: we can define Nats without constructor args

  samuelgruetter

  committed
  9852e7c

  Copy full SHA for 9852e7c

• add abstract defs

  samuelgruetter

  committed
  d0d77fc

  Copy full SHA for d0d77fc

• mv scala/miniscala1/src/main/resources/miniscala/Booleans-translated.txt scala/miniscala1/src/main/resources/miniscala/Booleans-in-DOT.txt

  samuelgruetter

  committed
  41cfb21

  Copy full SHA for 41cfb21

• mv scala/miniscala-to-nuDOT-rules.md scala/miniscala-no-inheritance-to-nuDOT-rules.md

  samuelgruetter

  committed
  8a12baa

  Copy full SHA for 8a12baa

• bidirectional typing & make sure blocks are not assigned types p starting with a var defined inside block

  samuelgruetter

  committed
  ac2c6b7

  Copy full SHA for ac2c6b7

• add subtyping, where to put subsumption?

  samuelgruetter

  committed
  14b1238

  Copy full SHA for 14b1238

• cp scala/miniscala-to-DOT-rules.md scala/miniscala-no-inheritance-to-DOT-rules.md

  samuelgruetter

  committed
  87afca2

  Copy full SHA for 87afca2

Commits on May 28, 2016

• DOT LN Coq pretty-printer => now we have a first complete pipeline from real Scala code to Coq DOT ASTs :)

  samuelgruetter

  committed
  8857616

  Copy full SHA for 8857616

• add Any type and expected type, so that we can assign a type at top-level

  samuelgruetter

  committed
  1a7998e

  Copy full SHA for 1a7998e

• impl dot trees to LN. crashes if return type of block is a path starting with something defined inside the block (which is always the case, as it turns out, because all types are paths referring to…

  Show description for 127fc03
  samuelgruetter

  committed
  127fc03

  Copy full SHA for 127fc03

• typos in rules

  samuelgruetter

  committed
  ed627d0

  Copy full SHA for ed627d0

• miniscala to DOT translation written in Scala

  samuelgruetter

  committed
  8a5ec8f

  Copy full SHA for 8a5ec8f

Commits on May 27, 2016

• translate miniscala ASTs from Scala to (locally nameless) Coq

  Show description for eb3e454
  samuelgruetter

  committed
  eb3e454

  Copy full SHA for eb3e454

• adapt parser to be closer to DOT (App vs Sel&App)

  samuelgruetter

  committed
  ff98d13

  Copy full SHA for ff98d13

• update parser: the whole program is inside the println of the main

  samuelgruetter

  committed
  0366615

  Copy full SHA for 0366615

• adapt translation to example in scala/miniscala1/src/main/resources/miniscala/MutRec.scala

  samuelgruetter

  committed
  3f635d4

  Copy full SHA for 3f635d4

• cp scala/miniscala-to-DOT-rules.md scala/miniscala-to-DOT-rules-infinite-translation.md

  samuelgruetter

  committed
  0fe4299

  Copy full SHA for 0fe4299

Commits on May 26, 2016

• Booleans and Numbers in OO examples

  samuelgruetter

  committed
  f60efbd

  Copy full SHA for f60efbd

• small fix

  samuelgruetter

  committed
  059dad8

  Copy full SHA for 059dad8

• MutRec example for new encoding which creates constructor def for each class

  samuelgruetter

  committed
  de10de2

  Copy full SHA for de10de2

Commits on May 25, 2016

• translate MutRec example by hand => Oh no, expanding the constructors at each usage results in infinite loops during translation

  samuelgruetter

  committed
  342dbb6

  Copy full SHA for 342dbb6

• cp MutRec.scala MutRec0.scala

  samuelgruetter

  committed
  3c5b5dc

  Copy full SHA for 3c5b5dc

• since we do not have val members, and paths referring to classes are not typed any more by the term typing judgment, we do not need the trSel1/2 judgments any more, and we can drop the term t.l and…

  Show description for d9c1b1c
  samuelgruetter

  committed
  d9c1b1c

  Copy full SHA for d9c1b1c

• little note on context translation

  samuelgruetter

  committed
  d6f9543

  Copy full SHA for d6f9543

Pagination

Previous

Next