General

Profile

Activity

From 10/10/2017 to 11/08/2017

11/08/2017

05:58 PM CGM Revision cda918fc (cgm): TG: Interface and rename instances
Christian Bay
01:21 PM CGM Revision b80d45ca (cgm): Rename TG subclassOf Patients
Christian Bay
12:51 PM CGM Revision d603a3fe (cgm): OWLHandler: Adjust visibility of methods and catch exceptions
Christian Bay
12:11 PM CGM Revision 8633cf6a (cgm): Cleaner imports
Christian Bay

11/07/2017

03:51 PM CGM Revision 05ca1723 (cgm): Apply many refacyoring suggestions made by intelij
Christian Bay
08:04 AM COOL Revision 42f17c7e (cool): makestatic.sh: Add 'gen' binary for acmu benchmarks
Hans-Peter Deifel
07:59 AM COOL Revision 4caf8f04 (cool): makestatic.sh: Include benchmarks for aconjunctive mu
Hans-Peter Deifel
07:59 AM COOL Revision 2357f98f (cool): benchmarks: Add README
Hans-Peter Deifel
07:32 AM COOL Revision 2cccf57a (cool): Link ncurses bindings against libtinfo and libgpm
This is needed to produce static binaries. Hans-Peter Deifel

11/03/2017

06:01 PM CGM Revision f43956c0 (cgm): Refactoring continued
Christian Bay

11/02/2017

06:52 PM COOL Revision 80e49b79 (cool): Revert "Update INSTALL file to reflect current state"
This reverts commit 5de20a335bdf0e0c5e7b940fe69952963720b1cd.
Wrong branch...
Hans-Peter Deifel
06:47 PM COOL Revision 5de20a33 (cool): Update INSTALL file to reflect current state
Since pgsolver is now a dependency and is not available in common
Linux distributions, we advise people to install al...
Hans-Peter Deifel
06:11 PM COOL Revision 0655be7e (cool): benchmarks: Correctly parse output with REPEATS=1
In this case, no stddev is generated Hans-Peter Deifel
01:44 PM CGM Revision c3c86674 (cgm): Extended the README a bit.
Christian Bay
01:37 PM CGM Revision bc131bcf (cgm): Move older code in legacy dir
Christian Bay
01:31 PM CGM Revision b82a83cc (cgm): Rename mvn project
Christian Bay
01:29 PM CGM Revision c728516a (cgm): Moved Argan in resource dir
Christian Bay
01:25 PM CGM Revision 0adfca7f (cgm): Write down correct paths
Christian Bay
01:12 PM CGM Revision d3353076 (cgm): Conversion bug fixed.
Suggested solution by Dave Reynolds works out. See
https://issues.apache.org/jira/browse/JENA-1415 for more information.
Christian Bay
12:49 PM CGM Revision bd92e6e5 (cgm): Found one way for fixing the conversion error.
As suggested here: https://github.com/Galigator/openllet/issues/27 Christian Bay

11/01/2017

01:11 PM CGM Revision 8189859a (cgm): Little script for conversion
Christian Bay
11:11 AM CGM Revision b387ce03 (cgm): Create jar for syntaxconverter
Christian Bay

10/31/2017

04:53 PM CGM Revision e5911606 (cgm): Copy ontologies while build process
Christian Bay
04:44 PM CGM Revision 55387bf0 (cgm): Use SparqlDLExecutionFactory
Christian Bay
10:08 AM CGM Revision 480c528d (cgm): Ignore swap files
Christian Bay
10:08 AM CGM Revision cb550699 (cgm): Collect streams
Christian Bay

10/30/2017

08:43 PM CGM Revision 3447435b (cgm): Load the Owldoctor from JAR
Christian Bay
08:00 PM CGM Revision 0dfaa18d (cgm): Add a local gitignore
Christian Bay
07:59 PM CGM Revision d478f5ff (cgm): Don't track any files in target/
Christian Bay
07:56 PM CGM Revision ad73c45f (cgm): Fixed swt library.
Christian Bay
04:46 PM CGM Revision a59ddafc (cgm): Package is building. But SWT version has a bug.
Christian Bay
03:11 PM CGM Revision 2c9e7ca0 (cgm): Updated libraries for GUI
Christian Bay

