C

chase

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 13 hours ago. based on code collected about 16 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 24, 2023 — Apr 24, 2024 Showing page 1 of 8 Search / Filter on:
adding dd's projectivePlane theory (my modified version)	Michael Ficarra	More...				over 13 years ago
adding (some) tracing back in, refactored some I/O helpers	Michael Ficarra	More...				over 13 years ago
correctly allows comments now	Michael Ficarra	More...				over 13 years ago
rendered paper	Michael Ficarra	More...				over 13 years ago
justin suggestions	Michael Ficarra	More...				over 13 years ago
dd's final FINAL corrections	Michael Ficarra	More...				over 13 years ago
dd's recommendations	Michael Ficarra	More...				over 13 years ago
rewrote abstract	Michael Ficarra	More...				over 13 years ago
correct pluralization	Michael Ficarra	More...				over 13 years ago
standardizing relation syntax	Michael Ficarra	More...				over 13 years ago
spelling	Michael Ficarra	More...				over 13 years ago
done	Michael Ficarra	More...				over 13 years ago
accidentally `\ref`'d the dolev-yao paper instead of `\cite`ing it	Michael Ficarra	More...				over 13 years ago
done but for spell checking and minor corrections	Michael Ficarra	More...				over 13 years ago
paper pretty much done, need to alter chase code to fit in paper width	Michael Ficarra	More...				over 13 years ago
almost done!	Michael Ficarra	More...				over 13 years ago
just a bunch of random junk. only committing so it's backed up remotely.	Michael Ficarra	More...				over 13 years ago
emergency commit!	Michael Ficarra	More...				over 13 years ago
fixed existential quantifier check in holds' to account for empty domains, like what is done in Chase.satisfy	Michael Ficarra	More...				over 13 years ago
changes discussed in today's meeting (minus the proof work listed on the board)	Michael Ficarra	More...				over 13 years ago
beginnings of theorems that are impossible to prove	Michael Ficarra	More...				over 13 years ago
chase section "enhancements"?	Michael Ficarra	More...				over 13 years ago
a whole bunch of stuff	Michael Ficarra	More...				over 13 years ago
lots of things	Michael Ficarra	More...				over 13 years ago
some intro work	Michael Ficarra	More...				over 13 years ago
renaming labels and refs	Michael Ficarra	More...				over 13 years ago
incorrect indentation	Michael Ficarra	More...				over 13 years ago
cleaned up algorithms	Michael Ficarra	More...				over 13 years ago
small note in chase algorithm section	Michael Ficarra	More...				over 13 years ago
updated chase algorithm	Michael Ficarra	More...				over 13 years ago

←
1
2
3
4
5
6
7
8
→