Activity for EDACC
-
Daniel D. committed [1a0922]
EDACC verifier for DRAT unsat proof format
-
Change cpuinfo column to longtext datatype
-
Merge branch 'master' of ssh://git.code.sf.net/...
-
Simon Gerber committed [9ea345]
set session name on session load
-
Added Session Manager in connect dialog
1
