github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 05:11:44 +03:00
Code Issues Projects Releases Wiki Activity
49fb14f6a8
semantic/prototype/DoubtTests
History
Rob Rix b7a341b8b1 Correct omissions in the tests.
2015-10-22 10:43:20 -04:00
..
DiffTests.swift Correct omissions in the tests. 2015-10-22 10:43:20 -04:00
Info.plist Add 'prototype/' from commit 'a7fef6ced9d2b71dfdf5e6d8fb765ab0c0bc6be5' 2015-09-15 12:32:12 -04:00
InterpreterTests.swift Add an annotation parameter to Free. 2015-10-22 10:30:38 -04:00
RangedDiff.swift Add an annotation parameter to Free. 2015-10-22 10:30:38 -04:00
RangedTerm.swift Shrink ranged terms. 2015-10-19 11:38:32 -04:00
SESTests.swift Correct omissions in the tests. 2015-10-22 10:43:20 -04:00
TermTests.swift Test that equality is reflexive. 2015-10-16 17:03:18 -04:00
UnannotatedTerm.swift Construct much smaller terms. 2015-10-19 12:44:59 -04:00