Commits · master · OAF / alignment-finder

07 Mar, 2019 1 commit
- more · 92e8dcaa
  Michael Kohlhase authored Mar 07, 2019
  
  92e8dcaa
12 Aug, 2018 1 commit
- draining · 2857786e
  Michael Kohlhase authored Aug 12, 2018
  
  2857786e
09 Jul, 2018 1 commit
- draining · 47661210
  Michael Kohlhase authored Jul 09, 2018
  
  47661210
11 Jun, 2018 2 commits
- added mois · 4b917c59
  Dennis Müller authored Jun 11, 2018
  
  4b917c59
- report/paper stuff · c04fa3b2
  Dennis Müller authored Jun 11, 2018
  
  c04fa3b2
07 Jun, 2018 3 commits
- debugging Makefile · a614ceeb
  Michael Kohlhase authored Jun 07, 2018
  
  a614ceeb
- copied · fbde5131
  Michael Kohlhase authored Jun 07, 2018
  
  fbde5131
- better Makefile · eeaf66b1
  Michael Kohlhase authored Jun 07, 2018
  
  eeaf66b1
04 Jun, 2018 3 commits
- Merge branch 'master' of gl.kwarc.info:oaf/alignment-finder · 3a99dcb5
  Dennis Müller authored Jun 04, 2018
  
  3a99dcb5
- small stuff · 25eb6226
  Dennis Müller authored Jun 04, 2018
  
  25eb6226
- no message · 4b5a4652
  Florian Rabe authored Jun 04, 2018
  
  4b5a4652
27 May, 2018 3 commits
- no message · ef6c09ca
  Florian Rabe authored May 27, 2018
  
  ef6c09ca
- runtimes · 7ec57af9
  Dennis Müller authored May 27, 2018
  
  7ec57af9
- no message · 0b3a3ddf
  Florian Rabe authored May 27, 2018
  
  0b3a3ddf
25 May, 2018 6 commits
- update · 42bf93cd
  Dennis Müller authored May 25, 2018
  
  42bf93cd
- update · 2618ec06
  Dennis Müller authored May 25, 2018
  
  2618ec06
- update · 4c0a8b62
  Dennis Müller authored May 25, 2018
  
  4c0a8b62
- update · ba58cfdf
  Dennis Müller authored May 25, 2018
  
  ba58cfdf
- Rebuttal · 01769b00
  Dennis Müller authored May 25, 2018
  
  01769b00
- reviews · 960af642
  Dennis Müller authored May 25, 2018
  
  960af642
30 Apr, 2018 12 commits
- typo · 441908f9
  Michael Kohlhase authored Apr 30, 2018
  
  441908f9
- Merge branch 'master' of gl.kwarc.info:oaf/alignment-finder · f1b1b4b1
  Michael Kohlhase authored Apr 30, 2018
  
  f1b1b4b1
- more ignorance · 69c78a03
  Michael Kohlhase authored Apr 30, 2018
  
  69c78a03
- reread · fbbf0795
  Dennis Müller authored Apr 30, 2018
  
  fbbf0795
- reread · de2023d3
  Dennis Müller authored Apr 30, 2018
  
  de2023d3
- Merge branch 'master' of gl.kwarc.info:oaf/alignment-finder · a7bd448b
  Michael Kohlhase authored Apr 30, 2018
  
  a7bd448b
- Merge branch 'master' of gl.kwarc.info:oaf/alignment-finder · da13f79f
  Michael Kohlhase authored Apr 30, 2018
  
  da13f79f
- minor · c850e0e5
  Dennis Müller authored Apr 30, 2018
  
  c850e0e5
- better explanation of the folklore · 50d3776c
  Michael Kohlhase authored Apr 30, 2018
  
  50d3776c
- new · 6563def3
  Michael Kohlhase authored Apr 30, 2018
  
  6563def3
- evaluation · ec776a8e
  Dennis Müller authored Apr 30, 2018
  
  ec776a8e
- carefully re-read, eliminating duplicates · 6671a767
  Michael Kohlhase authored Apr 30, 2018
  
  6671a767
29 Apr, 2018 8 commits
- no message · c08f8c1e
  Florian Rabe authored Apr 30, 2018
  
  c08f8c1e
- no message · 48bbb911
  Florian Rabe authored Apr 29, 2018
  
  48bbb911
- standardized · eafa7faf
  Dennis Müller authored Apr 29, 2018
  
  eafa7faf
- no message · adc07ed9
  Florian Rabe authored Apr 29, 2018
  
  adc07ed9
- tweaks all over · 90dbb792
  Michael Kohlhase authored Apr 29, 2018
  
  90dbb792
- variables · 4e63942e
  Michael Kohlhase authored Apr 29, 2018
  
  4e63942e
- title · 9194c4eb
  Michael Kohlhase authored Apr 29, 2018
  
  9194c4eb
- little fixes · abba2964
  Michael Kohlhase authored Apr 29, 2018
  
  abba2964