M

mn200's HOL

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 23 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 09, 2023 — May 09, 2024 Showing page 1 of 665 Search / Filter on:
Fix bad reference to bootstrap example in parallel Holmakefile	Michael Norrish	More...				5 days ago
Fix Holmakefile bug causing unnecessary rebuilds	Michael Norrish	More...				5 days ago
Get developers/genUseScript to compile again (still wrong though)	Michael Norrish	More...				5 days ago
FTBFS (NOT_ZERO is from "examples/algebra")	Chun Tian (binghe)	More...				8 days ago
Update docker-ci.yml	Chun Tian	More...				8 days ago
Update docker-ci-for-pr.yml	Chun Tian	More...				8 days ago
Fixed --otknl build (up to hol-base / boss) using old Arithconv.sml	Chun Tian (binghe)	More...				8 days ago
Fixed building HOL manuals with PolyML (and not in --otknl)	Chun Tian (binghe)	More...				11 days ago
Fix bug in cv_typeLib (translation failed in limited grammar ctxts)	Michael Norrish	More...				11 days ago
Some wording fixes in TRANS_TAC.doc	Chun Tian (binghe)	More...				13 days ago
TRANS_TAC ported from HOL-Light	Chun Tian (binghe)	More...				14 days ago
FTBFS with Moscow ML	Chun Tian (binghe)	More...				16 days ago
Produce new blank next-release.md file for what I assume will be T-2	Michael Norrish	More...				16 days ago
Merge tag 'trindemossen-1' into develop	Michael Norrish	More...				16 days ago
Update docker-ci.yml (add build-mosml)	Chun Tian	More...				16 days ago
Update docker-ci-for-pr.yml (added build-mosml)	Chun Tian	More...				16 days ago
Updated Dockerfiles with necessary TeXlive packages for building HOL manuals	Chun Tian (binghe)	More...				16 days ago
Fix typo in the Description	Magnus Myreen	More...				18 days ago
Fix typo in the Description	Magnus Myreen	More...				18 days ago
Stamp current release notes as what's going into next release	Michael Norrish	More...				19 days ago
Fix Holmakefile INCLUDES error causing unnecessary HOL rebuilds	Michael Norrish	More...				22 days ago
Rework IN_CONV implementation	Anthony Fox	More...				23 days ago
Fix test broken by arrival of rationals into dependencies	Michael Norrish	More...				23 days ago
Add INCLUDES line to bootstrap/Holmakefile to ensure parallel build	Michael Norrish	More...				24 days ago
Adjust Holmake/theory-diagnostics to distinguish --fast from cheat	Michael Norrish	More...				24 days ago
Merge pull request #1217 from HOL-Theorem-Prover/cv_translator	Michael Norrish	More...				25 days ago
Merge branch 'develop' into cv_translator	Michael Norrish	More...				25 days ago
Try to fix regression	Hrutvik Kanabar	More...				30 days ago
Fix a failing selftest	Hrutvik Kanabar	More...				30 days ago
Uncheat cv translation in `examples/bootstrap`	Hrutvik Kanabar	More...				30 days ago

←
1
2
3
4
5
6
7
8
9
…
664
665
→