P

Proving Ground

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 27, 2023 — Apr 27, 2024 Showing page 143 of 144 Search / Filter on:
cleaned up reaction	Siddhartha Gadgil	More...				almost 11 years ago
datatype folded sequence (BigOp) added	Siddhartha Gadgil	More...				almost 11 years ago
equality as atomic formula	Siddhartha Gadgil	More...				almost 11 years ago
Actor/Resource framework	Siddhartha Gadgil	More...				almost 11 years ago
An example actor application that keeps working offline	Siddhartha Gadgil	More...				almost 11 years ago
Basic Resolution theorem prover	Siddhartha Gadgil	More...				almost 11 years ago
Actors and asychronous computation: First version. Tries to factorise a number, times out and says could not, but keeps computing When one tries again it remembers previously computed values.	Siddhartha Gadgil	More...				almost 11 years ago
additions to theory and corresponding modification of logic	Siddhartha Gadgil	More...				almost 11 years ago
Var class with VarSym() subclass	Siddhartha Gadgil	More...				almost 11 years ago
updated API	Siddhartha Gadgil	More...				about 11 years ago
Basic GUI created for parser	Siddhartha Gadgil	More...				about 11 years ago
fixed sentence method: method made lazy for trait initialization	Siddhartha Gadgil	More...				about 11 years ago
updated to scala 2.10.1	Siddhartha Gadgil	More...				about 11 years ago
renamed Foundations to Paradox	Siddhartha Gadgil	More...				about 11 years ago
typo correction	Siddhartha Gadgil	More...				about 11 years ago
MarkDown version of foundations	Siddhartha Gadgil	More...				about 11 years ago
Revert "object"	Siddhartha Gadgil	More...				about 11 years ago
object	Siddhartha Gadgil	More...				about 11 years ago
freeVars abstracted	Siddhartha Gadgil	More...				about 11 years ago
Basic Logic Parser added	Siddhartha Gadgil	More...				about 11 years ago
toFormula wrapped to give optional paragraph; structure of optional paragraph method	Siddhartha Gadgil	More...				about 11 years ago
Wrapper for CoreNLP, including testing the use with ParseProse to go from text to formula	Siddhartha Gadgil	More...				about 11 years ago
ad hoc build file	Siddhartha Gadgil	More...				about 11 years ago
Scaladocs and a few structures added to Theory.	Siddhartha Gadgil	More...				about 11 years ago
basic wrapper for Stanford's CoreNLP parser	Siddhartha Gadgil	More...				about 11 years ago
New API link	Siddhartha Gadgil	More...				about 11 years ago
Aware object created	Siddhartha Gadgil	More...				about 11 years ago
Aware object created and corresponding traits and classes added in Theory	Siddhartha Gadgil	More...				about 11 years ago
backup files ignored	Siddhartha Gadgil	More...				about 11 years ago
Some tuning of Assumptions, Fix etc.	Siddhartha Gadgil	More...				about 11 years ago

←
1
2
…
136
137
138
139
140
141
142
143
144
→