Show all
Author Commit Message Labels Comments Date
Paweł Wieczorek avatarPaweł Wieczorek
typo
Tags
after_final
wjzz avatarwjzz
Typo.
wjzz avatarwjzz
Nitpick, nitpick.
wjzz avatarwjzz
Prover description nitpick.
wjzz avatarwjzz
Prover introduction nitpicks.
wjzz avatarwjzz
Spellcheck run.
wjzz avatarwjzz
Added the missing benchmark explanation.
wjzz avatarwjzz
Subsections.
Paweł Wieczorek avatarPaweł Wieczorek
4.4
Paweł Wieczorek avatarPaweł Wieczorek
czapa
Paweł Wieczorek avatarPaweł Wieczorek
figures with numbers
Paweł Wieczorek avatarPaweł Wieczorek
cps
wjzz avatarwjzz
Merge.
wjzz avatarwjzz
Added graph TODO.
wjzz avatarwjzz
Expanded Tests a little.
wjzz avatarwjzz
Benchmarking analysis started.
Paweł Wieczorek avatarPaweł Wieczorek
cps
Paweł Wieczorek avatarPaweł Wieczorek
doc
Paweł Wieczorek avatarPaweł Wieczorek
checking lists by 'null' instead of comparision with empty list
wjzz avatarwjzz
Formatting and reference update.
wjzz avatarwjzz
Added the screenshot of the missing benchmark; updated the pdf.
wjzz avatarwjzz
Some cleanup in Benchmarking; added a new group for the missing comparison.
wjzz avatarwjzz
A note on the forward chaining.
wjzz avatarwjzz
Description of the benchmarks started.
wjzz avatarwjzz
The copy rule trap.
wjzz avatarwjzz
Wording.
wjzz avatarwjzz
Wrote about the architecture of Naive etc.
wjzz avatarwjzz
Stubbed the benchmarking section; Added a note
wjzz avatarwjzz
A note on undecidability.
wjzz avatarwjzz
Some rephrasing.
  1. Prev
  2. Next
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.