Code

stage 1#1

Code

Merged

AaronKutch merged 156 commits intomainAaronKutch/starlight:mainfrom devAaronKutch/starlight:devCopy head branch name to clipboardDec 5, 2023

+7,808-14

Commits

Commits on Jul 7, 2022

• Create ci.yml

  AaronKutch

  committed
  3384e10

  Copy full SHA for 3384e10

• make workspace

  AaronKutch

  committed
  96ac591

  Copy full SHA for 96ac591

Commits on Jul 8, 2022

• Add Permutations

  AaronKutch

  committed
  1d7479a

  Copy full SHA for 1d7479a

• add inversion

  AaronKutch

  committed
  04fa4bb

  Copy full SHA for 04fa4bb

• add halving function

  AaronKutch

  committed
  c5ed583

  Copy full SHA for c5ed583

Commits on Jul 9, 2022

• fixes

  AaronKutch

  committed
  190bcfb

  Copy full SHA for 190bcfb

• fix brokenness in halve

  AaronKutch

  committed
  b5d8fef

  Copy full SHA for b5d8fef

Commits on Jul 22, 2022

• beginning work on permutation DAG

  AaronKutch

  committed
  108e514

  Copy full SHA for 108e514

Commits on Jul 23, 2022

• add debugging capabilities

  AaronKutch

  committed
  65732e7

  Copy full SHA for 65732e7

Commits on Jul 24, 2022

• rethink links

  AaronKutch

  committed
  c72c638

  Copy full SHA for c72c638

• add symbolic links

  AaronKutch

  committed
  7da98b8

  Copy full SHA for 7da98b8

Commits on Jul 25, 2022

• Update debug.rs

  AaronKutch

  committed
  760306f

  Copy full SHA for 760306f

• improve debugging

  AaronKutch

  committed
  d99e2f3

  Copy full SHA for d99e2f3

• fix many bugs

  AaronKutch

  committed
  d21f3df

  Copy full SHA for d21f3df

• Update lower.rs

  AaronKutch

  committed
  b5598ca

  Copy full SHA for b5598ca

Commits on Jul 31, 2022

• update to triple_arena 0.6

  AaronKutch

  committed
  066d1e4

  Copy full SHA for 066d1e4

Commits on Aug 2, 2022

• use external ChainArena

  AaronKutch

  committed
  6667350

  Copy full SHA for 6667350

• update triple_arena

  AaronKutch

  committed
  1f22a7a

  Copy full SHA for 1f22a7a

Commits on Aug 10, 2022

• update

  AaronKutch

  committed
  dfdb66f

  Copy full SHA for dfdb66f

Commits on Aug 20, 2022

• updating

  AaronKutch

  committed
  8a08626

  Copy full SHA for 8a08626

Commits on Aug 26, 2022

• tmp

  AaronKutch

  committed
  d145872

  Copy full SHA for d145872

Commits on Sep 13, 2022

• fuzzing lowering and evaluation

  AaronKutch

  committed
  a97a1ac

  Copy full SHA for a97a1ac

Commits on Sep 24, 2022

• fix debug_assertions enables

  AaronKutch

  committed
  d95c977

  Copy full SHA for d95c977

Commits on Sep 26, 2022

• change invariants slightly

  AaronKutch

  committed
  4428ddd

  Copy full SHA for 4428ddd

Commits on Nov 4, 2022

• better fuzzing

  AaronKutch

  committed
  0ac65f2

  Copy full SHA for 0ac65f2

• Update fuzz.rs

  AaronKutch

  committed
  b998d12

  Copy full SHA for b998d12

• refactor tmp

  AaronKutch

  committed
  64bfa26

  Copy full SHA for 64bfa26

• tmp

  AaronKutch

  committed
  7ba57a0

  Copy full SHA for 7ba57a0

Commits on Nov 5, 2022

• more tmp

  AaronKutch

  committed
  38d7478

  Copy full SHA for 38d7478

• finish refactor

  AaronKutch

  committed
  00fba54

  Copy full SHA for 00fba54

Commits on Nov 10, 2022

• add basic_simplify

  AaronKutch

  committed
  30cc1a3

  Copy full SHA for 30cc1a3

Commits on Nov 15, 2022

• Add Loops

  AaronKutch

  committed
  dbb4688

  Copy full SHA for dbb4688

• fixes

  AaronKutch

  committed
  fa13a88

  Copy full SHA for fa13a88

• more fixes

  AaronKutch

  committed
  3559734

  Copy full SHA for 3559734

Commits on Nov 16, 2022

• make invariant for Net to have at least one port

  AaronKutch

  committed
  cac1d9d

  Copy full SHA for cac1d9d

Commits on Nov 26, 2022

• make Net Vec-like

  AaronKutch

  committed
  949f75a

  Copy full SHA for 949f75a

