Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 31, 2019

• throw exception for malformed EXCEPT expressions

  david-mcneil

  committed
  1bce517

  Copy full SHA for 1bce517

Commits on Oct 30, 2019

• published to Clojars

  david-mcneil

  committed
  41f46f0

  Copy full SHA for 41f46f0

Commits on Oct 7, 2019

• evaluate, simplify, and simulate accept expressions, not just literals for constants and state

  david-mcneil

  committed
  4d30e69

  Copy full SHA for 4d30e69

Commits on Oct 4, 2019

• fix bug in transpiler that was effecting indentation of long expressions, change to use bracketed string record access to avoid collisions with identifiers in scope

  david-mcneil

  committed
  6f9075a

  Copy full SHA for 6f9075a

• bug fix for simplifying function calls from within anonymous functions, introduce rest* to preserve vectors

  david-mcneil

  committed
  55bc9ef

  Copy full SHA for 55bc9ef

Commits on Sep 27, 2019

• added OrderedLocks example

  david-mcneil

  committed
  a285af0

  Copy full SHA for a285af0

Commits on Sep 24, 2019

• added LICENSE file

  david-mcneil

  committed
  aaee610

  Copy full SHA for aaee610

Commits on Sep 22, 2019

• transpiler: fix for using parenthesis when needed in 'eventually-' expressions

  david-mcneil

  committed
  4a23fc9

  Copy full SHA for 4a23fc9

Commits on Sep 21, 2019

• use listy? in more places, simplify supports EXCEPT forms with functions

  david-mcneil

  committed
  2a13813

  Copy full SHA for 2a13813

• transpiler: bug fix, anonymous functions are read in as Cons objects, not as Lists

  david-mcneil

  committed
  5b4d45c

  Copy full SHA for 5b4d45c

Commits on Sep 17, 2019

• simplify operation also support docstring in defn forms

  david-mcneil

  committed
  dd50eb7

  Copy full SHA for dd50eb7

Commits on Sep 16, 2019

• Merge pull request #2 from auxoncorp/defn-docstring

  Show description for 8929a59
  david-mcneil

  authored
  8929a59

  Copy full SHA for 8929a59

• cleanup 'one-armed equal' test problems

  david-mcneil

  committed
  feb8709

  Copy full SHA for feb8709

Commits on Sep 14, 2019

• Update README

  mullr

  committed
  cea2dc3

  Copy full SHA for cea2dc3

• Support docstrings in defn forms

  mullr

  committed
  472e361

  Copy full SHA for 472e361

Commits on Sep 3, 2019

• bring semantics in line with TLA+

  david-mcneil

  committed
  d58d32c

  Copy full SHA for d58d32c

Commits on Aug 29, 2019

• add another sample spec

  david-mcneil

  committed
  0043e6c

  Copy full SHA for 0043e6c

Commits on Aug 28, 2019

• add some missing set operations, add 'simulate' operation to find states that satisfy a predicate, some improvements to README

  david-mcneil

  committed
  7413773

  Copy full SHA for 7413773

Commits on Aug 27, 2019

• added more simplification rules, added top-level module as entry point, cleaned up some naming

  david-mcneil

  committed
  5ea86cc

  Copy full SHA for 5ea86cc

Commits on Aug 23, 2019

• add tuple-to-set conversion to readme, add some simplification rules

  david-mcneil

  committed
  5876bfb

  Copy full SHA for 5876bfb

Commits on Aug 22, 2019

• add various simplification rules

  david-mcneil

  committed
  6763c07

  Copy full SHA for 6763c07

Commits on Aug 21, 2019

• version 0.0.2, removed action checker, replaced with an evaluator that evaluates predicates using the variables provided, then simplifies the resulting expression

  david-mcneil

  committed
  13e5c3a

  Copy full SHA for 13e5c3a

Commits on Aug 16, 2019

• change 'ALLOW-' to 'and*'

  david-mcneil

  committed
  d933582

  Copy full SHA for d933582

• rework the parameters to ALLOW- to reflect the predicate nature of the clauses

  david-mcneil

  committed
  56e6c7b

  Copy full SHA for 56e6c7b

Commits on Aug 15, 2019

• improve test harnesses

  david-mcneil

  committed
  834ab7e

  Copy full SHA for 834ab7e

Commits on Aug 14, 2019

• include E in the deterministic random number mechanism

  david-mcneil

  committed
  3c05458

  Copy full SHA for 3c05458

• added a testing mechanism for using a deterministic random number seed for reproducible test results

  david-mcneil

  committed
  77a66b8

  Copy full SHA for 77a66b8

• added main entry point, added standard modules to readme

  david-mcneil

  committed
  01a3cfb

  Copy full SHA for 01a3cfb

Commits on Aug 13, 2019

• remove REQUIRE- operator, instead just use ALLOW-

  david-mcneil

  committed
  e693cc1

  Copy full SHA for e693cc1

• README: clarify semantics of ALLOW- and REQUIRE based on twitter feedback

  david-mcneil

  committed
  edc94b2

  Copy full SHA for edc94b2

• fix typo in readme

  david-mcneil

  committed
  24ff501

  Copy full SHA for 24ff501

• initial code check-in

  david-mcneil

  committed
  4f89546

  Copy full SHA for 4f89546

Commits on Jul 31, 2019

• initial check in

  david-mcneil

  committed
  b116612

  Copy full SHA for b116612