Code

[WIP] NUSMods Optimizer Prototyping#3296

Code

Draft

frizensami wants to merge 57 commits intonusmodifications:masternusmodifications/nusmods:masterfrom frizensami:optimizerfrizensami/nusmods:optimizerCopy head branch name to clipboard

+8,931-2

Commits

Commits on Jun 27, 2021

• Add optimizer button, placeholder component, state

  Show description for 6daeea0
  frizensami

  committed
  6daeea0

  Copy full SHA for 6daeea0

• Add props to timetableoptimizer

  frizensami

  committed
  39ae230

  Copy full SHA for 39ae230

Commits on Jun 28, 2021

• Run format

  frizensami

  committed
  c18487a

  Copy full SHA for c18487a

• Merge branch 'master' into optimizer

  frizensami

  authored
  3d3407c

  Copy full SHA for 3d3407c

• Add precompiled Z3 WASM file + Emscripten wrapper

  Show description for 6858299
  frizensami

  committed
  6858299

  Copy full SHA for 6858299

• Add Z3 WebWorker code and message passing types

  frizensami

  committed
  2642863

  Copy full SHA for 2642863

• Modify z3 types filename

  frizensami

  committed
  0fb26c0

  Copy full SHA for 0fb26c0

• Add callback defs to z3 types

  frizensami

  committed
  c7dfbd1

  Copy full SHA for c7dfbd1

• Remove log from z3w.js

  frizensami

  committed
  edfbbe2

  Copy full SHA for edfbbe2

• Add worker-loader package to load Z3 WebWorker

  frizensami

  committed
  69d7376

  Copy full SHA for 69d7376

• Update imports and typedefs in z3Worker

  frizensami

  committed
  298d179

  Copy full SHA for 298d179

• MVP for initializing Z3 with worker-loader

  frizensami

  committed
  e4a23cc

  Copy full SHA for e4a23cc

• Fix initialization messages for z3

  frizensami

  committed
  8b83870

  Copy full SHA for 8b83870

• Add a temporary alert for z3 init

  frizensami

  committed
  b92f711

  Copy full SHA for b92f711

Commits on Jun 29, 2021

• Refactor files and rename for minimal example

  frizensami

  committed
  3ffd9e6

  Copy full SHA for 3ffd9e6

Commits on Jun 30, 2021

• Add sexpr-plus package for parsing Z3 output

  frizensami

  committed
  c212883

  Copy full SHA for c212883

• Add smtlib-ext lib, creates SMT-LIB code for Z3

  Show description for 75ad08e
  frizensami

  committed
  75ad08e

  Copy full SHA for 75ad08e

• Implementation of MVP optimizer utils stack

  frizensami

  committed
  a01d69f

  Copy full SHA for a01d69f

• Fix incorrect callback type

  frizensami

  committed
  cc548b1

  Copy full SHA for cc548b1

• Wire up button to run optimizer, fix varname bug

  Show description for befafca
  frizensami

  committed
  befafca

  Copy full SHA for befafca

• Change lessons based on optimizer output

  frizensami

  committed
  0ddb1c7

  Copy full SHA for 0ddb1c7

Commits on Jul 1, 2021

• Merge branch 'master' into optimizer

  frizensami

  authored
  c5bb543

  Copy full SHA for c5bb543

• Fix some eslint errors

  frizensami

  committed
  62f0acc

  Copy full SHA for 62f0acc

• Update worker-loader to devDependencies

  frizensami

  committed
  43c8927

  Copy full SHA for 43c8927

Commits on Jul 2, 2021

• Fix majority of eslint errors

  frizensami

  committed
  17529bb

  Copy full SHA for 17529bb

• Fix webworker eslint errors

  frizensami

  committed
  212cf22

  Copy full SHA for 212cf22

• Fix inline webpack loader eslint error

  frizensami

  committed
  4b2cfc2

  Copy full SHA for 4b2cfc2

• Correctly name constraint booleans

  frizensami

  committed
  7594da1

  Copy full SHA for 7594da1

• Z3Message -> Z3WorkerMessage for clarity

  frizensami

  committed
  3fb9d34

  Copy full SHA for 3fb9d34

• Remove unnecessary export

  frizensami

  committed
  c6104c2

  Copy full SHA for c6104c2

Commits on Jul 3, 2021

• Comments for WeekSolver, remove StringIdGenerator

  Show description for 392302a
  frizensami

  committed
  392302a

  Copy full SHA for 392302a

• Change slot whoId to ownerId for naming clarity

  frizensami

  committed
  b1b1abb

  Copy full SHA for b1b1abb

• Add doc comments for timetable solver

  frizensami

  committed
  cfd1ad0

  Copy full SHA for cfd1ad0

• Change SExpr to SNode in solver for accuracy

  frizensami

  committed
  caabee3

  Copy full SHA for caabee3

• Publish smtlib-ext to remove dep on github

  frizensami

  committed
  d9153ab

  Copy full SHA for d9153ab

• Add and apply vendor types for sexpr-plus

  frizensami

  committed
  66456ff

  Copy full SHA for 66456ff

• Remove all remaining eslint errors

  frizensami

  committed
  525d604

  Copy full SHA for 525d604

• Solve typing issues except webworker Z3

  frizensami

  committed
  fdb4972

  Copy full SHA for fdb4972

• Merge branch 'master' into optimizer

  frizensami

  authored
  de387b2

  Copy full SHA for de387b2

• Just include webworker lib

  frizensami

  committed
  947dffe

  Copy full SHA for 947dffe

• Add tests for z3weeksolver

  frizensami

  committed
  2ba7c34

  Copy full SHA for 2ba7c34

• Ignore type errors for wasm

  frizensami

  committed
  41c09a0

  Copy full SHA for 41c09a0

• Increase test coverage for z3 timetable solver

  frizensami

  committed
  2527a48

  Copy full SHA for 2527a48

• Add test coverage for setBooleanSelectorCosts

  frizensami

  committed
  54ea81e

  Copy full SHA for 54ea81e

• Autofix eslint

  frizensami

  committed
  ccc5497

  Copy full SHA for ccc5497

Commits on Jul 4, 2021

• Full test coverage for timetable solver

  frizensami

  committed
  5809287

  Copy full SHA for 5809287

• Change test -> it for consistency

  frizensami

  committed
  fe120de

  Copy full SHA for fe120de

• Add mocks and some tests for timetableOptimizer

  frizensami

  committed
  513cd21

  Copy full SHA for 513cd21

• Complete test coverage for timetableOptimizer

  frizensami

  committed
  d839ae4

  Copy full SHA for d839ae4

• Fix remaining test coverage for optimizer

  frizensami

  committed
  72efcc4

  Copy full SHA for 72efcc4

• Ignore webworkers in codecov

  frizensami

  committed
  81119bf

  Copy full SHA for 81119bf

Commits on Jul 8, 2021

• Partial commit for converter

  frizensami

  committed
  3d50400

  Copy full SHA for 3d50400

• Fix errors to see converter coverage

  frizensami

  committed
  7ff3b04

  Copy full SHA for 7ff3b04

Commits on Aug 2, 2021

• Test coverage for converter

  frizensami

  committed
  4f6857a

  Copy full SHA for 4f6857a

• Merge branch 'master' into optimizer

  frizensami

  authored
  2e75c66

  Copy full SHA for 2e75c66

• Merge branch 'optimizer' of github.com:frizensami/nusmods into optimizer

  frizensami

  committed
  952ff8c

  Copy full SHA for 952ff8c

• Fix merge conflict marker

  frizensami

  committed
  978acb1

  Copy full SHA for 978acb1