aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2020-08-31Update update_global_env usageGaëtan Gilbert
2020-08-31Merge PR #12875: Further extensions of About wrt Arguments and renamingcoqbot-app[bot]
2020-08-28Adding overlay for coq-elpi.Hugo Herbelin
2020-08-27[numeral] [plugins] Switch from `Big_int` to ZArith.Emilio Jesus Gallego Arias
2020-08-27Merge PR #12849: Rename VM-related kernel/cfoo files to kernel/vmfooPierre-Marie Pédrot
2020-08-26Use the lite variants of performance tests in the bench default packages.Pierre-Marie Pédrot
2020-08-26Merge PR #12904: Move bench job definition to its own filePierre-Marie Pédrot
2020-08-25Move bench job definition to its own fileGaëtan Gilbert
2020-08-25Remove useless commit guessing logicJason Gross
2020-08-25Merge PR #12801: Put cyclic numbers in sort Set instead of TypeAnton Trunov
2020-08-25Merge PR #12882: Perform a few tweaks to make the bench script work properly.coqbot-app[bot]
2020-08-25Merge PR #12798: Change OUnit package name to ounit2.coqbot-app[bot]
2020-08-24Fix Coqtail test directory.whonore
2020-08-24Put cyclic numbers in sort Set instead of TypeVincent Semeria
2020-08-24Merge PR #12565: Dnets now consider axioms as being opaque for pattern recogn...coqbot
2020-08-24Perform a few tweaks to make the bench script work properly.Pierre-Marie Pédrot
2020-08-20Special commit to start benchmarking.Maxime Dénès
2020-08-20Merge PR #12756: Do not refresh the names of implicit arguments.Maxime Dénès
2020-08-20Adding overlays.Pierre-Marie Pédrot
2020-08-19Do not refresh the names of implicit arguments.Jasper Hugunin
2020-08-19Add overlay.Pierre-Marie Pédrot
2020-08-18Rename VM-related kernel/cfoo files to kernel/vmfooGaëtan Gilbert
2020-08-18Dockerfile: Update ounitGaëtan Gilbert
2020-08-13Merge PR #12720: Factor code related to class hint clenvHugo Herbelin
2020-08-12Merge PR #12748: Windows CI: changed cygwin repo servercoqbot
2020-08-12Add overlays.Pierre-Marie Pédrot
2020-08-12Windows CI: changed cygwin repo serverMichael Soegtrop
2020-08-11Merge PR #12717: More documentation on grammars and parsingPierre-Marie Pédrot
2020-08-03More documentation on grammars and parsingJim Fehrle
2020-07-24CI metacoq: make .merlinGaëtan Gilbert
2020-07-23Merge PR #12679: Remove redundant data from VM case switch.Gaëtan Gilbert
2020-07-22Remove redundant data from VM case switch.Pierre-Marie Pédrot
2020-07-21Add Coqtail to CIwhonore
2020-07-17Merge PR #12701: CI: Use bundled compcert for VSTEmilio Jesus Gallego Arias
2020-07-17CI: pass -silent to coqchk in compcert jobGaëtan Gilbert
2020-07-17CI: Use bundled compcert for VSTGaëtan Gilbert
2020-07-15Merge PR #12671: Minor improvement to CI logsEmilio Jesus Gallego Arias
2020-07-15Compatibility of make-change-log with MacOS X whose "sed" does not support "\+".Hugo Herbelin
2020-07-10Minor improvement to CI logsGaëtan Gilbert
2020-07-09Overlay for removing struc_tupleGaëtan Gilbert
2020-07-08[ci] Overlay for metacoq and rewriterEmilio Jesus Gallego Arias
2020-07-08[obligations] Functionalize Program stateEmilio Jesus Gallego Arias
2020-07-06Merge PR #11604: Primitive persistent arraysPierre-Marie Pédrot
2020-07-06Primitive persistent arraysMaxime Dénès
2020-07-04Windows build: remove patch for windres architectureMichael Soegtrop
2020-07-03Fix #11121: Simultaneous definition of term and notation in custom grammarMaxime Dénès
2020-07-03Merge PR #10390: UIP in SPropMaxime Dénès
2020-07-02Fix debug printer for auctx in presence of AnonymousGaëtan Gilbert
2020-07-01Overlays for UIP in SPropGaëtan Gilbert
2020-07-01UIP in SPropGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:29:20 +0000