aboutsummaryrefslogtreecommitdiffstats
path: root/src/versions/standard/Int63
Commit message (Expand)AuthorAgeFilesLines
* Update copyrightChantal Keller2021-05-265-5/+5
* V8.8 (#42)ckeller2019-03-112-56/+53
* V8.7 (#36)ckeller2019-02-143-14/+150
* Merge from LFSC (#26)ckeller2019-01-285-45/+10
* Some proofs for the Int63 glueChantal Keller2016-10-141-8/+104
* Some proofs for the Int63 glueChantal Keller2016-10-105-121/+185
* Use the most efficient operations of Int31Chantal Keller2016-09-282-47/+34
* Use the Int31 library with coq-8.5Chantal Keller2016-09-284-3135/+0
* More straightforward definitions in Int63Native_standardChantal Keller2016-09-261-32/+32
* Updating of the copyrightChantal Keller2016-04-278-47/+84
* Light port to Coq 8.5 under progressChantal Keller2016-03-188-0/+6434
* Removed old port to Coq 8.4Chantal Keller2016-03-028-6381/+0
* Implemented cast on int31 directlyChantal Keller2015-02-113-61/+114
* COrrect implementation of foldi_cont and foldi_down_contChantal Keller2015-02-111-6/+6
* More on the support for standard Coq (not working yet)Chantal Keller2015-02-105-51/+69
* Frontend for the standard version of Coq (still bad computational behavior)Chantal Keller2015-02-108-291/+3472
* Start porting to the standard version of Coq (not finished yet)Chantal Keller2015-01-135-0/+3129
generated by cgit (git 2.34.1) at 2024-06-29 05:17:19 +0000