Maximilian Köhl koehlma
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Require Import Relations. | |
| Set Implicit Arguments. | |
| Section LTL. | |
| Variable State : Type. | |
| (* Traces *) | |
| CoInductive Trace : Type := | |
| | Cons : State -> Trace -> Trace. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # -*- coding: utf-8 -*- | |
| # Copyright (C) 2017, Maximilian Köhl <mail@koehlma.de> | |
| def _literal(string): | |
| literal = int(string) | |
| return -(literal // 2) if literal & 1 else literal // 2 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # -*- coding: utf-8 -*- | |
| # Copyright (C) 2016, Maximilian Köhl <mail@koehlma.de> | |
| """ | |
| Python interface to the ModelSim simulator. The simulator is instrumented using FIFO pipes | |
| such that it becomes fully controllable from within Python using TCL commands. | |
| """ | |
| import contextlib |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| gc: collecting generation 2... | |
| gc: objects in each generation: 13 0 5824 | |
| gc: collectable <B 0x7f8c86b4ec50> | |
| gc: collectable <dict 0x7f8c86b57248> | |
| finalize b <__main__.A object at 0x7f8c86b4ec18> | |
| gc: done, 3 unreachable, 0 uncollectable, 0.0005s elapsed | |
| gc: collecting generation 2... | |
| gc: objects in each generation: 1 0 5831 | |
| gc: done, 0.0005s elapsed | |
| gc: collecting generation 2... |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env python3 | |
| # -*- coding: utf-8 -*- | |
| # | |
| # Copyright (C) 2015, Maximilian Köhl <mail@koehlma.de> | |
| # | |
| # This program is free software: you can redistribute it and/or modify | |
| # it under the terms of the GNU General Public License as published by | |
| # the Free Software Foundation, either version 3 of the License, or | |
| # (at your option) any later version. | |
| # |
koehlma
/ gist:5c22cf3b94ca255a8f29
Created
October 26, 2014 10:51
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Quicksort: | |
| A=[23, 11, 8, 4, 15], pivot=15 | |
| Partition: | |
| Vertausche 23(0) mit 23(0) | |
| [23, 11, 8, 4, 15] -> [23, 11, 8, 4, 15] | |
| Vergleiche 23(0) mit 15(pivot) | |
| Vertausche 11(1) mit 23(0) | |
| [23, 11, 8, 4, 15] -> [11, 23, 8, 4, 15] | |
| Vergleiche 11(0) mit 15(pivot) | |
| b++ |
koehlma
/ gist:575eae13bc4b3707e4e0
Created
October 26, 2014 09:41
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| def partition(liste, links, rechts, pivot): | |
| b = links - 1 | |
| counter = 0 | |
| for k in range(links, rechts + 1): | |
| liste[k], liste[b + 1] = liste[b + 1], liste[k] | |
| counter += 1 | |
| if liste[b + 1] <= pivot: | |
| b += 1 | |
| return b, counter |
koehlma
/ gist:1e6011df8f03ecc20fa4
Created
October 26, 2014 09:37
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| def insertionsort(liste): | |
| counter = 0 | |
| for i in range(1, len(liste)): | |
| x, j = liste[i], i | |
| while j > 0: | |
| counter += 1 | |
| if not liste[j - 1] > x: break | |
| liste[j] = liste[j - 1] | |
| j -= 1 | |
| liste[j] = x |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env python3 | |
| # -*- coding:utf-8 -*- | |
| import argparse | |
| import collections | |
| import csv | |
| import datetime | |
| import os | |
| import os.path | |
| import subprocess |
koehlma
/ bayesian_filter.py
Created
May 7, 2013 20:42
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # -*- coding:utf-8 -*- | |
| # | |
| # Copyright (C) 2013, Maximilian Köhl <linuxmaxi@googlemail.com> | |
| # | |
| # This program is free software: you can redistribute it and/or modify | |
| # it under the terms of the GNU General Public License as published by | |
| # the Free Software Foundation, either version 3 of the License, or | |
| # (at your option) any later version. | |
| # | |
| # This program is distributed in the hope that it will be useful, |
NewerOlder