projects
/
interpctr2014.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
interpctr2014.git
2014-10-15
Laurent Georget
Nouveau lien vers le code source
master
origin/HEAD
origin/master
commit
|
commitdiff
|
tree
|
snapshot
2014-10-15
Laurent Georget
Retrait du chemin vers le gitweb
commit
|
commitdiff
|
tree
|
snapshot
2014-06-19
Laurent Georget
Chemin vers gitweb
commit
|
commitdiff
|
tree
|
snapshot
2014-06-10
Laurent Georget
Merge branch 'master' of ssh://lgeorget.eu//var/www...
commit
|
commitdiff
|
tree
|
snapshot
2014-06-10
Laurent Georget
PAge d'accueil avec lien vers le tracer
commit
|
commitdiff
|
tree
|
snapshot
2014-06-07
Laurent Georget
chemin corrigé vers documentation prolog
commit
|
commitdiff
|
tree
|
snapshot
2014-06-02
Laurent Georget
Doxygen with index page
commit
|
commitdiff
|
tree
|
snapshot
2014-06-02
Laurent Georget
Makefile résistant aux pkg-config mal foutus
commit
|
commitdiff
|
tree
|
snapshot
2014-06-02
Laurent Georget
interp.cpp plus résistant aux changements de version...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-28
Laurent Georget
commentaires ne compilant pas
commit
|
commitdiff
|
tree
|
snapshot
2014-05-28
Laurent Georget
Nom et description pour le Doxyfile
commit
|
commitdiff
|
tree
|
snapshot
2014-05-27
Laurent Georget
Documentation des espaces de nommage
commit
|
commitdiff
|
tree
|
snapshot
2014-05-27
Laurent Georget
Documentation pour le Tagger
commit
|
commitdiff
|
tree
|
snapshot
2014-05-27
Laurent Georget
graphes et séquences d'événements sans trous
commit
|
commitdiff
|
tree
|
snapshot
2014-05-20
Laurent Georget
tagger fonctionnel mais pas initialisable
commit
|
commitdiff
|
tree
|
snapshot
2014-05-20
Laurent Georget
implémentation du tagger terminée
commit
|
commitdiff
|
tree
|
snapshot
2014-05-19
Laurent Georget
tagger compilable
commit
|
commitdiff
|
tree
|
snapshot
2014-05-13
Laurent Georget
Merge branch 'master' of ssh://lgeorget.eu//var/www...
commit
|
commitdiff
|
tree
|
snapshot
2014-05-13
Laurent Georget
Auteur et version
commit
|
commitdiff
|
tree
|
snapshot
2014-05-13
Laurent Georget
commentaires sur la fabrique d'évènements
commit
|
commitdiff
|
tree
|
snapshot
2014-05-13
Laurent Georget
réfaction de la fabrique de flux
commit
|
commitdiff
|
tree
|
snapshot
2014-05-12
Laurent Georget
code compilable avec GCC 4.7
commit
|
commitdiff
|
tree
|
snapshot
2014-04-18
Laurent Georget
poids-mouchage des flux + graphes qui fonctionnent
commit
|
commitdiff
|
tree
|
snapshot
2014-04-18
Laurent Georget
mise en forme de l'exemple 4 pour les tests
commit
|
commitdiff
|
tree
|
snapshot
2014-04-17
Laurent Georget
Suppression des doublons 'fail' dans les bases de trans...
commit
|
commitdiff
|
tree
|
snapshot
2014-04-17
Laurent Georget
export des syscalls dans fichiers à part
commit
|
commitdiff
|
tree
|
snapshot
2014-04-17
Laurent Georget
Graphage terminé -- marche moyennement finalement
commit
|
commitdiff
|
tree
|
snapshot
2014-04-16
Laurent Georget
Système de graphage (pas fini)
commit
|
commitdiff
|
tree
|
snapshot
2014-04-15
Laurent Georget
update-add-comment.h -> update-add-trace.h
commit
|
commitdiff
|
tree
|
snapshot
2014-04-15
Laurent Georget
Exemple 4 avec traces
commit
|
commitdiff
|
tree
|
snapshot
2014-04-15
Laurent Georget
Ajout des traces
commit
|
commitdiff
|
tree
|
snapshot
2014-04-14
Laurent Georget
close suppplémentaire
commit
|
commitdiff
|
tree
|
snapshot
2014-04-11
Laurent Georget
Exemple 4 avec fork entre ProcA et ProcB
commit
|
commitdiff
|
tree
|
snapshot
2014-04-11
Laurent Georget
exec et fork corrigés
commit
|
commitdiff
|
tree
|
snapshot
2014-04-11
Laurent Georget
Amélioration des messages de débug
commit
|
commitdiff
|
tree
|
snapshot
2014-04-11
Laurent Georget
Changement de la mémoire pour les processus
commit
|
commitdiff
|
tree
|
snapshot
2014-04-10
Laurent Georget
Début d'idée pour exec
commit
|
commitdiff
|
tree
|
snapshot
2014-04-10
Laurent Georget
changé type de text_mem
commit
|
commitdiff
|
tree
|
snapshot
2014-04-09
Laurent Georget
exemple4 : apparition du fork
commit
|
commitdiff
|
tree
|
snapshot
2014-04-08
Laurent Georget
Index remis à zéro avec clear()
commit
|
commitdiff
|
tree
|
snapshot
2014-04-07
Laurent Georget
Exemple 3 avec macros atomiques à part
commit
|
commitdiff
|
tree
|
snapshot
2014-04-07
Laurent Georget
Exemple 3 avec close()
commit
|
commitdiff
|
tree
|
snapshot
2014-04-07
Laurent Georget
open debuggé, fonctionne avec O_CREAT
commit
|
commitdiff
|
tree
|
snapshot
2014-04-04
Laurent Georget
open pas testé dans exemple3
commit
|
commitdiff
|
tree
|
snapshot
2014-04-04
Laurent Georget
Nouveau makefile avec swipl-ld
commit
|
commitdiff
|
tree
|
snapshot
2014-04-04
Laurent Georget
Nouvel exemple3 avec isolation
commit
|
commitdiff
|
tree
|
snapshot
2014-04-03
Laurent Georget
Exemple3 : concurrence
commit
|
commitdiff
|
tree
|
snapshot
2014-04-03
Laurent Georget
documentation terminée
commit
|
commitdiff
|
tree
|
snapshot
2014-04-03
Laurent Georget
Redécoupage des responsabilités
commit
|
commitdiff
|
tree
|
snapshot
2014-04-03
Laurent Georget
documentation
commit
|
commitdiff
|
tree
|
snapshot
2014-04-03
Laurent Georget
enchevêtrement de modules réparé
commit
|
commitdiff
|
tree
|
snapshot
2014-04-02
Laurent Georget
fonctionnement entièrement en modules
commit
|
commitdiff
|
tree
|
snapshot
2014-04-02
Laurent Georget
permissions des .pl finalement arrangées
commit
|
commitdiff
|
tree
|
snapshot
2014-04-02
Laurent Georget
documentation au format pldoc pour ctr.pl
commit
|
commitdiff
|
tree
|
snapshot
2014-04-02
Laurent Georget
logo
commit
|
commitdiff
|
tree
|
snapshot
2014-04-02
Laurent Georget
fin de la documentation --- aux corrections près
commit
|
commitdiff
|
tree
|
snapshot
2014-04-01
Laurent Georget
Documentation et correction d'incohérences
commit
|
commitdiff
|
tree
|
snapshot
2014-04-01
Laurent Georget
headers manquants depuis longtemps...
commit
|
commitdiff
|
tree
|
snapshot
2014-04-01
Laurent Georget
cohérence dans le nommage des prédicats
commit
|
commitdiff
|
tree
|
snapshot
2014-04-01
Laurent Georget
Amélioration du Doxyfile
commit
|
commitdiff
|
tree
|
snapshot
2014-04-01
Laurent Georget
meilleure manière de documenter les prédicats
commit
|
commitdiff
|
tree
|
snapshot
2014-04-01
Laurent Georget
Doxyfile -- conf pour Doxygen
commit
|
commitdiff
|
tree
|
snapshot
2014-03-31
Laurent Georget
Doxyfile -- conf pour Doxygen
commit
|
commitdiff
|
tree
|
snapshot
2014-03-31
Laurent Georget
début de documentation
commit
|
commitdiff
|
tree
|
snapshot
2014-03-31
Laurent Georget
nouvelle manière de charger les fichiers
commit
|
commitdiff
|
tree
|
snapshot
2014-03-31
Laurent Georget
deux-trois méthodes pour la table des flux
commit
|
commitdiff
|
tree
|
snapshot
2014-03-31
Laurent Georget
fichier queries.pl
commit
|
commitdiff
|
tree
|
snapshot
2014-03-28
Laurent Georget
suite de put remplacé par format pour efficacité
commit
|
commitdiff
|
tree
|
snapshot
2014-03-28
Laurent Georget
exemple2 : exmple1 avec syntaxe CTR
commit
|
commitdiff
|
tree
|
snapshot
2014-03-28
Laurent Georget
parsing et compilation sans warning
commit
|
commitdiff
|
tree
|
snapshot
2014-03-28
Laurent Georget
Table des flux et prédicats associés
commit
|
commitdiff
|
tree
|
snapshot
2014-03-28
Laurent Georget
renamed undo predicate
commit
|
commitdiff
|
tree
|
snapshot
2014-03-27
Laurent Georget
Fichiers d'exemple
commit
|
commitdiff
|
tree
|
snapshot
2014-03-27
Laurent Georget
get_value avec Index non instancié fonctionnel
commit
|
commitdiff
|
tree
|
snapshot
2014-03-27
Laurent Georget
fetchIndexes
commit
|
commitdiff
|
tree
|
snapshot
2014-03-27
Laurent Georget
fetchByTableIndexValue
commit
|
commitdiff
|
tree
|
snapshot
2014-03-26
Laurent Georget
Bugs vicieux sur des champs mal nommés...
commit
|
commitdiff
|
tree
|
snapshot
2014-03-26
Laurent Georget
opérateur de disjonction ajouté
commit
|
commitdiff
|
tree
|
snapshot
2014-03-26
Laurent Georget
Amélioration de l'affichage
commit
|
commitdiff
|
tree
|
snapshot
2014-03-26
Laurent Georget
module interpctr -> updates
commit
|
commitdiff
|
tree
|
snapshot
2014-03-25
Laurent Georget
Réorganisation
commit
|
commitdiff
|
tree
|
snapshot
2014-03-25
Laurent Georget
portage de l'interpréteur CTR pour XSB vers SWI prolog
commit
|
commitdiff
|
tree
|
snapshot
2014-03-25
Laurent Georget
Prêt (enfin j'espère)
v0.1
commit
|
commitdiff
|
tree
|
snapshot
2014-03-25
Laurent Georget
Table kfdesc propre
commit
|
commitdiff
|
tree
|
snapshot
2014-03-24
Laurent Georget
détails manquants pour l'affichage
commit
|
commitdiff
|
tree
|
snapshot
2014-03-24
Laurent Georget
Oups...
commit
|
commitdiff
|
tree
|
snapshot
2014-03-24
Laurent Georget
Table KProcs
commit
|
commitdiff
|
tree
|
snapshot
2014-03-24
Laurent Georget
Table KMem
commit
|
commitdiff
|
tree
|
snapshot
2014-03-24
Laurent Georget
boucles for each
commit
|
commitdiff
|
tree
|
snapshot
2014-03-24
Laurent Georget
table kfs revue et corrigée
commit
|
commitdiff
|
tree
|
snapshot
2014-03-24
Laurent Georget
prédicat execc
commit
|
commitdiff
|
tree
|
snapshot
2014-03-24
Laurent Georget
external interface
commit
|
commitdiff
|
tree
|
snapshot
2014-03-21
Laurent Georget
attention à l'opérateur = avec les objets Prolog !!!
commit
|
commitdiff
|
tree
|
snapshot
2014-03-21
Laurent Georget
change UID + GID, manque PATH
commit
|
commitdiff
|
tree
|
snapshot
2014-03-21
Laurent Georget
polymorphiques fetch
commit
|
commitdiff
|
tree
|
snapshot
2014-03-21
Laurent Georget
prédicats d'arité convenable
commit
|
commitdiff
|
tree
|
snapshot
2014-03-21
Laurent Georget
display
commit
|
commitdiff
|
tree
|
snapshot
2014-03-21
Laurent Georget
Ajout et suppression d'entrées
commit
|
commitdiff
|
tree
|
snapshot
2014-03-21
Laurent Georget
namespaces
commit
|
commitdiff
|
tree
|
snapshot
2014-03-20
Laurent Georget
Table K_FS
commit
|
commitdiff
|
tree
|
snapshot
next