mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00

History

Rob Rix 5584c2f653 Use the `sum` combinator to compute a cost function.		2015-10-15 18:16:02 -04:00
..
Doubt	Add a convenience for summing `Free`s.	2015-10-15 18:13:22 -04:00
doubt-json	Use the `sum` combinator to compute a cost function.	2015-10-15 18:16:02 -04:00
Doubt.xcodeproj	Stub in `Interpreter`.	2015-10-15 10:45:11 -04:00
Doubt.xcworkspace	Remove doubt-swift’s dependencies from the workspace.	2015-10-13 21:07:02 -04:00
DoubtTests	Merge pull request #120 from github/patch-constructors-on-diff	2015-10-15 15:39:14 -04:00
External	Remove the submodule.	2015-10-13 21:10:20 -04:00
UI	Replace the UI fixture.	2015-10-13 18:27:12 -04:00
.gitignore	Add 'prototype/' from commit 'a7fef6ced9d2b71dfdf5e6d8fb765ab0c0bc6be5'	2015-09-15 12:32:12 -04:00
README.md	Note Xcode 7 requirement.	2015-10-13 16:34:03 -04:00

README.md

Doubt

Doubt is the prototype implementing semantic diffing features. It is implemented as a library, with a couple of helper tools for specific experiments, and a small HTML/JS UI for reviewing diffs.

Building

Doubt requires Xcode 7 to build.