Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

ttc18live
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Incidents

Snippets Groups Projects

ef24ec8d

Commit ef24ec8d authored 6 years ago by René Schöne

Downloads
- Patches
- Plain Diff

Added tracing of events.

parent d536fd09

Branches

No related tags found

1 merge request!1All4one relast

Changes 8

Hide whitespace changes

Inline Side-by-side

Showing

solve/build.gradle 2 additions, 2 deletions

solve/build.gradle
solve/libs/jastadd2.jar 0 additions, 0 deletions

solve/libs/jastadd2.jar
solve/src/main/jastadd/Printing.jrag 7 additions, 7 deletions

solve/src/main/jastadd/Printing.jrag
solve/src/main/jastadd/Tracing.jadd 21 additions, 0 deletions

solve/src/main/jastadd/Tracing.jadd
solve/src/main/java/de/tudresden/inf/st/ttc18live/AbstractLiveContestDriver.java 5 additions, 0 deletions

...tudresden/inf/st/ttc18live/AbstractLiveContestDriver.java
solve/src/main/java/de/tudresden/inf/st/ttc18live/LiveContestDriverEMF.java 3 additions, 1 deletion

...a/de/tudresden/inf/st/ttc18live/LiveContestDriverEMF.java
solve/src/main/java/de/tudresden/inf/st/ttc18live/LiveContestDriverXml.java 3 additions, 1 deletion

...a/de/tudresden/inf/st/ttc18live/LiveContestDriverXml.java
solve/src/main/java/de/tudresden/inf/st/ttc18live/Main.java 15 additions, 5 deletions

solve/src/main/java/de/tudresden/inf/st/ttc18live/Main.java

with 56 additions and 16 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment