Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 30, 2020

• Update aris submodule and change build for new workspace structure

  io12

  committed
  24658ec

Commits on Apr 4, 2020

• Update rust submodule to 7a67a4515da07ac587ff566575fa2f440ccc3191.

  aweinstock314

  committed
  06181ab

Commits on Apr 3, 2020

• Update rust submodule to cf3352871262caec6d311b2dfb4743f3006757d4. Add QuantifierEquivalences to RuleList.

  aweinstock314

  committed
  4b6b7d2

Commits on Mar 5, 2020

• Update rust submodule to e584faf2a6901313fefc9866ac2c4d46fd363fe6.

  aweinstock314

  committed
  07a0bc9

• Update rust submodule to 83ecfecdf03de7f5e437ffe5ae71eabc5feba257, fixing an issue with ZipperVec w.r.t. the UI.

  aweinstock314

  committed
  75cb812

• move rust to submodule Bram-Hub/aris

  Plailect

  committed
  0c25086

• Fix the java build by adding the "--features=java" to libaris's build.gradle.

  Show description for e074951
  aweinstock314

  committed
  e074951

• Begin SAT solver integration

  Show description for bd67500
  mattraneri

  committed
  bd67500

• e

  Show description for 6a13f3d
  Plailect

  committed
  6a13f3d

• cargo update

  Plailect

  committed
  20f0820

Commits on Mar 4, 2020

• add rust-specific readme

  Plailect

  committed
  67d00d6

• relative import so CORS is happy on file:// URIs

  Show description for 946e37f
  Plailect

  committed
  946e37f

• replace stdweb bin with web-sys js_interop

  Show description for 42a211a
  Plailect

  committed
  42a211a

• Manually implemented biconditional commutation & association

  enncoded

  committed
  a855268

• Fixed biconditional negation

  enncoded

  committed
  c1ecc09

• Implement arity inference to allow {brute forcing truth tables for, evaluating} expressions with predicates.

  aweinstock314

  committed
  608636d

• Added new equivalences to rulelist.java

  enncoded

  committed
  8b70ca3

• Merge

  mattraneri

  committed
  b086ddf

• Link other conditional equivilences to the UI

  mattraneri

  committed
  f45ef22

• Fixed KnK rule. Commented out bicond sub

  enncoded

  committed
  9a3171b

• Added ConditionalDistribution to rules

  mattraneri

  committed
  6474cab

• Added missing rules to equivalences

  enncoded

  committed
  1435966

• workaround rust-lang/vscode-rust#586

  Plailect

  committed
  d3fedbd

• Make define_rewrite_rule! work on versions prior to rust 1.40.0. It now silently fails to generate documentation on older rust versions, instead of failing the build.

  aweinstock314

  committed
  ea12659

• Cleaned up warnings

  mattraneri

  committed
  86ef42f

Commits on Feb 25, 2020

• Add evaluation rule for biconditionals.

  aweinstock314

  committed
  b78f56a

Commits on Feb 21, 2020

• Add example usage to the documentation of libaris::proofs.

  aweinstock314

  committed
  4b06043

• The interface to the parser is now {parse, parse_unwrap} instead of {main, parse} (so no manual newline mangling, and the unwrapping version now has a longer name).

  aweinstock314

  committed
  dbceb49

• Add concrete example (with commit hash) to the "new rules" checklist.

  aweinstock314

  committed
  8570efe

• Add documentation for the rules module.

  aweinstock314

  committed
  ead4a01

• Add counterexample for does_it_have_any_ands in expression's documentation to show off the parser.

  aweinstock314

  committed
  7e3d339

• Add more detailed module documentation to pooled_proof and expression.

  aweinstock314

  committed
  867578a

Commits on Feb 20, 2020

• Add a reduced should-pass test to ForallIntro.

  Show description for c3bb0ed
  aweinstock314

  committed
  c3bb0ed

• In generalizable_variable_counterexample, include premises recursively, not just at the toplevel. This fixes some should-pass testcases for ForallIntro/ExistsElim that were discovered interactively.

  aweinstock314

  committed
  d707c92

• Fix build script and shared object loading (at some point the generated objects got lost the _rs suffix).

  aweinstock314

  committed
  5c7c83b

Pagination

PreviousNext