Commits

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