Show all
Author Commit Message Labels Comments Date
Paweł Wieczorek avatarPaweł Wieczorek
FullLS: better proof representation
Branches
cps_optim
Paweł Wieczorek avatarPaweł Wieczorek
merge
Branches
cps_optim
Paweł Wieczorek avatarPaweł Wieczorek
The module FocusedSequent is common
Paweł Wieczorek avatarPaweł Wieczorek
merge
Paweł Wieczorek avatarPaweł Wieczorek
FullLS uses Maybe
Branches
cps_optim
Paweł Wieczorek avatarPaweł Wieczorek
merge
Branches
cps_optim
wjzz avatarwjzz
Merge.
wjzz avatarwjzz
Some benchmarking tinker.
wjzz avatarwjzz
Benchmarking change.
wjzz avatarwjzz
Added the optimized id\! rule
Paweł Wieczorek avatarPaweł Wieczorek
heads
Paweł Wieczorek avatarPaweł Wieczorek
merge
Paweł Wieczorek avatarPaweł Wieczorek
CPSizing FullLS
Branches
cps_optim
Paweł Wieczorek avatarPaweł Wieczorek
CPSizing FullLS
Branches
cps_optim
wjzz avatarwjzz
Merge with Weak.
wjzz avatarwjzz
Polarity tweak.
Branches
Weak
wjzz avatarwjzz
Some fiddling with benchmarks.
Branches
Weak
wjzz avatarwjzz
Implemented Weak focusing.
Branches
Weak
Paweł Wieczorek avatarPaweł Wieczorek
fixes for CPSized Naive_LS
Branches
cps_optim
Paweł Wieczorek avatarPaweł Wieczorek
CPSed NaiveLS
Branches
cps_optim
Paweł Wieczorek avatarPaweł Wieczorek
branched
Branches
cps_optim
Paweł Wieczorek avatarPaweł Wieczorek
merge
Paweł Wieczorek avatarPaweł Wieczorek
fuxed WithL rule in NaiveLS
Branches
naive_ls
Paweł Wieczorek avatarPaweł Wieczorek
added Naive_LS
Branches
naive_ls
Paweł Wieczorek avatarPaweł Wieczorek
branched
Branches
naive_ls
wjzz avatarwjzz
Merge.
wjzz avatarwjzz
Added a failing benchmark.
Paweł Wieczorek avatarPaweł Wieczorek
merge
Paweł Wieczorek avatarPaweł Wieczorek
ported fixes from FullLS into WeakLS
Branches
ls_and_backward
Paweł Wieczorek avatarPaweł Wieczorek
fixed copy rule in FullLS, the rule is restricted on positive atoms, not all atoms
Branches
ls_and_backward
  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.