Code

Interactive merger!#44

Code

Open

corwin-of-amber wants to merge 103 commits intomasterTyGuS/suslik:masterfrom interactiveTyGuS/suslik:interactiveCopy head branch name to clipboard

+6,515-1,624

Commits

Commits on May 28, 2021

• [feature] Report rule applications to trace.

  Show description for 516cc7e
  corwin-of-amber

  committed
  516cc7e

  Copy full SHA for 516cc7e

Commits on May 29, 2021

• [feature] Trace derivation trail with vector args.

  Show description for bc052b4
  corwin-of-amber

  committed
  bc052b4

  Copy full SHA for bc052b4

• [ui] Parse & display derivation trail.

  Show description for 020b374
  corwin-of-amber

  committed
  020b374

  Copy full SHA for 020b374

• [bugfix] Timeout displayed as "x seconds" in message.

  Show description for 85f9f9e
  corwin-of-amber

  committed
  85f9f9e

  Copy full SHA for 85f9f9e

• [port] Newer JDK compat.

  Show description for ca0e219
  corwin-of-amber

  committed
  ca0e219

  Copy full SHA for ca0e219

• [refactor] Extracted some common logic from SubstL/R.

  corwin-of-amber

  committed
  ccbe879

  Copy full SHA for ccbe879

Commits on May 31, 2021

• [bugfix] Don't disable all loggers worldwide.

  Show description for b12734b
  corwin-of-amber

  committed
  b12734b

  Copy full SHA for b12734b

• [feature] Return result from synthesizeFrom.. methods.

  Show description for 3a4e34e
  corwin-of-amber

  committed
  3a4e34e

  Copy full SHA for 3a4e34e

• [bugfix] Wrong dir name.

  Show description for 19cf684
  corwin-of-amber

  committed
  19cf684

  Copy full SHA for 19cf684

• [wip] Bare-bones synthesis server.

  Show description for a6b98f2
  corwin-of-amber

  committed
  a6b98f2

  Copy full SHA for a6b98f2

Commits on Jun 4, 2021

• [wip] A very clunky server-side.

  Show description for ce71b12
  corwin-of-amber

  committed
  ce71b12

  Copy full SHA for ce71b12

• [refactor] Moved all components to SFCs.

  Show description for c2fc60a
  corwin-of-amber

  committed
  c2fc60a

  Copy full SHA for c2fc60a

• [chore] Removed some npm warnings.

  Show description for 5bad3e8
  corwin-of-amber

  committed
  5bad3e8

  Copy full SHA for 5bad3e8

• [refactor] Changed client-server protocol to WebSockets.

  Show description for 94e919e
  corwin-of-amber

  committed
  94e919e

  Copy full SHA for 94e919e

• [feature] Some interaction UI.

  Show description for 6fe4f8f
  corwin-of-amber

  committed
  6fe4f8f

  Copy full SHA for 6fe4f8f

Commits on Jun 5, 2021

• [feature] Start with an empty trace then build incrementally.

  Show description for 5a4c44c
  corwin-of-amber

  committed
  5a4c44c

  Copy full SHA for 5a4c44c

• [feature] More interaction.

  Show description for 189615f
  corwin-of-amber

  committed
  189615f

  Copy full SHA for 189615f

Commits on Jun 6, 2021

• [feature] Report synthesis result in JSON.

  Show description for e595617
  corwin-of-amber

  committed
  e595617

  Copy full SHA for e595617

• [feature] Display derivation trail even for incomplete branches.

  Show description for 5a0bddd
  corwin-of-amber

  committed
  5a0bddd

  Copy full SHA for 5a0bddd

• [feature] Highlight current goal for interaction.

  Show description for eb01707
  corwin-of-amber

  committed
  eb01707

  Copy full SHA for eb01707

• [feature] Accept spec from clients.

  Show description for bf45f24
  corwin-of-amber

  committed
  bf45f24

  Copy full SHA for bf45f24

Commits on Jun 8, 2021

• [feature] Bundle benchmarks in JSON.

  Show description for 1da86e8
  corwin-of-amber

  committed
  1da86e8

  Copy full SHA for 1da86e8

Commits on Jun 9, 2021

• [refactor] Wrapped UI in a root app component.

  corwin-of-amber

  committed
  0a2d3a7

  Copy full SHA for 0a2d3a7

Commits on Jun 11, 2021

• [ui] Display list of benchmarks on startup.

  corwin-of-amber

  committed
  f72a20b

  Copy full SHA for f72a20b

Commits on Jun 15, 2021

• [ui] Reload button.

  corwin-of-amber

  committed
  9e3407d

  Copy full SHA for 9e3407d

Commits on Jun 17, 2021

• [feature] Serialization additions.

  Show description for f098b92
  corwin-of-amber

  committed
  f098b92

  Copy full SHA for f098b92

• [feature] Arbitary interactive expansion thingamabob.

  Show description for 9e5871d
  corwin-of-amber

  committed
  9e5871d

  Copy full SHA for 9e5871d

Commits on Jun 19, 2021

• [ui] Show spec in editor.

  corwin-of-amber

  committed
  71ce37d

  Copy full SHA for 71ce37d

• [bugfix] Pass the parameters to the server as well.

  Show description for cf38b86
  corwin-of-amber

  committed
  cf38b86

  Copy full SHA for cf38b86

• [ui] Formatting stuff.

  corwin-of-amber

  committed
  a3a1f51

  Copy full SHA for a3a1f51

• [deploy] Heroku support.

  Show description for 504ab7c
  corwin-of-amber

  committed
  504ab7c

  Copy full SHA for 504ab7c

• [feature] Interactive/automatic mode switch.

  corwin-of-amber

  committed
  a22fc28

  Copy full SHA for a22fc28

• [ui] Click to expand.

  Show description for 91e2c6e
  corwin-of-amber

  committed
  91e2c6e

  Copy full SHA for 91e2c6e

Commits on Jun 20, 2021

• Merge branch 'master' into interactive

  nadia-polikarpova

  committed
  5ebb41f

  Copy full SHA for 5ebb41f

• Minor

  nadia-polikarpova

  committed
  ca2647b

  Copy full SHA for ca2647b

Commits on Jun 21, 2021

• First stab at simple rules

  nadia-polikarpova

  committed
  ee966a6

  Copy full SHA for ee966a6

• Put simple under flag

  nadia-polikarpova

  committed
  aad7db4

  Copy full SHA for aad7db4

• Change read and write rule to follow slides

  nadia-polikarpova

  committed
  99620f4

  Copy full SHA for 99620f4

• Comment out guided tests

  nadia-polikarpova

  committed
  005d77b

  Copy full SHA for 005d77b

Commits on Jun 23, 2021

• Replace uni mod theories with syntactic unification in simple synthesis. Make simple/phased orthogonal to interactive/automatic

  nadia-polikarpova

  committed
  9b4376c

  Copy full SHA for 9b4376c

• Minor

  nadia-polikarpova

  committed
  9d590d7

  Copy full SHA for 9d590d7

Commits on Jun 24, 2021

• [ui] Added proof mode switch.

  corwin-of-amber

  committed
  a62984b

  Copy full SHA for a62984b

• [bugfix] Strip away params line.

  Show description for a779885
  corwin-of-amber

  committed
  a779885

  Copy full SHA for a779885

Commits on Jun 25, 2021

• [perf] Some throttling of messages in auto.

  Show description for 2d159e0
  corwin-of-amber

  committed
  2d159e0

  Copy full SHA for 2d159e0

Commits on Jul 4, 2021

• Switched to Simple synthesis tactic (for server).

  corwin-of-amber

  committed
  1ba98f2

  Copy full SHA for 1ba98f2

Commits on Jul 5, 2021

• [ui] Restore focus and report success.

  Show description for 54925f4
  corwin-of-amber

  committed
  54925f4

  Copy full SHA for 54925f4

Commits on Jul 14, 2021

• [bugfix] Multithread mayhem!

  Show description for 0713d92
  corwin-of-amber

  committed
  0713d92

  Copy full SHA for 0713d92

• [ui] Connection error reporting.

  corwin-of-amber

  committed
  76a242d

  Copy full SHA for 76a242d

• [ui] Sane autoscroll.

  Show description for cd81904
  corwin-of-amber

  committed
  cd81904

  Copy full SHA for cd81904

• [qa] Added an sll-to-dll in-place example.

  corwin-of-amber

  committed
  fa0cd84

  Copy full SHA for fa0cd84

