Commits

Breadcrumbs

History for

on1b1ecee

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 11, 2024

• bump guifier import

  joewatt95

  committed
  741d729

  Copy full SHA for 741d729

Commits on Jul 28, 2024

• bump nodejs and deps

  joewatt95

  committed
  7f88965

  Copy full SHA for 7f88965

Commits on Jul 12, 2024

• Allow user defined rules for NOT and IS, to model eg var assn

  joewatt95

  committed
  a192e08

  Copy full SHA for a192e08

Commits on Jul 11, 2024

• Disable failing on unknown preds as that breaks CLPBNR

  joewatt95

  committed
  8dbd85d

  Copy full SHA for 8dbd85d

Commits on Jul 10, 2024

• small cleanup of prolog

  joewatt95

  committed
  92ac01e

  Copy full SHA for 92ac01e

• remov redundant brackets

  joewatt95

  committed
  dd3d969

  Copy full SHA for dd3d969

• Support UNLESS in backend

  joewatt95

  committed
  b74423f

  Copy full SHA for b74423f

• fail when encountering unknown predicates instead of crashing

  joewatt95

  committed
  d404201

  Copy full SHA for d404201

• allow eq_ (and hence eq) to revert to syntactic unification

  joewatt95

  committed
  59c7f1e

  Copy full SHA for 59c7f1e

Commits on Jul 5, 2024

• use_module

  joewatt95

  committed
  ba8d56c

  Copy full SHA for ba8d56c

Commits on Jun 4, 2024

• use relative script urls

  joewatt95

  committed
  3df32b4

  Copy full SHA for 3df32b4

Commits on May 28, 2024

• wip web worker

  joewatt95

  committed
  f9e447b

  Copy full SHA for f9e447b

Commits on May 27, 2024

• small cleanup

  joewatt95

  committed
  e2f3007

  Copy full SHA for e2f3007

• rename web-editor -> ide, some restructuring and cleanup

  joewatt95

  committed
  725135c

  Copy full SHA for 725135c

Commits on May 25, 2024

• some cleanup, tweak instructions

  joewatt95

  committed
  1de1486

  Copy full SHA for 1de1486

• tweak margins and format

  joewatt95

  committed
  4ba5a49

  Copy full SHA for 4ba5a49

Commits on May 23, 2024

• use accordions for instrs, tweak layout

  joewatt95

  committed
  5f47480

  Copy full SHA for 5f47480

• use React CodeMirror, create Guifier component, add scrollbars, cleanup

  joewatt95

  committed
  3b714b9

  Copy full SHA for 3b714b9

• tweak layout, shift instrs out of comment

  joewatt95

  committed
  42a62a0

  Copy full SHA for 42a62a0

• fetch preamble text from url instead of hardcoding in code

  joewatt95

  committed
  f8407d8

  Copy full SHA for f8407d8

Commits on May 20, 2024

• rename run_query -> query_and_trace for consistency

  joewatt95

  committed
  3bb0257

  Copy full SHA for 3bb0257

• cleanup swipl queries

  joewatt95

  committed
  85bc17f

  Copy full SHA for 85bc17f

Commits on May 11, 2024

• Stream query results on demand

  joewatt95

  committed
  cad20cc

  Copy full SHA for cad20cc

Commits on May 10, 2024

• wip support for running multiple queries

  joewatt95

  committed
  ca94f4b

  Copy full SHA for ca94f4b

• support queries in L4 program, improve parsing of GIVEN GIVETH

  joewatt95

  committed
  e7b309a

  Copy full SHA for e7b309a

Commits on Apr 10, 2024

• rename div id of web editor app

  joewatt95

  committed
  8ef6a33

  Copy full SHA for 8ef6a33

Commits on Apr 4, 2024

• Add support for minus and divide

  joewatt95

  committed
  dfc173c

  Copy full SHA for dfc173c

• fix web editor index.html

  joewatt95

  committed
  f85770d

  Copy full SHA for f85770d

Commits on Apr 1, 2024

• implement editor based on codemirror

  joewatt95

  committed
  73fca0f

  Copy full SHA for 73fca0f

• wip

  joewatt95

  committed
  2272ad4

  Copy full SHA for 2272ad4

• tweak built js file names

  joewatt95

  committed
  514b19b

  Copy full SHA for 514b19b

• add some cuts

  joewatt95

  committed
  f800e47

  Copy full SHA for f800e47

Commits on Mar 31, 2024

• build swipl qlf on demand

  joewatt95

  committed
  16c9e35

  Copy full SHA for 16c9e35

• try relative url

  joewatt95

  committed
  02aefe8

  Copy full SHA for 02aefe8

• hoplon webapp

  joewatt95

  committed
  e8675ce

  Copy full SHA for e8675ce

Pagination

Previous

Next