Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

0
I Use This!
High Activity

Commits : Listings

Analyzed about 16 hours ago. based on code collected about 19 hours ago.
Apr 25, 2023 — Apr 25, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Fix Holmakefile INCLUDES error causing unnecessary HOL rebuilds
Michael Norrish
More... 6 days ago
Rework IN_CONV implementation
Anthony Fox
More... 7 days ago
Fix test broken by arrival of rationals into dependencies
Michael Norrish
More... 8 days ago
Add INCLUDES line to bootstrap/Holmakefile to ensure parallel build
Michael Norrish
More... 9 days ago
Adjust Holmake/theory-diagnostics to distinguish --fast from cheat
Michael Norrish
More... 9 days ago
Merge pull request #1217 from HOL-Theorem-Prover/cv_translator
Michael Norrish
More... 10 days ago
Merge branch 'develop' into cv_translator
Michael Norrish
More... 10 days ago
Try to fix regression
Hrutvik Kanabar
More... 14 days ago
Fix a failing selftest
Hrutvik Kanabar
More... 14 days ago
Uncheat cv translation in `examples/bootstrap`
Hrutvik Kanabar
More... 14 days ago
Fix a silly mistake in a cv_rep theorem
Magnus Myreen
More... 15 days ago
Replace cv_sum_depth by cv_size (and delete cv_size_alt)
Magnus Myreen
More... 15 days ago
Remove references to examples/bootstrap from examples/cv_compute
Magnus Myreen
More... 15 days ago
Use cv_eval instead of EVAL
Magnus Myreen
More... 15 days ago
Fix proof failure caused by name generation change in 68ea515ce46a83
Michael Norrish
More... 15 days ago
Simplify transfer approach for monoids as types theory
Michael Norrish
More... 15 days ago
Improve transferLib's choices for bound names (mimick source)
Michael Norrish
More... 15 days ago
More primitive definition of q_set (IMAGE real_of_rat UNIV)
Chun Tian (binghe)
More... 16 days ago
Transfer more theorems semi-automatically to monoid as type theory
Michael Norrish
More... 17 days ago
Sequence file to build core HOL up to point of parallelisation
Michael Norrish
More... 17 days ago
Attempt to fix dining_criptosTheory by deprecating int/rat
Chun Tian (binghe)
More... 17 days ago
Fix probability-related code after loading real_of_ratTheory by deprecating int and rat in term parser
Chun Tian (binghe)
More... 17 days ago
Move q_set (real_rat_set_def) theorems from real_sigma to real_of_rat with duplicated proofs merged
Chun Tian (binghe)
More... 17 days ago
[gcd,rat] theorems cherry-picked from the ongoing `cv_translator` branch (#1217)
Chun Tian (binghe)
More... 17 days ago
Generate small numbers only once in thm/Compute.sml
Magnus Myreen
More... 20 days ago
Make Thm.compute do more earlier
Magnus Myreen
More... 20 days ago
Make Thm.compute accumulate thm tags
Magnus Myreen
More... 20 days ago
Make sure "cv_" appears before theory name prefix
Magnus Myreen
More... 22 days ago
Use cv_trans instead of cv_trans_pre in a few places
Magnus Myreen
More... 22 days ago
Avoid name clashes in cv_transLib
Magnus Myreen
More... 22 days ago