10/27/2017

05:18 PM CGM Revision 5e824e12 (cgm): Many many library updates
Christian Bay
10:46 AM CGM Revision 17cb7965 (cgm): Introduce maven for dependency managing
Christian Bay

10/26/2017

04:32 PM CGM Revision d4463313 (cgm): Updating libs started
Christian Bay

10/25/2017

03:57 PM CGM Revision 8476aa1a (cgm): Hardcode inferred subclasses.
Christian Bay
12:04 PM CORQUE Revision 9c29ae2a (corque): Presentation: Fix errors in presentation
Christian Bay

10/24/2017

01:17 PM CORQUE Revision 9aa459c0 (corque): presentation: Added a funny picture for last frame because i'm a funn...
Christian Bay
10:55 AM CORQUE Revision 85228db6 (corque): Little changes
Christian Bay
10:33 AM CORQUE Revision 24b560e9 (corque): Presentation: Mention other laws for complete elgot monad
Christian Bay

10/23/2017

09:19 PM CORQUE Revision ccc47c5f (corque): Grammar, typos
Christian Bay
08:16 PM CORQUE Revision d8c16ec3 (corque): Grammar again
Christian Bay
05:39 PM CORQUE Revision c45ca4bb (corque): Presentation: Compare with other work
Christian Bay
02:29 PM CORQUE Revision 63cfab35 (corque): Presentation: Explain iteration for complete elgot monads in more detail
Christian Bay

10/22/2017

11:46 PM CORQUE Revision d6a95bc3 (corque): Presentation: Style and typos
Christian Bay
10:00 PM CORQUE Revision 93322eaa (corque): Presentation: Remove TODOs
Christian Bay

10/20/2017

07:09 PM COOL Revision 6c3793cb (cool): benchmarks: Fix early_caching_ac formula
Hans-Peter Deifel
06:25 PM COOL Revision db56eb9d (cool): benchmarks: Add early_ac formulae to generator
Hans-Peter Deifel
02:45 PM CGM Revision f6746bae (cgm): Extend gitignore
Christian Bay
02:44 PM CGM Revision 5ee37835 (cgm): The generated rdf files are of temporary nature
Christian Bay
02:43 PM CGM Revision 5ef8d4a2 (cgm): Save schizophrenia owl in turtle syntax to prevent loss of information
Christian Bay
02:41 PM CGM Revision 739e4c57 (cgm): Recommendations are a subclass of Patient
Christian Bay

10/19/2017

