fkutzner / candy-kingdom / 80

Builds Branch Commit Type Ran Committer Via Coverage
80 pr_cleanup2 generalized RSIL interface push fkutzner travis-ci pending completion
79 pr_cleanup2 removed the frontend module from the static candy lib push fkutzner travis-ci pending completion
78 ft_cleanup2 removed the frontend module from the static candy lib push fkutzner travis-ci pending completion
77 ft_cleanup2 removed memory usage functions (dead code) push fkutzner travis-ci pending completion
76 ft_cleanup2 removed minisat-style include paths push fkutzner travis-ci pending completion
75 ft_cleanup2 added acceptance tests for size-2-advice RSIL push fkutzner travis-ci pending completion
74 pr_rsilcfg_2 added a Candy/RSILv configuration for StarExec push fkutzner travis-ci pending completion
73 pr_sdescr_2 equalized the benchmark description's column length push fkutzner travis-ci pending completion
72 pr_sdescr_2 fixed minor spelling errors in the system description push fkutzner travis-ci pending completion
71 pr_sdescr_2 equalized the system description's column length push fkutzner travis-ci pending completion
70 pr_sdescr_2 proposed changes to the description's inprocessing section push fkutzner travis-ci pending completion
69 pr_objectlibs renamed the static candy library to candystatic push fkutzner travis-ci pending completion
68 pr_objectlibs using object libraries for candy modules push fkutzner travis-ci pending completion
67 pr_rsilcfg added RSIL configuration for StarExec push fkutzner travis-ci pending completion
66 ft_rsarsimplify temporarily deactivated the FREEZE simplification mode in RSAR See issue #34. Deactivating the FREEZE mode until after June 10th since the FREEZE mode is an experimental feature anyway. push fkutzner travis-ci pending completion