Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@98
12 years
cecile
add part of cex
(edit)
@97
12 years
cecile
debugNew
(edit)
@96
12 years
cecile
verbose
(edit)
@95
13 years
syed
/papers/FDL2012/
(edit)
@94
13 years
syed
/papers/FDL2012/
(edit)
@93
13 years
syed
/papers/FDL2012/
(edit)
@92
13 years
syed
/papers/FDL2012/
(edit)
@91
13 years
cecile
intro+ blind
(edit)
@90
13 years
cecile
algo input
(edit)
@89
13 years
cecile
corrections typos and co
(edit)
@88
13 years
syed
/papers/FDL2012/
(edit)
@87
13 years
syed
/papers/FDL2012/schema/
(edit)
@86
13 years
ema
(edit)
@85
13 years
syed
/papers/FDL2012/
(edit)
@84
13 years
syed
/papers/FDL2012/
(edit)
@83
13 years
syed
/papers/FDL2012/
(edit)
@82
13 years
cecile
correction label AKS(cex)
(edit)
@81
13 years
cecile
typos et texte un peu allégé
(edit)
@80
13 years
syed
/papers/FDL2012
(edit)
@79
13 years
cecile
correction counter-example and its negation representation
(edit)
@78
13 years
syed
/papers/FDL2012/
(edit)
@77
13 years
cecile
ref SAT
(edit)
@76
13 years
ema
(edit)
@75
13 years
syed
/papers/FDL2012/
(edit)
@74
13 years
syed
/papers/FDL2012/
(edit)
@73
13 years
syed
/papers/FDL2012/
(edit)
@72
13 years
syed
/papers/FDL2012/
(edit)
@71
13 years
syed
/papers/FDL2012/
(edit)
@70
13 years
ema
(edit)
@69
13 years
cecile
partie raffinement avec liste des propriétés mis à jour
(edit)
@68
13 years
ema
(edit)
@67
13 years
cecile
Refinement text filter added
(edit)
@66
13 years
cecile
refinement with property first part
(edit)
@65
13 years
cecile
algo weight up to date
(edit)
@64
13 years
syed
/papers/FDL2012/
(edit)
@63
13 years
ema
(edit)
@62
13 years
cecile
charachter encoding
(edit)
@61
13 years
cecile
typos
(edit)
@60
13 years
cecile
new folder organization
(edit)
@59
13 years
cecile
new folder schema
(edit)
@58
13 years
cecile
reordoring of the firsts definitions
(edit)
@57
13 years
cecile
biblio et utf8
(edit)
@56
13 years
cecile
add defintions concrete, and modify refinement, cex defintion
(edit)
@55
13 years
cecile
menage
(edit)
@54
13 years
cecile
un peu trop fait le ménage
(edit)
@53
13 years
cecile
not useful files
(edit)
@52
13 years
cecile
Decomposition de papier en fichier
(edit)
@51
13 years
cecile
new articles for components based abstraction and compostion added
(edit)
@50
13 years
ema
(edit)
@49
13 years
cecile
add math font
(edit)
@48
13 years
syed
/papers/FDL2012
(edit)
@47
13 years
syed
/papers
(edit)
@46
13 years
cecile
biblio compostition
(edit)
@45
13 years
cecile
fichier biblio avec lien sur le compte verif
(edit)
@44
13 years
cecile
abnormal predicate done
(edit)
@43
13 years
cecile
petit bug protect_golden cmd
(edit)
@42
13 years
cecile
Fault candidates OK
(edit)
@41
13 years
cecile
new command generate cnf from network
(edit)
@40
13 years
cecile
abnormal structure in network
(edit)
@39
13 years
cecile
debug example ltl formula
(edit)
@38
13 years
cecile
first attempt debug with ltl formula
(edit)
@37
13 years
cecile
the network now take the new fsm as fsm
(edit)
@36
13 years
cecile
Add Abnormal predicate structures
(edit)
@35
13 years
cecile
modify mv table
(edit)
@34
13 years
cecile
des fichiers en trop
(edit)
@33
13 years
cecile
add debug example
(edit)
@32
13 years
cecile
avec les bon temps
(edit)
@31
13 years
cecile
example for _transition
(edit)
@30
13 years
cecile
We can now change the transition relation
(edit)
@29
13 years
cecile
shared missing for sharpSAT
(edit)
@28
13 years
cecile
exemples de test
(edit)
@27
13 years
cecile
add debug code source
(edit)
@26
13 years
cecile
result huffman original
(edit)
@25
13 years
cecile
delete fichier temporaire
(edit)
@24
13 years
cecile
plan du case study
(edit)
@23
13 years
cecile
l
(edit)
@22
13 years
cecile
l
(edit)
@21
13 years
cecile
un delete de trop
(edit)
@20
13 years
cecile
main modified
(edit)
@19
13 years
cecile
add rob
(edit)
@18
13 years
cecile
vl2mv added
(edit)
@17
13 years
cecile
remove old vis
(edit)
@16
13 years
cecile
delete glu old
(edit)
@15
13 years
cecile
Vis main file for expermeriments
(edit)
@14
13 years
cecile
vis2.3
(edit)
@13
13 years
cecile
library glu 2.3
(edit)
@12
13 years
cecile
cusp added
(edit)
@11
13 years
cecile
Add vis
(edit)
@10
13 years
cecile
Zchaff
(edit)
@9
13 years
cecile
add sharpSat
(edit)
@8
13 years
cecile
src glu
(edit)
@7
13 years
cecile
Ajout de glus pour dev VIS mod
(edit)
@6
13 years
cecile
Ajout de glus pour dev VIS mod
(edit)
@5
14 years
cecile
remove test file
(edit)
@4
14 years
syed
input files added
(edit)
@3
14 years
syed
creation du repertoire et ajout main.c and Makefile
(edit)
@2
14 years
syed
test commit 2
(add)
@1
14 years
syed
test commit
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog