Rebase interactive onto the current master#39

Open

JonasAlaif wants to merge 90 commits intoTyGuS:masterfrom

JonasAlaif:interactive

Commits on Mar 27, 2022

[feature] Report rule applications to trace.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Trace derivation trail with vector args.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Parse & display derivation trail.

corwin-of-amber
authored and
JonasAlaif
committed
[bugfix] Timeout displayed as "x seconds" in message.

corwin-of-amber
authored and
JonasAlaif
committed
[refactor] Extracted some common logic from SubstL/R.

corwin-of-amber
authored and
JonasAlaif
committed
[bugfix] Don't disable all loggers worldwide.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Return result from `synthesizeFrom..` methods.

corwin-of-amber
authored and
JonasAlaif
committed
[bugfix] Wrong dir name.

corwin-of-amber
authored and
JonasAlaif
committed
[wip] Bare-bones synthesis server.

corwin-of-amber
authored and
JonasAlaif
committed
[wip] A very clunky server-side.

corwin-of-amber
authored and
JonasAlaif
committed
[refactor] Moved all components to SFCs.

corwin-of-amber
authored and
JonasAlaif
committed
[chore] Removed some npm warnings.

corwin-of-amber
authored and
JonasAlaif
committed
[refactor] Changed client-server protocol to WebSockets.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Some interaction UI.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Start with an empty trace then build incrementally.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] More interaction.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Report synthesis result in JSON.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Display derivation trail even for incomplete branches.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Highlight current goal for interaction.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Accept spec from clients.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Bundle benchmarks in JSON.

corwin-of-amber
authored and
JonasAlaif
committed
[refactor] Wrapped UI in a root app component.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Display list of benchmarks on startup.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Reload button.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Serialization additions.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Arbitary interactive expansion thingamabob.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Show spec in editor.

corwin-of-amber
authored and
JonasAlaif
committed
[bugfix] Pass the parameters to the server as well.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Formatting stuff.

corwin-of-amber
authored and
JonasAlaif
committed
[deploy] Heroku support.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Interactive/automatic mode switch.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Click to expand.

corwin-of-amber
authored and
JonasAlaif
committed
Minor

nadia-polikarpova
authored and
JonasAlaif
committed
First stab at simple rules

nadia-polikarpova
authored and
JonasAlaif
committed
Put simple under flag

nadia-polikarpova
authored and
JonasAlaif
committed
Change read and write rule to follow slides

nadia-polikarpova
authored and
JonasAlaif
committed
Comment out guided tests

nadia-polikarpova
authored and
JonasAlaif
committed
Replace uni mod theories with syntactic unification in simple synthesis. Make simple/phased orthogonal to interactive/automatic

nadia-polikarpova
authored and
JonasAlaif
committed
Minor

nadia-polikarpova
authored and
JonasAlaif
committed
Get rid of PickArg and use Pick instead

nadia-polikarpova
authored and
JonasAlaif
committed
[ui] Added proof mode switch.

corwin-of-amber
authored and
JonasAlaif
committed
[bugfix] Strip away params line.

corwin-of-amber
authored and
JonasAlaif
committed
[perf] Some throttling of messages in auto.

corwin-of-amber
authored and
JonasAlaif
committed
Switched to `Simple` synthesis tactic (for server).

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Restore focus and report success.

corwin-of-amber
authored and
JonasAlaif
committed
[bugfix] Multithread mayhem!

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Connection error reporting.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Sane autoscroll.

corwin-of-amber
authored and
JonasAlaif
committed
[qa] Added an sll-to-dll in-place example.

corwin-of-amber
authored and
JonasAlaif
committed
[wip] More serialization stuff.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Report PickArg subst.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Some panning and zooming.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Stabilized zoom.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Keep trace when switching mode.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Allow passing both syn and sus inputs to server.

corwin-of-amber
authored and
JonasAlaif
committed
Get rid of cardinalities in simple mode

nadia-polikarpova
authored and
JonasAlaif
committed
Make some rules non-invertible in simple mode (otherwise it is confusing why some rules disappear sometimes)

nadia-polikarpova
authored and
JonasAlaif
committed
[ui] Hide null cardinalities ("<0>").

corwin-of-amber
authored and
JonasAlaif
committed
[nits] Updated deps.

corwin-of-amber
authored and
JonasAlaif
committed
[bugfix] Made `SearchTree` thread-local.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] [feature] Show synthesized program.

corwin-of-amber
authored and
JonasAlaif
committed
[interact] Set default timeout to 15sec.

corwin-of-amber
authored and
JonasAlaif
committed
[interact] Change default open and close depth to 2

nadia-polikarpova
authored and
JonasAlaif
committed
Playing with tutorial examples

nadia-polikarpova
authored and
JonasAlaif
committed
[ui] Simple-mode switch.

corwin-of-amber
authored and
JonasAlaif
committed
[tut] Bundle files from tutorial repo.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Basic syntax highlighting.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Highlight active benchmark.

corwin-of-amber
authored and
JonasAlaif
committed
[bugfix] Some crossfire between docs.

corwin-of-amber
authored and
JonasAlaif
committed
[feature] [ui] Start/stop buttons.

corwin-of-amber
authored and
JonasAlaif
committed
Updated tutorial files.

corwin-of-amber
authored and
JonasAlaif
committed
Throwing timeout exception as opposed to synthesis failed on timeout

nadia-polikarpova
authored and
JonasAlaif
committed
Rename pick rule back

nadia-polikarpova
authored and
JonasAlaif
committed
[bugfix] Moved the Memo to TLS as well.

corwin-of-amber
authored and
JonasAlaif
committed
[tut] Hide solutions by default.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Sticky notifications.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Show call info for suspended calls.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Show companion goal id in call.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Some additional styling.

corwin-of-amber
authored and
JonasAlaif
committed
[bugfix] Use unique ids for goals.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Better styling of node labels.

corwin-of-amber
authored and
JonasAlaif
committed
[ui] Style operators.

corwin-of-amber
authored and
JonasAlaif
committed
[nit] Reset global counter on each task.

corwin-of-amber
authored and
JonasAlaif
committed
[build] Concatenate conf files in fat jar.

corwin-of-amber
authored and
JonasAlaif
committed
[port] Update sbt (1.5.2).

corwin-of-amber
authored and
JonasAlaif
committed
[feature] Added `server` CLI command.

corwin-of-amber
authored and
JonasAlaif
committed
[misc] Logback config for headless mode.

corwin-of-amber
authored and
JonasAlaif
committed
[misc] Set hard max on timeout in server.

corwin-of-amber
authored and
JonasAlaif
committed
[build] Upgraded sbt-assembly (1.0.0).

corwin-of-amber
authored and
JonasAlaif
committed
Forwarded submodule.

corwin-of-amber
authored and
JonasAlaif
committed