8000 Tags · jgoldfar/coq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: jgoldfar/coq

Tags

V8.5pl1

Toggle V8.5pl1's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
Fix order of arguments to Big.compare_case in ExtrOcamlZBigInt.v

The extraction of [Z] into Ocaml's [Big_int] passed arguments in the
wrong order to [Big.compare_case] for [Pos.compare_cont].  It seems
unlikely this ever worked before.

V8.5

Toggle V8.5's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
Update cic.mli MD5 after header update.

V8.5rc1

Toggle V8.5rc1's commit message 
Updating credits.

V8.5beta3

Toggle V8.5beta3's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
Update version numbers and magic numbers for 8.5beta3 release.

V8.5beta2

Toggle V8.5beta2's commit message 
Change magic numbers.

V8.4pl6

Toggle V8.4pl6's commit message 
Changelog for 8.4pl6

V8.5beta1

Toggle V8.5beta1's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
Remove dead code.

Follow-up on Matthieu's d030ce0.

V8.4pl5

Toggle V8.4pl5's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
Fix missing lift in VM and native compiler (second part of rocq-prove…

…r#2729).

V8.4pl4

Toggle V8.4pl4's commit message 
Correct pl version number

V8.4pl3

Toggle V8.4pl3's commit message 
Update CHANGES.
0