Commits on Dec 2, 2022

• using awint 0.8.0 functions

  AaronKutch

  committed
  edf9648

  Copy full SHA for edf9648

• refactor the way Net works

  AaronKutch

  committed
  ba1cdb6

  Copy full SHA for ba1cdb6

Commits on Dec 3, 2022

• Update toroidal.rs

  AaronKutch

  committed
  75ff176

  Copy full SHA for 75ff176

Commits on Dec 4, 2022

• add Net::exchange

  AaronKutch

  committed
  4aad00a

  Copy full SHA for 4aad00a

Commits on Dec 10, 2022

• normalize imports

  AaronKutch

  committed
  3e6e373

  Copy full SHA for 3e6e373

Commits on Dec 11, 2022

• Update debug.rs

  AaronKutch

  committed
  de08c62

  Copy full SHA for de08c62

• Introduce idea of permanence

  AaronKutch

  committed
  48c0302

  Copy full SHA for 48c0302

• incrementer test

  AaronKutch

  committed
  fda725d

  Copy full SHA for fda725d

Commits on Dec 12, 2022

• add set_noted

  AaronKutch

  committed
  7b6f082

  Copy full SHA for 7b6f082

Commits on Dec 27, 2022

• clippy

  AaronKutch

  committed
  e4d0eeb

  Copy full SHA for e4d0eeb

Commits on Jan 10, 2023

• Updates

  AaronKutch

  committed
  a3f2427

  Copy full SHA for a3f2427

• Update Cargo.toml

  AaronKutch

  committed
  c61b0c5

  Copy full SHA for c61b0c5

Commits on Jan 11, 2023

• Update lib.rs

  AaronKutch

  committed
  0c70827

  Copy full SHA for 0c70827

Commits on Jan 14, 2023

• updates

  AaronKutch

  committed
  0498d5c

  Copy full SHA for 0498d5c

• fix test

  AaronKutch

  committed
  23d6d0a

  Copy full SHA for 23d6d0a

Commits on Jan 17, 2023

• updates

  AaronKutch

  committed
  e894634

  Copy full SHA for e894634

Commits on May 4, 2023

• Update Cargo.toml

  AaronKutch

  committed
  49d8ee3

  Copy full SHA for 49d8ee3

Commits on May 6, 2023

• ungenericize because we will rely on generation counters

  AaronKutch

  committed
  55a8c28

  Copy full SHA for 55a8c28

Commits on May 8, 2023

• side attempt

  AaronKutch

  committed
  9871cbc

  Copy full SHA for 9871cbc

• new chain based method

  AaronKutch

  committed
  f6c9d25

  Copy full SHA for f6c9d25

Commits on May 15, 2023

• Delete union_arena.rs

  AaronKutch

  committed
  78d4847

  Copy full SHA for 78d4847

Commits on Aug 29, 2023

• overhaul

  AaronKutch

  committed
  e99d931

  Copy full SHA for e99d931

• fixes

  AaronKutch

  committed
  525b2e2

  Copy full SHA for 525b2e2

Commits on Aug 30, 2023

• fixes

  AaronKutch

  committed
  6e091e8

  Copy full SHA for 6e091e8

• Update fuzz.rs

  AaronKutch

  committed
  c9f8f09

  Copy full SHA for c9f8f09

Commits on Aug 31, 2023

• refactor in preparation for equivalence graphs

  AaronKutch

  committed
  998f43a

  Copy full SHA for 998f43a

Commits on Sep 1, 2023

• refactor into two proper surject arenas

  AaronKutch

  committed
  e3e83e7

  Copy full SHA for e3e83e7

• tests all pass again

  AaronKutch

  committed
  89c2d75

  Copy full SHA for 89c2d75

Commits on Sep 9, 2023

• make the backref surjects be per TNode

  AaronKutch

  committed
  88034ec

  Copy full SHA for 88034ec

Commits on Sep 10, 2023

• begin refactor back to be per equivalence with single SurjectArena

  AaronKutch

  committed
  31bf96a

  Copy full SHA for 31bf96a

Commits on Sep 14, 2023

• improve debug

  AaronKutch

  committed
  5e59ffe

  Copy full SHA for 5e59ffe

• get all tests passing again

  AaronKutch

  committed
  a3157b1

  Copy full SHA for a3157b1

Commits on Sep 19, 2023

• new optimization framework

  AaronKutch

  committed
  0bcc15c

  Copy full SHA for 0bcc15c

• test StarRng

  AaronKutch

  committed
  7621d48

  Copy full SHA for 7621d48

• changes to StarRng

  AaronKutch

  committed
  be075f6

  Copy full SHA for be075f6

• input independence

  AaronKutch

  committed
  5950621

  Copy full SHA for 5950621

• Update optimize.rs

  AaronKutch

  committed
  cbf4641

  Copy full SHA for cbf4641

