Skeptik

Settings | Report Duplicate

1

I Use This!

Inactive

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 09, 2024 — Nov 09, 2025 Showing page 54 of 54 Search / Filter on:
Removed Deprecated Code.	Ceilican as bruno.wp	More...				about 15 years ago
Finished making edges be mutisets of nodes, to allow an edge to contain several times the same node. This is necessary for DAG-like proofs...	Ceilican as bruno.wp	More...				about 15 years ago
Finished undertaking massive changes: I will change the main loop and I will remove the lists of mergeable, resolvable and splittable nodes.	Ceilican as bruno.wp	More...				about 15 years ago
Commiting before undertaking massive changes: I will change the main loop and I will remove the lists of mergeable, resolvable and splittable nodes.	Ceilican as bruno.wp	More...				about 15 years ago
Moved Hypergraph classes to a separate file...	Ceilican as bruno.wp	More...				about 15 years ago
Allowed Merging of Edges with More than 2 Nodes... Removed Code for Merging nodes with equal clauses (i.e. DAGification)...	Ceilican as bruno.wp	More...				about 15 years ago
Commiting before starting to try to fix mergeable edges for more than 2 nodes.	Ceilican as bruno.wp	More...				about 15 years ago
Pigeon Proof	Ceilican as bruno.wp	More...				about 15 years ago
Fixed a bug in the GCD algorithm..	Ceilican as bruno.wp	More...				about 15 years ago
Implemented isSplittable based on GCD algorithm..	Ceilican as bruno.wp	More...				about 15 years ago
Improved the efficiency of the GCD algorithm..	Ceilican as bruno.wp	More...				about 15 years ago
Added GCD algorithm..	Ceilican as bruno.wp	More...				about 15 years ago
Fixed bug when setting ancestors of literals... Now I will start fixing the bug in the splittability of nodes.	Ceilican as bruno.wp	More...				about 15 years ago
Committing before attempting to remove the function that sets ancestors of literals...	Ceilican as bruno.wp	More...				about 15 years ago
git-svn-id: http://proof-compression.googlecode.com/svn/trunk/ResolutionProofCompression@4 3a17ae4d-f974-9668-ac4c-bcd87307d02c	Ceilican as bruno.wp	More...				about 15 years ago
Hi...	Ceilican as bruno.wp	More...				about 15 years ago
Hi...	Ceilican as bruno.wp	More...				about 15 years ago

←
1
2
…
46
47
48
49
50
51
52
53
54
→