Commits

Commits on Jul 5, 2023

fix name

Maxi Wuttke
authored and
yforster
committedJul 5, 2023

Commits on Apr 10, 2019

Merge pull request #1 from mwuttke97/fix_submodules_https
yforster
committedApr 10, 2019

Commits on Apr 9, 2019

update .gitmodules: use https instead of ssh
Maximilian Wuttke
committedApr 9, 2019

Commits on Mar 19, 2019

Update git repo URL (moved to uds-psl)
Maximilian Wuttke
committedMar 19, 2019
It also compiles with Coq 8.9.0
Maximilian Wuttke
committedMar 19, 2019

Commits on Sep 3, 2018

Update README.md
Maximilian Wuttke
committedSep 3, 2018
Update thesis README
Maximilian Wuttke
committedSep 3, 2018
tex: remove another unneded tex file
Maximilian Wuttke
committedSep 3, 2018
tex: remove unneded files
Maximilian Wuttke
committedSep 3, 2018
thesis: last fixes before print
Maximilian Wuttke
committedSep 3, 2018
Clean up Coq code a bit
Maximilian Wuttke
committedSep 3, 2018
exported Haskell code
Maximilian Wuttke
committedSep 3, 2018

Commits on Sep 2, 2018

thesis: first test print
Maximilian Wuttke
committedSep 2, 2018
tex: remove old Memo and talks
Maximilian Wuttke
committedSep 2, 2018

Commits on Sep 1, 2018

renaming: rename tape_move_mono to doAct
Maximilian Wuttke
committedSep 1, 2018

Commits on Aug 31, 2018

thesis: fix ITP citations
Maximilian Wuttke
committedAug 31, 2018
Add a diverging machine
Maximilian Wuttke
committedAug 31, 2018
eleminate the name "partitioned" in Coq
Maximilian Wuttke
committedAug 31, 2018
renaming: rename types of the heap machine according to thesis
Maximilian Wuttke
committedAug 31, 2018
renaming: ChangePartition -> Relabel
Maximilian Wuttke
committedAug 31, 2018
renaming: Match and MatchX renaming in _CoqProject
Maximilian Wuttke
committedAug 31, 2018
renaming: rename Match to Switch
Maximilian Wuttke
committedAug 31, 2018
renaming: rename MatchX into CaseX
Maximilian Wuttke
committedAug 31, 2018
README: Add link to Ack
Maximilian Wuttke
committedAug 31, 2018
thesis: fix various typos
Maximilian Wuttke
committedAug 31, 2018
thesis: improve abstract, discussion texts, and conclusion
Maximilian Wuttke
committedAug 31, 2018

Commits on Aug 30, 2018

thesis: replace the word "partition" with "label"
Maximilian Wuttke
committedAug 30, 2018
thesis: Rename deconstructor machines from MatchX to CaseX
Maximilian Wuttke
committedAug 30, 2018
thesis: Rename "Match" operator to "Switch"
Maximilian Wuttke
committedAug 30, 2018

Commits on Aug 29, 2018

thesis: swap retract composition
Maximilian Wuttke
committedAug 29, 2018
thesis: Update Statement to new German grammar
Maximilian Wuttke
committedAug 29, 2018
Swap retraction composition
Maximilian Wuttke
committedAug 29, 2018
base: Change direction of retract composition
Maximilian Wuttke
committedAug 29, 2018

Commits on Aug 28, 2018

thesis: use "Coq's type theory" instead of "Coq's logic"
Maximilian Wuttke
committedAug 28, 2018
thesis: Heap: fix typos; rename t (previously for Token) to c (for Command)
Maximilian Wuttke
committedAug 28, 2018