• improvements

  AaronKutch

  committed
  24c5d85

  Copy full SHA for 24c5d85

Commits on Sep 20, 2023

• fix tests again

  AaronKutch

  committed
  f2fd2d1

  Copy full SHA for f2fd2d1

• optimization in fuzz testing

  AaronKutch

  committed
  20fad09

  Copy full SHA for 20fad09

• input deduplication

  AaronKutch

  committed
  c9a8377

  Copy full SHA for c9a8377

• add missing forwarding path

  AaronKutch

  committed
  57ce3fa

  Copy full SHA for 57ce3fa

Commits on Sep 21, 2023

• Update optimize.rs

  AaronKutch

  committed
  1130044

  Copy full SHA for 1130044

Commits on Oct 1, 2023

• updates

  AaronKutch

  committed
  d1b7584

  Copy full SHA for d1b7584

• preparing for skipping OpDag with PState embedded into referent system

  AaronKutch

  committed
  aaad772

  Copy full SHA for aaad772

Commits on Oct 2, 2023

• start fleshing out Epoch

  AaronKutch

  committed
  500713a

  Copy full SHA for 500713a

Commits on Oct 4, 2023

• use Awi instead of ExtAwi

  AaronKutch

  committed
  0172998

  Copy full SHA for 0172998

• old TODOs

  AaronKutch

  committed
  d2337d8

  Copy full SHA for d2337d8

Commits on Oct 5, 2023

• Update lower.rs

  AaronKutch

  committed
  a721bc4

  Copy full SHA for a721bc4

Commits on Oct 30, 2023

• working towards a user friendly system

  AaronKutch

  committed
  6051508

  Copy full SHA for 6051508

Commits on Nov 3, 2023

• tmp

  AaronKutch

  committed
  3a1550b

  Copy full SHA for 3a1550b

Commits on Nov 14, 2023

• aint going to work

  AaronKutch

  committed
  faa28e1

  Copy full SHA for faa28e1

• tmp

  AaronKutch

  committed
  9385036

  Copy full SHA for 9385036

Commits on Nov 15, 2023

• tmp

  AaronKutch

  committed
  483b745

  Copy full SHA for 483b745

Commits on Nov 18, 2023

• tmp

  AaronKutch

  committed
  5d4498c

  Copy full SHA for 5d4498c

• better direction

  AaronKutch

  committed
  e3daed0

  Copy full SHA for e3daed0

Commits on Nov 19, 2023

• refactor LUT reduction

  AaronKutch

  committed
  b33cad1

  Copy full SHA for b33cad1

• Update value.rs

  AaronKutch

  committed
  26f9068

  Copy full SHA for 26f9068

• should almost work

  AaronKutch

  committed
  e1acdb0

  Copy full SHA for e1acdb0

Commits on Nov 21, 2023

• all tests compile but not succeed

  AaronKutch

  committed
  ed498cc

  Copy full SHA for ed498cc

• misc cruft

  AaronKutch

  committed
  a0de10f

  Copy full SHA for a0de10f

• introduce EvalAwi

  AaronKutch

  committed
  bc68265

  Copy full SHA for bc68265

• coming together

  AaronKutch

  committed
  a267188

  Copy full SHA for a267188

Commits on Nov 22, 2023

• Update state.rs

  AaronKutch

  committed
  4b369cf

  Copy full SHA for 4b369cf

• Update state.rs

  AaronKutch

  committed
  5572b51

  Copy full SHA for 5572b51

• another rewrite of Epoch

  AaronKutch

  committed
  3ce9951

  Copy full SHA for 3ce9951

• updates to be able to lock

  AaronKutch

  committed
  a3885ab

  Copy full SHA for a3885ab

Commits on Nov 23, 2023

• add back rc counting

  AaronKutch

  committed
  caa0353

  Copy full SHA for caa0353

• factor out Stator

  AaronKutch

  committed
  73a12e5

  Copy full SHA for 73a12e5

• more verification

  AaronKutch

  committed
  1c03dc3

  Copy full SHA for 1c03dc3

• improving lowering

  AaronKutch

  committed
  01e9726

  Copy full SHA for 01e9726

• more

  AaronKutch

  committed
  f43c513

  Copy full SHA for f43c513

• finally running

  AaronKutch

  committed
  2b5d7b1

  Copy full SHA for 2b5d7b1

• Update state.rs

  AaronKutch

  committed
  a647e73

  Copy full SHA for a647e73

• more debugging

  AaronKutch

  committed
  0057c31

  Copy full SHA for 0057c31

• almost working

  AaronKutch

  committed
  1f8fc78

  Copy full SHA for 1f8fc78

Commits on Nov 24, 2023

• fixes

  AaronKutch

  committed
  8475d10

  Copy full SHA for 8475d10

