Commits

Breadcrumbs

History for

on326efca

User selector

All users

Datepicker

All time

Commit History

Commits on May 2, 2022

• Fix some more do_app related proofs in candle

  HeikoBecker

  committed
  a17f3f5

Commits on Apr 26, 2022

• Fix one more proof in permsScript

  HeikoBecker

  committed
  59f00ec

• Fix permsScript to support value trees

  HeikoBecker

  committed
  6e7811d

• Add new Fp constructs to Candle ast_extras

  HeikoBecker

  committed
  e95a379

Commits on Mar 11, 2022

• Add AallocFixed to source AST and semantics

  Show description for fea11a8
  myreen

  committed
  fea11a8

Commits on Feb 27, 2022

• Stop at errors and interrupts in candle_boot.ml

  oskarabrahamsson

  committed
  980cf24

• Update candle_boot.ml

  oskarabrahamsson

  committed
  cf744e4

• Resolve merge conflicts with master

  oskarabrahamsson

  committed
  82f32f3

Commits on Feb 24, 2022

• Fix candle/prover for changes to translator and HOL

  myreen

  committed
  26729c2

Commits on Feb 21, 2022

• Revert "Make translator use new lookup_indn from DefnBase"

  Show description for 2f7d092
  myreen

  committed
  2f7d092

• Make translator use new lookup_indn from DefnBase

  myreen

  committed
  02b076e

Commits on Feb 17, 2022

• Rename monad constructors in candle_kernel_funs

  oskarabrahamsson

  committed
  6bcfea2

Commits on Feb 14, 2022

• Change monad constructors in candle/overloading

  oskarabrahamsson

  committed
  18dda4f

• Merge remote-tracking branch 'origin/master' into repl

  Show description for f1f66be
  oskarabrahamsson

  committed
  f1f66be

Commits on Feb 12, 2022

• Do st_ex renaming in Candle proofs

  oskarabrahamsson

  committed
  5e84ba2

• Include candle_boot.ml and repl_boot.cml in tar.gz for 64-bit x64

  myreen

  committed
  d2643aa

Commits on Feb 11, 2022

• Rename the Candle Fail exception to Failure

  oskarabrahamsson

  committed
  2565b63

Commits on Feb 7, 2022

• adds README for candle/overloading

  arolle

  committed
  62355d1

Commits on Feb 4, 2022

• Prove perms_ok for new thm_to_string

  myreen

  committed
  60bb9f1

• Implement thm_to_string

  myreen

  committed
  b9a0ca0

Commits on Feb 2, 2022

• acyclic_len becomes ~cyclic_len

  arolle

  committed
  254ef5d

• Alias 'hol_type' to 'type' in the Candle program

  oskarabrahamsson

  committed
  3a0c49b

Commits on Feb 1, 2022

• simplify a proof and remove an assumption

  arolle

  committed
  2e81518

Commits on Jan 31, 2022

• explains the checker's different return values

  arolle

  committed
  cdb7143

• Fix more typos, revert string reversal

  Show description for 65fba01
  IlmariReissumies

  committed
  65fba01

• Fix even more typo

  Show description for bf23b9f
  IlmariReissumies

  committed
  bf23b9f

• Fix another typo

  Show description for 9bc721a
  IlmariReissumies

  committed
  9bc721a

• Fix a typo in previous commit

  Show description for 0800575
  IlmariReissumies

  committed
  0800575

• Add pretty-printer to display cycles

  IlmariReissumies

  committed
  3e7d374

• Fix a type error

  Show description for 4ed347b
  IlmariReissumies

  committed
  4ed347b

Commits on Jan 30, 2022

• Add readme

  IlmariReissumies

  committed
  f421fbd

• cyclicity checker: improve parser performance (hack)

  Show description for 4a79b6e
  arolle

  committed
  4a79b6e

Commits on Jan 28, 2022

• Move start of Candle kernel down (to allow pp funs)

  myreen

  committed
  0b27391

• removes example execution of dep_steps

  arolle

  committed
  2b57823

• Fix a malformed rev call

  IlmariReissumies

  committed
  9036eba

Pagination

Previous

Next