Commits on Jul 16, 2021

• [wip] More serialization stuff.

  corwin-of-amber

  committed
  9328612

  Copy full SHA for 9328612

• [feature] Report PickArg subst.

  corwin-of-amber

  committed
  8d47704

  Copy full SHA for 8d47704

• [ui] Some panning and zooming.

  Show description for 89f2c7a
  corwin-of-amber

  committed
  89f2c7a

  Copy full SHA for 89f2c7a

Commits on Jul 19, 2021

• [ui] Stabilized zoom.

  corwin-of-amber

  committed
  14e6d86

  Copy full SHA for 14e6d86

Commits on Jul 20, 2021

• [feature] Keep trace when switching mode.

  Show description for 844ef2b
  corwin-of-amber

  committed
  844ef2b

  Copy full SHA for 844ef2b

Commits on Jul 21, 2021

• [feature] Allow passing both syn and sus inputs to server.

  Show description for 1a4e428
  corwin-of-amber

  committed
  1a4e428

  Copy full SHA for 1a4e428

• Get rid of PickArg and use Pick instead

  nadia-polikarpova

  committed
  3348113

  Copy full SHA for 3348113

• Merge branch 'interactive' of github.com:TyGuS/synsl into interactive

  nadia-polikarpova

  committed
  51187f2

  Copy full SHA for 51187f2

Commits on Jul 22, 2021

• Get rid of cardinalities in simple mode

  nadia-polikarpova

  committed
  0d4855b

  Copy full SHA for 0d4855b

• Make some rules non-invertible in simple mode (otherwise it is confusing why some rules disappear sometimes)

  nadia-polikarpova

  committed
  e883001

  Copy full SHA for e883001

• [ui] Hide null cardinalities ("<0>").

  Show description for c2192b7
  corwin-of-amber

  committed
  c2192b7

  Copy full SHA for c2192b7

• [nits] Updated deps.

  corwin-of-amber

  committed
  1653ea4

  Copy full SHA for 1653ea4

• [bugfix] Made SearchTree thread-local.

  Show description for 5997f07
  corwin-of-amber

  committed
  5997f07

  Copy full SHA for 5997f07

• [ui] [feature] Show synthesized program.

  Show description for 0deacc7
  corwin-of-amber

  committed
  0deacc7

  Copy full SHA for 0deacc7

• [interact] Set default timeout to 15sec.

  Show description for 12f680d
  corwin-of-amber

  committed
  12f680d

  Copy full SHA for 12f680d

• [interact] Change default open and close depth to 2

  nadia-polikarpova

  committed
  f203b51

  Copy full SHA for f203b51

Commits on Jul 23, 2021

• [ui] Simple-mode switch.

  corwin-of-amber

  committed
  3bffaf9

  Copy full SHA for 3bffaf9

• Merge remote-tracking branch 'refs/remotes/origin/interactive' into interactive

  corwin-of-amber

  committed
  5f9f711

  Copy full SHA for 5f9f711

• [tut] Bundle files from tutorial repo.

  Show description for 731d3f7
  corwin-of-amber

  committed
  731d3f7

  Copy full SHA for 731d3f7

• [feature] Basic syntax highlighting.

  corwin-of-amber

  committed
  61e4b64

  Copy full SHA for 61e4b64

• [ui] Highlight active benchmark.

  Show description for 538b75f
  corwin-of-amber

  committed
  538b75f

  Copy full SHA for 538b75f

• [bugfix] Some crossfire between docs.

  Show description for f10b4b2
  corwin-of-amber

  committed
  f10b4b2

  Copy full SHA for f10b4b2

• [feature] [ui] Start/stop buttons.

  Show description for c706aa5
  corwin-of-amber

  committed
  c706aa5

  Copy full SHA for c706aa5

• Updated tutorial files.

  corwin-of-amber

  committed
  2f87f29

  Copy full SHA for 2f87f29

• Playing with tutorial examples

  nadia-polikarpova

  committed
  4b2e725

  Copy full SHA for 4b2e725

• Merge branch 'interactive' of github.com:TyGuS/synsl into interactive

  nadia-polikarpova

  committed
  543f2b5

  Copy full SHA for 543f2b5

• Throwing timeout exception as opposed to synthesis failed on timeout

  nadia-polikarpova

  committed
  42037f9

  Copy full SHA for 42037f9