• fix lowering

  AaronKutch

  committed
  638ea1d

  Copy full SHA for 638ea1d

Commits on Nov 25, 2023

• reorg dec_rc

  AaronKutch

  committed
  e65690c

  Copy full SHA for e65690c

• fix unused states

  AaronKutch

  committed
  16d5f04

  Copy full SHA for 16d5f04

• lowered_from info

  AaronKutch

  committed
  0fdbd59

  Copy full SHA for 0fdbd59

• Update state.rs

  AaronKutch

  committed
  4a16a43

  Copy full SHA for 4a16a43

• fix bug

  AaronKutch

  committed
  6e72477

  Copy full SHA for 6e72477

• the first full evaluations

  AaronKutch

  committed
  a8ae4d9

  Copy full SHA for a8ae4d9

• clippy

  AaronKutch

  committed
  01fde4e

  Copy full SHA for 01fde4e

• use Rc<RefCell> instead of Arc<Mutex>

  AaronKutch

  committed
  a61b6a5

  Copy full SHA for a61b6a5

• fix bugs

  AaronKutch

  committed
  b6221cf

  Copy full SHA for b6221cf

• Update fuzz.rs

  AaronKutch

  committed
  ddd0c86

  Copy full SHA for ddd0c86

• getting optimization working again

  AaronKutch

  committed
  993ef63

  Copy full SHA for 993ef63

• put optionality in p_self_bits

  AaronKutch

  committed
  db768cf

  Copy full SHA for db768cf

Commits on Nov 26, 2023

• clippy

  AaronKutch

  committed
  822ebc0

  Copy full SHA for 822ebc0

• fix bug

  AaronKutch

  committed
  104fc07

  Copy full SHA for 104fc07

• fix bug

  AaronKutch

  committed
  bc6ff3e

  Copy full SHA for bc6ff3e

• all non-loop tests passing again

  AaronKutch

  committed
  fd02191

  Copy full SHA for fd02191

• actually fix the tests

  AaronKutch

  committed
  3c47ebb

  Copy full SHA for 3c47ebb

Commits on Dec 1, 2023

• many fixes

  AaronKutch

  committed
  37b6f15

  Copy full SHA for 37b6f15

Commits on Dec 3, 2023

• start evaluating in lowering

  AaronKutch

  committed
  4973a06

  Copy full SHA for 4973a06

• fix interface of the special Awi's

  AaronKutch

  committed
  28ada02

  Copy full SHA for 28ada02

Commits on Dec 4, 2023

• many things

  AaronKutch

  committed
  d0df853

  Copy full SHA for d0df853

• Update lib.rs

  AaronKutch

  committed
  addef08

  Copy full SHA for addef08

• Update lib.rs

  AaronKutch

  committed
  dc200fd

  Copy full SHA for dc200fd

• add other example

  AaronKutch

  committed
  9ec720d

  Copy full SHA for 9ec720d

• pruning

  AaronKutch

  committed
  abdac4e

  Copy full SHA for abdac4e

• Update lib.rs

  AaronKutch

  committed
  7f2f152

  Copy full SHA for 7f2f152

• pruning

  AaronKutch

  committed
  70f11d6

  Copy full SHA for 70f11d6

Commits on Dec 5, 2023

• fix old docs

  AaronKutch

  committed
  bbd98b1

  Copy full SHA for bbd98b1

• Create bench.rs

  AaronKutch

  committed
  a7d2d7a

  Copy full SHA for a7d2d7a

• move

  AaronKutch

  committed
  1d06a44

  Copy full SHA for 1d06a44

• adding fuzz_lower

  AaronKutch

  committed
  9860326

  Copy full SHA for 9860326

• all eval tests working

  AaronKutch

  committed
  7f03b3e

  Copy full SHA for 7f03b3e

• lowering properly tested

  AaronKutch

  committed
  d429524

  Copy full SHA for d429524

• move in lowering definitions

  AaronKutch

  committed
  3a00471

  Copy full SHA for 3a00471

• Update fuzz_elementary.rs

  AaronKutch

  committed
  09d6282

  Copy full SHA for 09d6282

• update docs

  AaronKutch

  committed
  2cffa6e

  Copy full SHA for 2cffa6e

• Version 0.14

  AaronKutch

  committed
  5e3b96f

  Copy full SHA for 5e3b96f

• Update ci.yml

  AaronKutch

  committed
  7cdff4c

  Copy full SHA for 7cdff4c

• Update ci.yml

  AaronKutch

  committed
  381c8bf

  Copy full SHA for 381c8bf

• fix crazy bug

  AaronKutch

  committed
  3c8c772

  Copy full SHA for 3c8c772

• Update ci.yml

  AaronKutch

  committed
  01f3538

  Copy full SHA for 01f3538

• fix this in next version

  AaronKutch

  committed
  147b5c9

  Copy full SHA for 147b5c9