Activity for Aina Niemetz
-
Aina Niemetz committed [r966]
Report: Update TODOs
-
Report: Fix typo
-
Report: Reply to TODO
-
Report: Addressed todo for sat/unsat tables
-
Report: More outlook
-
Report: Fix weighted score
-
Report: Mode TODO updates
-
Report: Update TODO
-
Report: Fix weighted division score
-
Report: Remove frames
-
Report: Layout of benchmarks table
-
Report: Fix sat table
-
Report: Add competition-wide score.
-
Report: Add scoring information.
-
Report: Restructre section 4 to add more detailed scoring information.
-
Report: Pass over unknown analysis
-
Report: Add todo
-
Report: Pass over "Focussing on Sat or Unsat".
-
Report: Pass over "Very quick solutions".
-
Report: Introduce macros for track names.
-
Report: Update TODOs.
-
Report: Disable frames.
-
Report: Layout and clean up main track winners tables for families and unknown.
-
Report: Layout and clean up sat/unsat/24s tables.
-
Report: TODO 4
-
Report: TODO 19: Minor things
-
Report: TODO 22
-
Report: More fixes to refs, update TODO.
-
Report: Consistent way of referring to proceedings in the refs.
-
Report: Fix capitalization of ref titles.
-
Report: Replace refs+crossrefs with standard refs from dblp.
-
Report: Update participants table.
-
Report: Update TODOs with assigned tasks.
-
Report: Update TODO list.
-
Report: Split participants table, description.
-
Report: First (refactored) version of participants table.
-
Report: Fix unsat core plot.
-
Report: Add script and result file to determine number of asserts in unsat-core track.
-
Report: Description of unsat-core bar plot.
-
Minor
-
Report: Add script and result file to determine number of eligible application track answers.
-
Report: Add bar plot for unsat core track.
-
Report: Add scripts for unsat core analysis.
-
Add bar plot file.
-
Report: Description of app track plot.
-
Include app track plot, amend captions of vbs plots.
-
Added missing plots.
-
Add scripts for application track bar plots.
-
Fix vbs script for app track.
-
Fix vbs script for app track.
-
Update plot generation files for application track.
-
Analysis scripts: Add support for application track.
-
Update TODO
-
Move and fix.
-
Add winner tables layout description.
-
Fix.
-
Update caption of winners tables.
-
Fix
-
Use gray text font instead of * for non-competitive divisions.
-
Use colors for winners tables.
-
Double check application and unsat score application winners table.
-
Do not use multirow in application winners table.
-
Add missing file.
-
New layout for application winners table.
-
Add VBS plot for 2015-2018.
-
Use time limit as y limit for vbs plots.
-
Update TODO
-
Fix format.
-
Removed old main track winners table.
-
Add actual winners to main track winners table.
-
Beautify layout of main track winners table.
-
New layout for winners table (currently only main).
-
Update TODO.
-
Progress analysis.
-
Moved figure.
-
Consistent track names.
-
Add VBS cactus plots.
-
Delete obsolete script.
-
Add scripts to generate plots based on new analysis scripts.
-
Readded TODO file
-
Revert
-
Compiles TODO file
-
Fixed Mathias Preiner's affiliation.
-
Minor
-
clean up
-
Add scripts to generate plots per division on common benchmarks.
-
affiliation, fixes
-
Added Mathias' signature
-
Added time limit to results generation scripts
-
Fixed ucore results generation script
-
Fixed toc template
-
Fixed results generation for application track
-
Fixed results (solved sequential), default sorting.
-
Fixed
-
Fixed
-
Fixed
-
Add sortable results for BV (main).
-
Fixed
-
Updated Boolector system description.
-
Added CVC4 system description
1 >