Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on May 29, 2023

• Merge pull request #145 from Juice-jl/f-precompile

  Show description for d7f8f60
  guyvdbroeck

  authored
  d7f8f60

  Copy full SHA for d7f8f60

• Enable package precompilation

  guyvdbroeck

  committed
  96f74b3

  Copy full SHA for 96f74b3

Commits on May 27, 2023

• fix failing test

  guyvdbroeck

  committed
  3be585f

  Copy full SHA for 3be585f

Commits on May 22, 2023

• Merge pull request #139 from Juice-jl/compathelper/new_version/2023-05-15-00-54-00-410-00704470676

  Show description for 38d60f4
  guyvdbroeck

  authored
  38d60f4

  Copy full SHA for 38d60f4

Commits on May 15, 2023

• CompatHelper: add new compat entry for CUDD at version 0.3, (keep existing compat)

  

  CompatHelper Julia

  committed
  5264bca

  Copy full SHA for 5264bca

Commits on May 12, 2023

• Merge pull request #136 from Juice-jl/qc5

  Show description for 6c1bc64
  guyvdbroeck

  authored
  6c1bc64

  Copy full SHA for 6c1bc64

Commits on May 11, 2023

• DistOpt -> Opt

  rtjoa

  committed
  146df6f

  Copy full SHA for 146df6f

• shorter distinductive names

  rtjoa

  committed
  2ab56ef

  Copy full SHA for 2ab56ef

• add option, restructure inductive type testst

  rtjoa

  committed
  b98ab44

  Copy full SHA for b98ab44

• make diststring work outside of @dice

  rtjoa

  committed
  293fe41

  Copy full SHA for 293fe41

• remove util; fix caesar

  rtjoa

  committed
  6ac9599

  Copy full SHA for 6ac9599

• fix imports

  rtjoa

  committed
  9321238

  Copy full SHA for 9321238

• pr returns defaultdict

  rtjoa

  committed
  94b42f7

  Copy full SHA for 94b42f7

• collect dist before sorting when ordering pr()

  rtjoa

  committed
  dbff5a7

  Copy full SHA for dbff5a7

• order pr() in postprocessing instead

  rtjoa

  committed
  b47f472

  Copy full SHA for b47f472

Commits on May 10, 2023

• order pr() dict by decreasing probability

  rtjoa

  committed
  f76893a

  Copy full SHA for f76893a

• move pr.jl and train.jl

  rtjoa

  committed
  433ca52

  Copy full SHA for 433ca52

• Update inference.jl

  rtjoa

  authored
  ba397c0

  Copy full SHA for ba397c0

• use @test instead of @assert

  rtjoa

  committed
  a377487

  Copy full SHA for a377487

• Split READMEs

  rtjoa

  committed
  d1f7005

  Copy full SHA for d1f7005

• project.toml: fixed CUDD, no tikz

  rtjoa

  committed
  694c8f3

  Copy full SHA for 694c8f3

• remove plot

  rtjoa

  committed
  2c3902b

  Copy full SHA for 2c3902b

Commits on May 8, 2023

• add dist list features, tests

  rtjoa

  committed
  60c1090

  Copy full SHA for 60c1090

• add compiler tests

  rtjoa

  committed
  31128e8

  Copy full SHA for 31128e8

Commits on May 5, 2023

• add mle tests

  rtjoa

  committed
  5da1229

  Copy full SHA for 5da1229

Commits on May 4, 2023

• fix dist 0

  rtjoa

  committed
  7a5a27f

  Copy full SHA for 7a5a27f

• fix tour 2

  rtjoa

  committed
  46bc21d

  Copy full SHA for 46bc21d

• refactor 3

  rtjoa

  committed
  f1f9d8f

  Copy full SHA for f1f9d8f

• refactor wmc, flip training wip

  rtjoa

  committed
  6a05fc1

  Copy full SHA for 6a05fc1

Commits on May 3, 2023

• Merge remote-tracking branch 'origin/main' into qc4

  rtjoa

  committed
  dcfde8a

  Copy full SHA for dcfde8a

• STLC wip

  rtjoa

  committed
  a25ec68

  Copy full SHA for a25ec68

• remove evid monad from tour

  rtjoa

  committed
  e311af2

  Copy full SHA for e311af2

• remove unnecessary parens

  rtjoa

  committed
  bdc014b

  Copy full SHA for bdc014b

• remove EvidMonad

  rtjoa

  committed
  5b94d6b

  Copy full SHA for 5b94d6b

• remove qc-scratch

  rtjoa

  committed
  6f48e5d

  Copy full SHA for 6f48e5d

Pagination

Previous

Next