• [bugfix] Moved the Memo to TLS as well.

  corwin-of-amber

  committed
  9f528ca

  Copy full SHA for 9f528ca

• [tut] Hide solutions by default.

  corwin-of-amber

  committed
  936e22b

  Copy full SHA for 936e22b

• [ui] Sticky notifications.

  corwin-of-amber

  committed
  c247ded

  Copy full SHA for c247ded

• Rename pick rule back

  nadia-polikarpova

  committed
  bed814c

  Copy full SHA for bed814c

• Merge branch 'interactive' of github.com:TyGuS/synsl into interactive

  nadia-polikarpova

  committed
  3a54b51

  Copy full SHA for 3a54b51

• [ui] Show call info for suspended calls.

  corwin-of-amber

  committed
  a33c206

  Copy full SHA for a33c206

• [ui] Show companion goal id in call.

  corwin-of-amber

  committed
  e572a6b

  Copy full SHA for e572a6b

• [ui] Some additional styling.

  Show description for ed1e0cf
  corwin-of-amber

  committed
  ed1e0cf

  Copy full SHA for ed1e0cf

• [bugfix] Use unique ids for goals.

  Show description for f966a3e
  corwin-of-amber

  committed
  f966a3e

  Copy full SHA for f966a3e

Commits on Jul 24, 2021

• [ui] Better styling of node labels.

  Show description for 7141c7b
  corwin-of-amber

  committed
  7141c7b

  Copy full SHA for 7141c7b

• [ui] Style operators.

  Show description for f45a572
  corwin-of-amber

  committed
  f45a572

  Copy full SHA for f45a572

Commits on Jul 27, 2021

• [nit] Reset global counter on each task.

  Show description for c2083a6
  corwin-of-amber

  committed
  c2083a6

  Copy full SHA for c2083a6

• [build] Concatenate conf files in fat jar.

  Show description for 261011f
  corwin-of-amber

  committed
  261011f

  Copy full SHA for 261011f

Commits on Jul 28, 2021

• [port] Update sbt (1.5.2).

  Show description for c06b2bb
  corwin-of-amber

  committed
  c06b2bb

  Copy full SHA for c06b2bb

• [feature] Added server CLI command.

  Show description for ecdbcd5
  corwin-of-amber

  committed
  ecdbcd5

  Copy full SHA for ecdbcd5

• [misc] Logback config for headless mode.

  Show description for 998017f
  corwin-of-amber

  committed
  998017f

  Copy full SHA for 998017f

• [misc] Set hard max on timeout in server.

  Show description for f24e18c
  corwin-of-amber

  committed
  f24e18c

  Copy full SHA for f24e18c

• [build] Upgraded sbt-assembly (1.0.0).

  corwin-of-amber

  committed
  1722fe1

  Copy full SHA for 1722fe1

Commits on Aug 6, 2021

• Forwarded submodule.

  Show description for 2c6cb8b
  corwin-of-amber

  committed
  2c6cb8b

  Copy full SHA for 2c6cb8b

Commits on Apr 25, 2022

• Merge branch 'master' into interactive

  corwin-of-amber

  committed
  92ed550

  Copy full SHA for 92ed550

Commits on Apr 27, 2022

• [port] in assembly syntax is anachronistic.

  corwin-of-amber

  committed
  da24f8e

  Copy full SHA for da24f8e

Commits on Jun 23, 2022

• [bugfix] Post-merge adjustments.

  Show description for 610f409
  corwin-of-amber

  committed
  610f409

  Copy full SHA for 610f409

Commits on Jun 30, 2022

• [bugfix] Missing argument in npm start.

  Show description for 7710eec
  corwin-of-amber

  committed
  7710eec

  Copy full SHA for 7710eec

• [feature] Added interval operators to JSON serialization.

  Show description for 9c125ca
  corwin-of-amber

  committed
  9c125ca

  Copy full SHA for 9c125ca

• [port] Bump sbt to 1.5.8.

  corwin-of-amber

  committed
  70cf634

  Copy full SHA for 70cf634

• [ui] Changed CLI --timeout argument to be in seconds.

  Show description for 6c80f5b
  corwin-of-amber

  committed
  6c80f5b

  Copy full SHA for 6c80f5b