Commits · 76c05ee4337c8257a3a63f530530a394803208be · Frédéric Tuong / isabelle_contrib

Apr 27, 2020
- renamings in order to be consistent with vsste paper · 76c05ee4
  bu authored 5 years ago
  
  76c05ee4
- optimizations with frederic in CAS. · 5585b36c
  bu authored 5 years ago
  
  5585b36c
- pushing the stuff to CAS ... renaming · 01519fd5
  bu authored 5 years ago
  
  01519fd5
- slight adaption to the general renaming conventions. · 1e796a50
  bu authored 5 years ago
  
  1e796a50
- slight adaption to the general renaming conventions. · 9ef49e18
  bu authored 5 years ago
  
  9ef49e18
- streamlined and slightly generalized the automated process. · fd28b209
  bu authored 5 years ago
  
  fd28b209
Apr 26, 2020
- better scheme for highly automated proof. · b101fecb
  bu authored 5 years ago
  
  b101fecb
- Merge branch 'C' of https://gitlri.lri.fr/ftuong/isabelle_c into C · a56b1727
  bu authored 5 years ago
  
  a56b1727
- reworked scheme for highly automated proof. · 156b5497
  bu authored 5 years ago
  
  156b5497
- adapt the examples to Isabelle/C/AutoCorres · 019ec331
  Frédéric Tuong authored 5 years ago
  
  019ec331
- remove duplicate use of source files · 2e9631c3
  Frédéric Tuong authored 5 years ago
  
  2e9631c3
- Merge branch 'C' of lri-git:ftuong/isabelle_c into C · 158bdd95
  Frédéric Tuong authored 5 years ago
  
  158bdd95
- generate invariant information for AutoCorres terms · aec574d2
  Frédéric Tuong authored 5 years ago
  
  aec574d2
- switch the evaluation to parsing time · e072b7ba
  Frédéric Tuong authored 5 years ago
  
  e072b7ba
Apr 24, 2020
- weiss nich · 376b40f7
  bu authored 5 years ago
  
  376b40f7
Mar 12, 2020
- Merge branch 'C' of lri-git:ftuong/isabelle_c into C · 4a20b562
  Frédéric Tuong authored 5 years ago
  
  4a20b562
- update the generated files · ff3e437f
  Frédéric Tuong authored 5 years ago
  
  ff3e437f
- continue 091d9dc3 · 7614b912
  Frédéric Tuong authored 5 years ago
  
  7614b912
Mar 11, 2020
- Some additions / rearrangements of the source tree. · c905e002
  bu authored 5 years ago
  
  c905e002
- added ref on proof carrying code · 217cb654
  bu authored 5 years ago
  
  217cb654
Feb 02, 2020
- restore before 0bb28bf5 · 7d8f9e46
  Frédéric Tuong authored 5 years ago
  
  7d8f9e46
Feb 01, 2020
- indent · 7155c3b7
  Frédéric Tuong authored 5 years ago
  
  7155c3b7
- indent · de358673
  Frédéric Tuong authored 5 years ago
  
  de358673
- continue the example · 06854d63
  Frédéric Tuong authored 5 years ago
  
  06854d63
Jan 20, 2020
- Merge branch 'C' of lri-git:ftuong/isabelle_c into C · a544c5e2
  Frédéric Tuong authored 5 years ago
  
  a544c5e2
- fix · e49e4685
  Frédéric Tuong authored 5 years ago
  
  e49e4685
- A lot of example polishing for the IJCAR paper. · 9023e929
  bu authored 5 years ago
  9023e929
Jan 18, 2020
- fix 024cdc69 · 8588230d
  Frédéric Tuong authored 5 years ago
  
  8588230d
Jan 17, 2020
- added ANO example · 614e14ff
  bu authored 5 years ago
  
  614e14ff
Jan 12, 2020
- implement declare_autocorres · 0bb28bf5
  Frédéric Tuong authored 5 years ago
  
  0bb28bf5
- add an option to activate the AutoCorres translation · 38bec44f
  Frédéric Tuong authored 5 years ago
  
  38bec44f
- add an option to activate the AutoCorres translation · 260ebddc
  Frédéric Tuong authored 5 years ago
  
  260ebddc
Jan 11, 2020
- support empty C programs · 959d8cab
  Frédéric Tuong authored 5 years ago
  
  959d8cab
- delay maximally any parsing errors · b0c7c114
  Frédéric Tuong authored 5 years ago
  
  b0c7c114
- fix the detection of declared variables (TERM _ is not the error raised (by... · c76c5e39
  Frédéric Tuong authored 5 years ago
  c76c5e39
- Merge branch 'C' of lri-git:ftuong/isabelle_c into C · 5da41f64
  Frédéric Tuong authored 5 years ago
  
  5da41f64
Jan 10, 2020
- working out ANO variant · 47413c1a
  bu authored 5 years ago
  
  47413c1a
Jan 06, 2020
- added new example (isPrime). Improved Syntax Priorities. · a5ebd0d0
  bu authored 5 years ago
  
  a5ebd0d0
- minor stuff - and a 'all at a glance' version of Quicksort. · 82b98975
  bu authored 5 years ago
  
  82b98975
Jan 05, 2020
- Restructuring · 3e21ec3f
  bu authored 5 years ago
  
  3e21ec3f