Commits · master · Frédéric Tuong / isabelle_contrib · GitLab

Snippets Groups Projects

Dec 28, 2021
- synchronize with afp-devel · 9707464d
  Frédéric Tuong authored 3 years ago
  
  9707464d
- synchronize with 1a42ddd5dbbc... · e56a5dfc
  Frédéric Tuong authored 3 years ago
  e56a5dfc
Dec 27, 2021
- upgrade to Isabelle2021-1 · cdf11e47
  Frédéric Tuong authored 3 years ago
  
  cdf11e47
- fix cbb96cf3 · 292c71b0
  Frédéric Tuong authored 3 years ago
  
  292c71b0
Dec 26, 2021
- upgrade to Isabelle2021 · cbb96cf3
  Frédéric Tuong authored 3 years ago
  
  cbb96cf3
May 10, 2020
- upgrade to Isabelle2020 · 3eec3480
  Frédéric Tuong authored 4 years ago
  3eec3480
May 09, 2020
- continue r14189 · 74a91e6f
  Frédéric Tuong authored 4 years ago
  74a91e6f
- move sessions to a separate directory · 51fb5875
  Frédéric Tuong authored 4 years ago
  51fb5875
- move sessions to a separate directory · ccbfd749
  Frédéric Tuong authored 4 years ago
  ccbfd749
- move sessions to a separate directory · cc5a1e5f
  Frédéric Tuong authored 4 years ago
  cc5a1e5f
- move sessions to a separate directory · 058c49a5
  Frédéric Tuong authored 4 years ago
  058c49a5
- cancel some part of r11412 · 404ae69c
  Frédéric Tuong authored 4 years ago
  404ae69c
- move sessions to a separate directory · b50825e7
  Frédéric Tuong authored 4 years ago
  b50825e7
- move sessions to a separate directory · 3e7c41bc
  Frédéric Tuong authored 4 years ago
  3e7c41bc
May 05, 2020
- update the generated files · bde97113
  Frédéric Tuong authored 4 years ago
  bde97113
- synchronize with compiler/core/Floor2_examp.thy · 8dedf86f
  Frédéric Tuong authored 4 years ago
  8dedf86f
Jul 24, 2019
- continue r13999 · a37d421c
  Frédéric Tuong authored 5 years ago
  a37d421c
Jul 23, 2019
- upgrade to Isabelle2019 · 4a340604
  Frédéric Tuong authored 5 years ago
  4a340604
Jul 22, 2019
- fix · 25950545
  Frédéric Tuong authored 5 years ago
  25950545
Jul 19, 2019
- simplify · ec7b8c76
  Frédéric Tuong authored 5 years ago
  ec7b8c76
- split up the support of external compilers into a dedicated file · 3d118d2a
  Frédéric Tuong authored 5 years ago
  3d118d2a
- remove old_datatype in sequential versions · a668c49e
  Frédéric Tuong authored 5 years ago
  a668c49e
- upgrade to Isabelle2019 · 6eb2de7c
  Frédéric Tuong authored 5 years ago
  6eb2de7c
- build · 03861cf0
  Frédéric Tuong authored 5 years ago
  03861cf0
Jul 17, 2019
- generalize · 4378a7ac
  Frédéric Tuong authored 5 years ago
  4378a7ac
- report positions · afc24814
  Frédéric Tuong authored 5 years ago
  afc24814
- split up the support of external compilers into a dedicated file · 511c6e85
  Frédéric Tuong authored 5 years ago
  511c6e85
- synchronize with afp-devel/bf621844d77c · 6889a7d5
  Frédéric Tuong authored 5 years ago
  6889a7d5
Jul 16, 2019
- split up the support of external compilers into a dedicated file · 8e7b94a7
  Frédéric Tuong authored 5 years ago
  8e7b94a7
- split up the support of external compilers into a dedicated file · 8a67bbb6
  Frédéric Tuong authored 5 years ago
  8a67bbb6
- move external target languages (Haskell, OCaml, Scala) to a copy file · 60d5cbcd
  Frédéric Tuong authored 5 years ago
  60d5cbcd
- permute some paragraphs · 00a331cc
  Frédéric Tuong authored 5 years ago
  00a331cc
Jul 01, 2019
- optimize the reflected code (see also citadelle-devel revision... · d2c428cf
  Frédéric Tuong authored 5 years ago
  d2c428cf
Apr 08, 2019
- update headers · a0e68481
  Frédéric Tuong authored 6 years ago
  a0e68481
- upgrade to Isabelle2018 , synchronize with citadelle-devel 5bfebab420098b1083bf5b34a11b01e2f51e3568 · 1d7367d0
  Frédéric Tuong authored 6 years ago
  1d7367d0
Apr 05, 2019
- upgrade to Isabelle2018 , synchronize with citadelle-devel 5bfebab420098b1083bf5b34a11b01e2f51e3568 · 4525efea
  Frédéric Tuong authored 6 years ago
  4525efea
Jan 10, 2019
- store all encountered constructors in the environment · 1c82ded1
  Frédéric Tuong authored 6 years ago
  1c82ded1
- continue r13531 · 7ad8cee9
  Frédéric Tuong authored 6 years ago
  7ad8cee9
- generate extra functions for them to be extracted "uncurried" at SML side · d4dbfb1f
  Frédéric Tuong authored 6 years ago
  d4dbfb1f
- implement meta_command', similar as meta_command but providing the current... · f19751fc
  Frédéric Tuong authored 6 years ago
  f19751fc