Commits · master · Software / Ruitenburg1984

28 May, 2021 3 commits
- works with 8.13.1 · dfeda416
  litak authored May 28, 2021
  
  dfeda416
- started adjusting to 8.13.1 · c3bb26a8
  litak authored May 28, 2021
  
  c3bb26a8
- no message · 1d8fa52f
  litak authored May 28, 2021
  
  1d8fa52f
14 Oct, 2015 1 commit
- cleaned up Aux file, added alternative proof of Lemma 1.7, fixed compilation problem · 00388114
  tlitak authored Oct 14, 2015
  
  00388114
13 Oct, 2015 2 commits
- restructured: the first commit with BoundsLists · 0e225959
  tlitak authored Oct 13, 2015
  
  0e225959
- some modifications in the setup file · 6a8831be
  tlitak authored Oct 13, 2015
  
  6a8831be
12 Oct, 2015 1 commit
- LaTeX extraction begins · 0707b72c
  tlitak authored Oct 12, 2015
  
  0707b72c
09 Oct, 2015 2 commits
- We have generated code, absurd output of Haskell on the example function etc. · 1b37f6de
  tlitak authored Oct 09, 2015
  
  1b37f6de
- Got the right function computing length for the iterated bound substitution... · 1c4a39d9
  tlitak authored Oct 09, 2015
```
Got the right function computing  length for the iterated bound substitution and started with program extraction
```
  1c4a39d9
08 Oct, 2015 3 commits
- need to fix a little ... · d2e35f4b
  tlitak authored Oct 08, 2015
  
  d2e35f4b
- in the middle of implementing length/occurrence and final output function · f155a3ed
  tlitak authored Oct 08, 2015
  
  f155a3ed
- I have working and certified optimized_bound! Just how cool is that? · 2b87cf12
  tlitak authored Oct 08, 2015
  
  2b87cf12
07 Oct, 2015 4 commits
- almost done with basic bound ... · 1c02965f
  tlitak authored Oct 07, 2015
  
  1c02965f
- progress with map, yet another change in definition of bound · 6dc4f483
  tlitak authored Oct 07, 2015
  
  6dc4f483
- First cleanup in BoundsSubformulas · 64d675c0
  tlitak authored Oct 07, 2015
  
  64d675c0
- I have something working now for lists as well · 629729d8
  tlitak authored Oct 07, 2015
  
  629729d8
06 Oct, 2015 5 commits
- Added gitignore · dfa5b2bc
  tlitak authored Oct 06, 2015
  
  dfa5b2bc
- Revert "Added coqdoc files" · b13a9e63
  tlitak authored Oct 06, 2015
```
This reverts commit 20758037.
```
  b13a9e63
- Added coqdoc files · 20758037
  tlitak authored Oct 06, 2015
  
  20758037
- committed a working version, before experimenting with bounds and lists · c48dc578
  tlitak authored Oct 06, 2015
  
  c48dc578
- main file, as test · fb58cce0
  tlitak authored Oct 06, 2015
  
  fb58cce0