Code

Juvix to Isabelle/HOL translation#2752

Code

Merged

jonaprieto merged 16 commits intomainanoma/juvix:mainfrom juvix-to-isabelleanoma/juvix:juvix-to-isabelleCopy head branch name to clipboardJun 5, 2024

+688-5

Commits

Commits on May 22, 2024

• isabelle language

  lukaszcz

  committed
  66d954c

  Copy full SHA for 66d954c

• pretty printing

  lukaszcz

  committed
  ff4917b

  Copy full SHA for ff4917b

• remove sections

  lukaszcz

  committed
  524dd9e

  Copy full SHA for 524dd9e

• translation

  lukaszcz

  committed
  a0e1b32

  Copy full SHA for a0e1b32

• update cntlines.sh

  lukaszcz

  committed
  0f930bb

  Copy full SHA for 0f930bb

• CLI

  lukaszcz

  committed
  7d75641

  Copy full SHA for 7d75641

• pipeline & primitive types

  lukaszcz

  committed
  bb6eb26

  Copy full SHA for bb6eb26

• CLI

  lukaszcz

  committed
  82bc5a3

  Copy full SHA for 82bc5a3

• CLI

  lukaszcz

  committed
  75a545a

  Copy full SHA for 75a545a

• refactor

  lukaszcz

  committed
  535a4fd

  Copy full SHA for 535a4fd

• primitive lists & strings

  lukaszcz

  committed
  242e029

  Copy full SHA for 242e029

• type synonyms

  lukaszcz

  committed
  998bc24

  Copy full SHA for 998bc24

• --only-types option

  lukaszcz

  committed
  95f54ab

  Copy full SHA for 95f54ab

• use theory names without dots

  lukaszcz

  committed
  da8f71f

  Copy full SHA for da8f71f

Commits on Jun 3, 2024

• Merge branch 'main' into juvix-to-isabelle

  jonaprieto

  authored
  448b9c0

  Copy full SHA for 448b9c0

Commits on Jun 4, 2024

• Merge branch 'main' into juvix-to-isabelle

  lukaszcz

  authored
  ea6fe91

  Copy full SHA for ea6fe91