Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 1, 2021

• [Builtins] Added 'Data' as a built-in type (IntersectMBO#3385)

  effectfully

  authored
  b2ea280

Commits on Jun 20, 2021

• removed a comment that contained a merge conflict (IntersectMBO#3391)

  Show description for cc637ad
  jmchapman

  authored
  cc637ad

Commits on Jun 4, 2021

• SCP-2318 (IntersectMBO#3274)

  Show description for 5958f71
  jmchapman

  authored
  5958f71

Commits on Jun 3, 2021

• [Builtins] Added lists and tuples (IntersectMBO#2933)

  effectfully

  authored
  32f4148

Commits on May 27, 2021

• first version of CC machine (IntersectMBO#3272)

  jmchapman

  authored
  11d4eae

• SCP-2300 (IntersectMBO#3263)

  Show description for 42b876d
  jmchapman

  authored
  42b876d

Commits on May 24, 2021

• SCP-2246 (IntersectMBO#3207)

  Show description for f5bf419
  jmchapman

  authored
  f5bf419

Commits on May 17, 2021

• Kwxm/scp 2176/cost model ledger interface (IntersectMBO#3179)

  Show description for 0b23a51
  

  Kenneth MacKenzie

  authored
  0b23a51

Commits on May 11, 2021

• SCP-2177 (IntersectMBO#3079) refactor builtin machinery

  Show description for c5ae5de
  jmchapman

  authored
  c5ae5de

Commits on Apr 23, 2021

• SCP-2148 (IntersectMBO#3040)

  Show description for 34aa9c3
  jmchapman

  authored
  34aa9c3

Commits on Apr 19, 2021

• CC => reduction (IntersectMBO#3025)

  jmchapman

  authored
  808fd19

Commits on Apr 16, 2021

• SCP-1972 CK => CC (types) (IntersectMBO#2995)

  Show description for 2ea513d
  jmchapman

  authored
  2ea513d

Commits on Apr 12, 2021

• CC => CK (types) SCP-1894 (IntersectMBO#2938)

  Show description for 7f3a52c
  jmchapman

  authored
  7f3a52c

Commits on Mar 29, 2021

• SCP-1893 (IntersectMBO#2876)

  Show description for 487ff63
  jmchapman

  authored
  487ff63

Commits on Mar 16, 2021

• Fixups uses of moved modules

  michaelpj

  committed
  a1fc45e

Commits on Mar 9, 2021

• [PLC] [Costing] Improved budgeting modes (IntersectMBO#2813)

  effectfully

  authored
  99e7706

Commits on Mar 6, 2021

• SCP-2009 towards successful EC reduction implies successful CC execution for types (IntersectMBO#2811)

  Show description for 7181803
  jmchapman

  authored
  7181803

Commits on Mar 1, 2021

• SCP-1960 properties of ECs, EC style reduction and CC machine (IntersectMBO#2756)

  Show description for b389d71
  jmchapman

  authored
  b389d71

Commits on Feb 24, 2021

• [SCP-853] Made logging pure (IntersectMBO#2757)

  effectfully

  authored
  206a243

Commits on Feb 17, 2021

• SCP-1890 refactor type reduction machinery + implement CC machine (IntersectMBO#2735)

  Show description for f49ef8c
  jmchapman

  authored
  f49ef8c

Commits on Feb 11, 2021

• SCP-1826 Verified renaming and substitution for NEAT types via agda2hs (IntersectMBO#2694)

  Show description for 5f2bdb5
  jmchapman

  authored
  5f2bdb5

Commits on Feb 10, 2021

• SCP-1823 untyped evaluation in plc-agda (IntersectMBO#2703)

  Show description for 89bbdd3
  jmchapman

  authored
  89bbdd3

Commits on Feb 5, 2021

• SCP-1822 formalising builtins for untyped PLC (IntersectMBO#2681)

  Show description for a0790a2
  jmchapman

  authored
  a0790a2

Commits on Feb 2, 2021

• Add untyped examples to plc command (SCP-1752) (IntersectMBO#2669)

  Show description for 2fc5e75
  

  Kenneth MacKenzie

  and

  jmchapman

  authored
  2fc5e75

• SCP-411 Untyped PLC formalised (without builtins) (IntersectMBO#2678)

  Show description for 2b1d096
  jmchapman

  authored
  2b1d096

Commits on Jan 27, 2021

• SCP-1292 improve NEAT coverage (IntersectMBO#2625)

  Show description for cae242b
  jmchapman

  authored
  cae242b

Commits on Jan 15, 2021

• WIP update plutus-metatheory documentation (IntersectMBO#2589)

  Show description for 7bf01df
  jmchapman

  authored
  7bf01df

Commits on Jan 8, 2021

• SCP-1663: Do the debruijn transformation in the plugin

  Show description for 5f530c5
  michaelpj

  committed
  5f530c5

Commits on Jan 4, 2021

• SCP-1517 unsaturated builtins for extrinsically typed syntax/semantics (IntersectMBO#2556)

  Show description for 01ded66
  jmchapman

  authored
  01ded66

Commits on Dec 2, 2020

• renamed runLAgda to runTLAgda and runTCEKVAgda to runTCEKAgda

  jmchapman

  committed
  e334fee

Commits on Nov 30, 2020

• divide by zero

  jmchapman

  committed
  7cc4786

• removed btype

  jmchapman

  committed
  9d6bed6

Commits on Nov 27, 2020

• some further removal of saturated builtins from things that are disabled

  jmchapman

  committed
  7cd51c1

• removing saturated builtins

  jmchapman

  committed
  b06123b

Commits on Nov 26, 2020

• erase ibuiltin to error for new

  jmchapman

  committed
  8ab08e0

Pagination

PreviousNext