Commits

Show all
Author Commit Message Labels Comments Date
wjzz
Intermediate.
Branches
resource_man
wjzz
Intermediate.
Branches
resource_man
wjzz
Pretty fix.
wjzz
Pretty printing.
wjzz
Started the common test infrastructure.
wjzz
Added .ghci everywhere. Removed one duplicated file.
Paweł Wieczorek
Weak and FullFocusing are integrated
Paweł Wieczorek
WeakFocusing depends on Common.PolarizedFormula
Paweł Wieczorek
added PolarizedFormula as common module
Paweł Wieczorek
wieczyk_starter can be compiled
Paweł Wieczorek
fixed import
Paweł Wieczorek
changed haskell2010 to base in bdeps (for Debug.Trace)
Paweł Wieczorek
added wieczyk_starter
wjzz
.ghci
wjzz
Restructuring.
Paweł Wieczorek
added .cabal
wjzz
Merged with wojtek2. Moved the codes into src.
wjzz
Some parallel tests.
Branches
wojtek2
wjzz
Par monad test.
Branches
wojtek2
wjzz
Documented the proof term structure. Fixed a bug.
Branches
wojtek2
wjzz
Review of the report.
Paweł Wieczorek
typo
Paweł Wieczorek
added report no.1
wjzz
Proof of concept: inversion returns stable sequents.
Branches
wojtek2
wjzz
Focusing finished; depth control added.
Branches
wojtek2
wjzz
Focusing almost done.
Branches
wojtek2
wjzz
Some tweaking.
Branches
wojtek2
wjzz
Copied wieczyk's code.
Branches
wojtek2
wjzz
Added .hgignore
wjzz
Added sample code.
  1. Prev
  2. Next