Skip to content
GitLab
Explore
Sign in
scos
soft-error-analysis
Repository
Branches
Overview
Active
Stale
All
master
default
4ab34d82
·
readme update
·
Jun 20, 2017
experiment
9619b651
·
DP mode 3: fix bug
·
Oct 05, 2016
experiment_def_prot
cff6a372
·
DefinitelyProtected: add AndCacheMap
·
May 09, 2016
feature-symbsim-cache
5f662a63
·
some (not so promising..) cache attampts
·
Sep 03, 2015
feature-free-inputs
acc59ac7
·
adapted output-is-different clause and next-state-is-different-clause in STLA free-input-mode
·
Sep 02, 2015
hotfix-STA
af2a0b14
·
prepare everything for a new SymbTimeAnalysis mode (class + test environment)
·
Aug 19, 2015
optimize-STA
6f4ba799
·
implemented so called optimization..
·
Aug 19, 2015
hotfix-SBA
6fd8eeb9
·
..
·
Aug 19, 2015
feature-empty_build_system
78aa9dbf
·
BUILD system: can now compile simple hello world program
·
Aug 04, 2015