11:32 PM COOL Revision 42e43efd (cool): benchmarks: Ignore temporary files when collecting statistics
Hans-Peter Deifel
09:43 PM COOL Revision 221a3816 (cool): benchmarks: Set final TIMEOUT and REPEATS parameters
Hans-Peter Deifel
09:42 PM COOL Revision cf05f9f8 (cool): benchmarks: Run mlsolver with -pgs stratimprloc2
Hans-Peter Deifel
08:27 PM CGM Revision 48915d2f (cgm): Add a gitignore file
Christian Bay
08:25 PM CGM Revision a0b02b40 (cgm): Add clean to Makefile
Christian Bay
07:31 PM COOL Revision f498e556 (cool): benchmarks: Fork a subshell for mlsolver
Otherwise, 'perf stat' returns a zero exit code if mlsolver is killed
by a signal (e.g in case of an OOM situation)
Hans-Peter Deifel
05:36 PM CORQUE Revision 89e7104f (corque): Presentation: Mention the term 'complete elgot monad'
Christian Bay
05:27 PM COOL Revision a43cb4c2 (cool): benchmarks: Distribute results over different directories
Allows benchmarks of two formula series to be performed in parallel
without interfering with each other.
Hans-Peter Deifel
05:01 PM COOL Revision 63177472 (cool): benchmarks: Add visual progress feedback
Hans-Peter Deifel
04:27 PM COOL Revision cf5e561d (cool): benchmarks: Add script to run 'bench_one_formula' on all formulas
Hans-Peter Deifel
04:26 PM COOL Revision 775ab65f (cool): benchmarks: Output numbers with leading zeros
Some csv tools can only sort lexicographically Hans-Peter Deifel
04:26 PM COOL Revision 7a044d56 (cool): benchmarks: Save full 'perf stat' output
who knows if we might need it Hans-Peter Deifel
04:25 PM COOL Revision 10b7fc02 (cool): benchmarks: Set locale to C
This ensures that decimal separators are consistent. Hans-Peter Deifel
03:36 PM puzzles Revision 09f13788: Add doorsign
Thorsten Wißmann
02:27 PM CORQUE Revision 54c0626f (corque): Presentation: Note correct date for presentation
Christian Bay
02:27 PM CORQUE Revision 292c33e6 (corque): Write abstract for talk
Christian Bay
10:23 AM COOL Revision ec2caa83 (cool): benchmarks: Allow to have multiple directories with benchmark results
Hans-Peter Deifel
10:21 AM COOL Revision 4b369edd (cool): benchmarks: Add script to collect results into CSV format
Hans-Peter Deifel
10:20 AM COOL Revision 6d28c445 (cool): benchmarks: Save output of programs
Allows to collect other results than just the time. For example how
many states the game has and what the result was ...
Hans-Peter Deifel
10:19 AM COOL Revision 3fd00cf1 (cool): benchmarks: Add cool with pgsolver support to matrix
Hans-Peter Deifel
07:56 AM COOL Revision 45386aae (cool): Fix typo
Hans-Peter Deifel

10/18/2017

11:17 PM COOL Revision 8c274b5b (cool): benchmarks: Add cool without propagation
Hans-Peter Deifel
10:38 PM COOL Revision eb9bb469 (cool): benchmarks: Add mlsolver with optimizations to tested programs
Hans-Peter Deifel
10:28 PM COOL Revision e442d62b (cool): benchmarks: Switch mlsolver to 'recursive' strategy
Hans-Peter Deifel
08:48 PM COOL Revision e412454f (cool): Make propagation rate configurable with command line flag
Adds the parameter --propagationRate Hans-Peter Deifel
07:36 PM COOL Revision 6b7a66a8 (cool): Cache maximum priority of all nodes in graph
So it doesn't have to be recomputed for each propagation.
Unfortunately this optimization doesn't seem to make a dif...
Hans-Peter Deifel
09:17 AM COOL Revision f1eb4f7c (cool): Add argument checking to benchmark script
Hans-Peter Deifel
09:12 AM COOL Revision a06d5cea (cool): Add benchmark script to compare cool and mlsolver
Hans-Peter Deifel
08:12 AM COOL Revision dacb681b (cool): Remove pgsolver dependency
Hans-Peter Deifel

10/17/2017

11:28 PM COOL Revision e765822b (cool): Implement own parity game solver
Instead of relying on pgsolver for this task. Daniel Hausmann
10:53 PM COOL Revision 3e877781 (cool): Use pgsolver from opam instead of bundling it
Simplifies the installation process and allows to compare performance
with other tools that use the same pgsolver ver...
Hans-Peter Deifel
12:49 PM puzzles Revision aed394af: More pictures and minor fixes
Thorsten Wißmann
12:37 PM puzzles Revision 4888d288: Fixes and new network pictures
Thorsten Wißmann
10:40 AM puzzles Revision a6218c2d: Add .gitignore
Thorsten Wißmann
10:14 AM CORQUE Revision bde08886 (corque): Presentation: Fixed mistake in a definition
Christian Bay
09:42 AM puzzles Revision 5d232b4d: New texts
Thorsten Wißmann

10/16/2017

