Commits

Show all
Author Commit Message Labels Comments Date
Paweł Wieczorek
typo
Tags
after_final
wjzz
Typo.
wjzz
Nitpick, nitpick.
wjzz
Prover description nitpick.
wjzz
Prover introduction nitpicks.
wjzz
Spellcheck run.
wjzz
Added the missing benchmark explanation.
wjzz
Subsections.
Paweł Wieczorek
4.4
Paweł Wieczorek
czapa
Paweł Wieczorek
figures with numbers
Paweł Wieczorek
cps
wjzz
Merge.
wjzz
Added graph TODO.
wjzz
Expanded Tests a little.
wjzz
Benchmarking analysis started.
Paweł Wieczorek
cps
Paweł Wieczorek
doc
Paweł Wieczorek
checking lists by 'null' instead of comparision with empty list
wjzz
Formatting and reference update.
wjzz
Added the screenshot of the missing benchmark; updated the pdf.
wjzz
Some cleanup in Benchmarking; added a new group for the missing comparison.
wjzz
A note on the forward chaining.
wjzz
Description of the benchmarks started.
wjzz
The copy rule trap.
wjzz
Wording.
wjzz
Wrote about the architecture of Naive etc.
wjzz
Stubbed the benchmarking section; Added a note
wjzz
A note on undecidability.
wjzz
Some rephrasing.
  1. Prev
  2. Next