Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 30, 2022

• installation

  namin

  committed
  f34c4f1

  Copy full SHA for f34c4f1

• import LibLN

  namin

  committed
  5bb82a5

  Copy full SHA for 5bb82a5

Commits on Nov 1, 2018

• Update README.md

  namin

  authored
  5226123

  Copy full SHA for 5226123

Commits on Dec 5, 2016

• cp dot.v hot.v

  namin

  committed
  9e74915

  Copy full SHA for 9e74915

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

• Update doc.md

  Show description for 7208deb
  aha66

  authored
  7208deb

  Copy full SHA for 7208deb

Commits on Sep 5, 2016

• diamond done

  namin

  committed
  091f8ff

  Copy full SHA for 091f8ff

• cp Dsubsup.v Ddia.v

  namin

  committed
  f4f5d25

  Copy full SHA for f4f5d25

• D<:> done

  namin

  committed
  0fc8c19

  Copy full SHA for 0fc8c19

• cp Dsub.v Dsubsup.v

  namin

  committed
  891c9e8

  Copy full SHA for 891c9e8

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

Pagination

Previous

Next