Bill Wake
|
62afc9076a
|
Update README
|
2023-01-11 10:48:27 -06:00 |
|
Bill Wake
|
4bbc90c5d0
|
Improve documentation; improve file header; remove "Foundation" mentions.
|
2023-01-11 10:37:51 -06:00 |
|
Bill Wake
|
eb8d010029
|
Add .swiftpm to .gitignore
|
2023-01-11 10:20:24 -06:00 |
|
Bill Wake
|
0e982da447
|
Remove .swiftpm
|
2023-01-11 10:19:15 -06:00 |
|
Bill Wake
|
28f9258bfd
|
Update Readme
|
2023-01-10 13:24:59 -06:00 |
|
Bill Wake
|
1c2b9a5868
|
Drop input:, rename output: to expect: - in EG and eg()
|
2023-01-10 13:21:19 -06:00 |
|
Bill Wake
|
b89f60d45b
|
Make struct fields public; remove "Package" from names
|
2023-01-10 12:50:18 -06:00 |
|
Bill Wake
|
690268ace7
|
Add LICENSE, update todo, readme, etc.
|
2023-01-10 12:31:47 -06:00 |
|
Bill Wake
|
114e459def
|
Improve tests
|
2023-01-10 12:21:53 -06:00 |
|
Bill Wake
|
21309513bd
|
Update docs; improve tests
|
2023-01-10 12:20:10 -06:00 |
|
Bill Wake
|
f0c9275aed
|
Improve the example
|
2023-01-10 12:05:18 -06:00 |
|
Bill Wake
|
4bc3551624
|
rename
|
2023-01-10 12:01:38 -06:00 |
|
Bill Wake
|
fbce2dcc66
|
Readme, keynote
|
2023-01-10 12:01:19 -06:00 |
|
Bill Wake
|
e1deb54edc
|
Rename to EGTest
|
2023-01-09 15:31:31 -06:00 |
|
Bill Wake
|
a3ab650d37
|
Keynote
|
2023-01-09 15:26:43 -06:00 |
|
Bill Wake
|
364715cc9e
|
Describe in README
|
2023-01-09 14:34:44 -06:00 |
|
Bill Wake
|
f69a5b921a
|
Tests for allPairs and allTriples
|
2023-01-09 14:12:41 -06:00 |
|
Bill Wake
|
a4d729d371
|
Remove eq; rename ExampleTests to EGTests
|
2023-01-09 13:58:50 -06:00 |
|
Bill Wake
|
2c1e532832
|
Remove all algebraic identify helpers
|
2023-01-09 13:55:53 -06:00 |
|
Bill Wake
|
7373af3a00
|
rearrange packages
|
2023-01-09 13:19:25 -06:00 |
|
Bill Wake
|
d5d992b49b
|
Rearrange packages
|
2023-01-09 13:19:07 -06:00 |
|
Bill Wake
|
17a38b183d
|
moved package file
|
2023-01-09 13:13:39 -06:00 |
|
Bill Wake
|
d56773a57f
|
Delete unused classes
|
2023-01-09 13:09:27 -06:00 |
|
Bill Wake
|
7368dcabc2
|
readme
|
2023-01-09 12:58:34 -06:00 |
|
Bill Wake
|
5db0bd8efa
|
Add support for checking identity with all values
|
2023-01-09 12:47:28 -06:00 |
|
Bill Wake
|
ffe88005b3
|
Check associativity for lists of values
|
2023-01-09 12:40:57 -06:00 |
|
Bill Wake
|
1181dc21ff
|
Identity law
|
2023-01-09 12:26:51 -06:00 |
|
Bill Wake
|
fcd5eae4c7
|
Right identity
|
2023-01-09 12:24:43 -06:00 |
|
Bill Wake
|
4814cfc280
|
associative
|
2023-01-09 12:16:34 -06:00 |
|
Bill Wake
|
dd040befbc
|
Check associativity
|
2023-01-09 12:15:03 -06:00 |
|
Bill Wake
|
db6ac43133
|
Swap order of arguments so property, then operator, then values
|
2023-01-05 14:26:52 -06:00 |
|
Bill Wake
|
aa851623f3
|
Switch argument order
|
2023-01-05 14:20:38 -06:00 |
|
Bill Wake
|
8eff1340bd
|
Add check for transitive
|
2023-01-05 14:15:40 -06:00 |
|
Bill Wake
|
f64356dc57
|
Check symmetric
|
2023-01-05 13:39:20 -06:00 |
|
Bill Wake
|
74a89a2468
|
Drop special combinatorial checkCommutative
|
2023-01-05 13:25:19 -06:00 |
|
Bill Wake
|
16e617cff5
|
Reorder functions
|
2023-01-05 13:17:08 -06:00 |
|
Bill Wake
|
2d104a738b
|
Move file & line # arguments to end of parameter list
|
2023-01-05 13:15:56 -06:00 |
|
Bill Wake
|
90b699fb74
|
Remove checkCommutative
|
2023-01-05 13:10:50 -06:00 |
|
Bill Wake
|
047acef406
|
Add enum for properties
|
2023-01-05 13:04:17 -06:00 |
|
Bill Wake
|
995ed224f0
|
Add tests for checkCommutative()
|
2023-01-05 12:26:12 -06:00 |
|
Bill Wake
|
0b96bfe7d6
|
Capitalized EG struct; provided an eg() function to use
|
2023-01-05 12:11:16 -06:00 |
|
Bill Wake
|
abc70b19e5
|
Make check() an extension of XCTestCase
|
2023-01-05 12:07:29 -06:00 |
|
Bill Wake
|
45b9f68c2c
|
Add misc. relations
|
2023-01-04 14:33:12 -06:00 |
|
Bill Wake
|
334865f61c
|
checkCommutative
|
2023-01-04 12:57:47 -06:00 |
|
Bill Wake
|
90b598c8af
|
Remove failed resultBuilder and AAA attempts
|
2023-01-04 12:48:18 -06:00 |
|
Bill Wake
|
ca5e8ecd7b
|
Use #file and #line in Assert2; support eq()
|
2023-01-04 12:21:15 -06:00 |
|
Bill Wake
|
cc2660d8bf
|
Rename EG => eg
|
2023-01-04 12:06:47 -06:00 |
|
Bill Wake
|
86c5193753
|
AAA but a little clunky - assign result with "_ =", must specify type on Act
|
2023-01-03 14:11:35 -06:00 |
|
Bill Wake
|
fbc74334b7
|
Renames
|
2023-01-03 13:13:52 -06:00 |
|
Bill Wake
|
fc1e2a0e84
|
Arrange-Act-Assert with closures but not resultBuilder
|
2023-01-03 13:12:33 -06:00 |