Commits

Branch selector

 master

User selector

oskarabrahamsson

Datepicker

All time

Commit History

Commits on May 28, 2022

• Make REPL use linear scan allocator by default

  oskarabrahamsson

  committed
  e4fb78d

  Copy full SHA for e4fb78d

• Revert "Enable call_empty_ffi by default"

  Show description for 2d27068
  oskarabrahamsson

  committed
  2d27068

  Copy full SHA for 2d27068

Commits on May 24, 2022

• Translate full_compile_single_for_eval with spec64

  oskarabrahamsson

  committed
  9bbbc5a

  Copy full SHA for 9bbbc5a

Commits on May 23, 2022

• Enable call_empty_ffi by default

  oskarabrahamsson

  committed
  ca98576

  Copy full SHA for ca98576

• Make chatty copy of incremental word2word compiler

  oskarabrahamsson

  committed
  3ce09b7

  Copy full SHA for 3ce09b7

• Move inc_compiler empty_ffi calls into the right place

  oskarabrahamsson

  committed
  2516df6

  Copy full SHA for 2516df6

Commits on May 19, 2022

• Add empty_ffi calls to incremental compiler

  oskarabrahamsson

  committed
  79760e3

  Copy full SHA for 79760e3

Commits on May 12, 2022

• Change how the caml parser deals with guards

  Show description for ba560f5
  oskarabrahamsson

  committed
  ba560f5

  Copy full SHA for ba560f5

Commits on May 10, 2022

• Add source_to_source to to_flatProg

  oskarabrahamsson

  committed
  75900ed

  Copy full SHA for 75900ed

• Update READMEs

  oskarabrahamsson

  committed
  3323aca

  Copy full SHA for 3323aca

• Add source-to-source defs to backendComputeLib

  oskarabrahamsson

  committed
  a9ee418

  Copy full SHA for a9ee418

Commits on Apr 23, 2022

• Look at source_eval_semantics

  oskarabrahamsson

  committed
  ca4b934

  Copy full SHA for ca4b934

• Start working through backendProof

  oskarabrahamsson

  committed
  589d110

  Copy full SHA for 589d110

• Compose inc_compile with some function

  oskarabrahamsson

  committed
  c8e3e82

  Copy full SHA for c8e3e82

• Add source-to-source to backendScript

  oskarabrahamsson

  committed
  20d7165

  Copy full SHA for 20d7165

• Rename the source-to-source compiler

  oskarabrahamsson

  committed
  d169ed9

  Copy full SHA for d169ed9

Commits on Apr 20, 2022

• Remove cheat in source_let

  oskarabrahamsson

  committed
  e857039

  Copy full SHA for e857039

Commits on Apr 18, 2022

• Change semantics theorem statements

  oskarabrahamsson

  committed
  c979701

  Copy full SHA for c979701

• Add source_let to source_to_source pass

  oskarabrahamsson

  committed
  e1d01fc

  Copy full SHA for e1d01fc

• Prove one part of source_let semantics thm.

  oskarabrahamsson

  committed
  d4c1e24

  Copy full SHA for d4c1e24

• Prove compile_decs correct

  oskarabrahamsson

  committed
  eddc886

  Copy full SHA for eddc886

• Remove function pushing stuff from source_let

  oskarabrahamsson

  committed
  348b18e

  Copy full SHA for 348b18e

• Move a practical theorem into evaluateProps

  oskarabrahamsson

  committed
  f38753e

  Copy full SHA for f38753e

Commits on Apr 14, 2022

• Fix termination in source_let

  oskarabrahamsson

  committed
  8b19654

  Copy full SHA for 8b19654

• Start working on source_let pass

  oskarabrahamsson

  committed
  f2f9ab2

  Copy full SHA for f2f9ab2

Commits on Apr 12, 2022

• Add CF specs for Array.appi

  oskarabrahamsson

  committed
  80dbdc4

  Copy full SHA for 80dbdc4

• Fix Array.appi implementation

  oskarabrahamsson

  committed
  5c783d0

  Copy full SHA for 5c783d0

• Translate new mlmap functions

  oskarabrahamsson

  committed
  4c966fb

  Copy full SHA for 4c966fb

• Give mapWithKey its real name

  oskarabrahamsson

  committed
  9f3932d

  Copy full SHA for 9f3932d

Commits on Apr 11, 2022

• Wrap some new functions from balanced_map in mlmap

  oskarabrahamsson

  committed
  f7dae36

  Copy full SHA for f7dae36

Commits on Apr 10, 2022

• Use Datatype/Definition syntax in mlmap

  oskarabrahamsson

  committed
  371e1b9

  Copy full SHA for 371e1b9

Commits on Mar 14, 2022

• Prevent the pattern parser from taking apart alias

  Show description for be5529e
  oskarabrahamsson

  committed
  be5529e

  Copy full SHA for be5529e

Commits on Feb 27, 2022

• Stop at errors and interrupts in repl_boot.cml

  oskarabrahamsson

  committed
  8d70115

  Copy full SHA for 8d70115

• Stop at errors and interrupts in candle_boot.ml

  oskarabrahamsson

  committed
  980cf24

  Copy full SHA for 980cf24

• Update candle_boot.ml

  oskarabrahamsson

  committed
  cf744e4

  Copy full SHA for cf744e4

Pagination

Previous

Next