F

fsharp-logic-examples

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 4 hours ago. based on code collected about 4 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 13, 2024 — Aug 13, 2025 Showing page 1 of 16 Search / Filter on:
Update travis CI build configuration	Jack Pappas	More...				over 8 years ago
Add section about build status via travis-ci.	Eric Taucher	More...				over 11 years ago
Upgrade to NUnit 2.6.3 to take advantage of a bugfix when running tests on Mono.	Jack Pappas	More...				over 11 years ago
Fixed 'exclude' flag passed to NUnit console.	Jack Pappas	More...				over 11 years ago
Added Travis CI build configuration.	Jack Pappas	More...				over 11 years ago
Upgrade to NuGet 2.7.	Jack Pappas	More...				almost 12 years ago
Upgraded NuGet binaries (for package restore) to NuGet 2.5.	Jack Pappas	More...				over 12 years ago
Fixed formatting of attributes on test functions.	Eric Taucher	More...				over 12 years ago
Fixed formatting of attributes on test functions.	Jack Pappas	More...				over 12 years ago
- Updated recommended version of TestDriven.NET.	Jack Pappas	More...				over 12 years ago
- Updated VS2012 project files to match VS2010 project files.	Jack Pappas	More...				over 12 years ago
- Update NUnit to 2.6.2 and FsUnit to 1.1.1.0.	Jack Pappas	More...				over 12 years ago
Update based on new eratta.	Eric Taucher	More...				over 12 years ago
Remove use of mutable to make code compatiable with OCaml from book.	Eric Taucher	More...				over 12 years ago
Remove extra printfn used for debugging.	Eric Taucher	More...				over 12 years ago
Remove use of F# Options to make code compatiable with OCaml from book.	Eric Taucher	More...				over 12 years ago
Add more test and standardize test for combining.	Eric Taucher	More...				over 12 years ago
Fix some comments.	Eric Taucher	More...				over 12 years ago
Add more test and standardize test for interpolation.	Eric Taucher	More...				over 12 years ago
Use standardized names for tests in geom.	Eric Taucher	More...				over 12 years ago
Add more test and standardize test for grobner.	Eric Taucher	More...				over 12 years ago
Standardize test for real.	Eric Taucher	More...				over 12 years ago
Remove commented out code.	Eric Taucher	More...				over 12 years ago
Add more test and standardize test for complex.	Eric Taucher	More...				over 12 years ago
Add more test and standardize test for cooper.	Eric Taucher	More...				over 12 years ago
Fix name of skolemizes test so no conflict with function.	Eric Taucher	More...				over 12 years ago
Standardize comments for test in qelim.	Eric Taucher	More...				over 12 years ago
Add more test and standardize test for decidable.	Eric Taucher	More...				over 12 years ago
Standardize test for paramodulation.	Eric Taucher	More...				over 12 years ago
Add more test and standardize test for eqelim.	Eric Taucher	More...				over 12 years ago

←
1
2
3
4
5
6
7
8
9
…
15
16
→