Commits

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