10:28 PM puzzles Revision 9aec44c2: New bridge picture
Thorsten Wißmann
05:56 PM puzzles Revision 8b336168: Fix qrcode and tinyurl
Thorsten Wißmann
05:45 PM puzzles Revision 20d3a001: Minor code optimizations
Thorsten Wißmann
05:22 PM puzzles Revision 249d026c: Do not use the clip option
It makes acrobat confuse all the colors... Thorsten Wißmann
04:57 PM Shunting Revision 66657756 (shunting): Improve bumpers
Thorsten Wißmann
12:54 PM Shunting Revision 25016869 (shunting): Remove dummy query
Thorsten Wißmann
12:53 PM Shunting Revision 7aa5dc05 (shunting): Make the 'Next' Button clickable again
Thorsten Wißmann
12:06 PM Shunting Revision 5038f985 (shunting): Make whole li item clickable in main navigation
Thorsten Wißmann

10/15/2017

05:05 PM COOL Revision 994d7911 (cool): Move aconjunctive formula generator to benchmarks/
Hans-Peter Deifel
05:01 PM COOL Revision 77f7da85 (cool): Add more formula families to gen.ml
Daniel Hausmann

10/13/2017

10:22 PM COOL Revision 682787c5 (cool): generator: Rename formula families to something descriptive
Hans-Peter Deifel
10:14 PM COOL Revision b078517b (cool): Fix printing of modality of the identity functor
Hans-Peter Deifel
10:12 PM COOL Revision 88a1a18b (cool): phi generator: Use identity modality for phi
As this speeds things up quite a bit. Hans-Peter Deifel
06:39 PM COOL Revision fdfe3dcc (cool): phi generator: Add another formula family
Hans-Peter Deifel
05:11 PM COOL Revision 69962164 (cool): CoAlgMisc: Store fixpoint variable name for every deferral
This is only useful for debugging and currently not used anywhere in
the code.
Hans-Peter Deifel
05:03 PM COOL Revision 467e8bbc (cool): phi generator: Generalize command line syntax
Allows for more variations of the formula and also is a little bit
more self-documenting.
Hans-Peter Deifel
04:35 PM puzzles Revision 829c2801: Update to lndw
Thorsten Wißmann

10/11/2017

10:53 PM COOL Revision 97d89f3f (cool): Remove unused code
Hans-Peter Deifel
03:10 PM CORQUE Revision 289f2ed3 (corque): Presentation: Include uniformity pictures
Christian Bay
12:05 PM CORQUE Revision 1aedc439 (corque): Presentation: Example for probabilitic process
Christian Bay
11:37 AM CORQUE Revision 333c5708 (corque): Presentation: Password example
Christian Bay
10:40 AM CORQUE Revision 2153cff8 (corque): Presentation: Transformer has underlying ElgotMonad
Christian Bay

10/10/2017

11:52 PM COOL Revision 9cab822e (cool): Fix apply for the partial permutation tracker
- Apply all indices in the map, not only the currently tracked ones.
- Apply Stars in the same way as regular formulas
Hans-Peter Deifel
11:31 PM COOL Revision c9dbb509 (cool): Add negation to generator for phi
Hans-Peter Deifel
11:30 PM COOL Revision 7915d13f (cool): Fix formula generator for positive phi
Hans-Peter Deifel
09:34 PM COOL Revision 3dc07cf8 (cool): Fix bug in detClosure
Hans-Peter Deifel
02:37 PM CORQUE Revision 3a9b9a84 (corque): Minor
Christian Bay
12:09 PM CORQUE Revision 2fa5dc9e (corque): No warnings while compiling anymore \o/
Christian Bay
11:53 AM CORQUE Revision 251198af (corque): Removed warnings and old 'cut' code
Christian Bay
11:51 AM CORQUE Revision aa9fb8ec (corque): Presentation: Example for Probability
Christian Bay
11:21 AM CORQUE Revision 940e4f60 (corque): Presentation: Biased coin
Christian Bay
 

Also available in: Atom