58 Commits

Author	SHA1	Message	Date
Johannes Kanig	35e56d626f	(no-tn-check) fix various whitespace issues on the repo ... Change-Id: I387b5ffa968e0e212924455ada8a38ef71a64431	2021-12-15 11:54:30 +09:00
Piotr Trojanek	adb32ee3ef	minor fix of duplicate words in docs	2015-04-30 12:33:10 +01:00
Piotr Trojanek	ee103a0a31	minor removal of executable bits from LaTeX files	2015-04-01 14:25:44 +01:00
dross	d117373f1d	article on axiomatized theories for SMT 2012 workshop	2012-06-05 15:01:03 +02:00
dross	4e0fbabb94	formal_containers, pdf presentation	2011-12-01 11:04:58 +01:00
dross	14cd2ef791	delete memo.tex, nothing to do in papers	2011-08-17 14:15:57 +02:00
Marc Sango	5bf0f8d347	formatting	2011-05-30 10:14:25 +02:00
Marc Sango	003c514c2c	apply Yannick and JeromeG's remarks	2011-05-23 15:18:21 +02:00
Marc Sango	53906075dc	improvement of the proof of maximality	2011-05-23 09:42:49 +02:00
Marc Sango	5ebcee1c3c	minor formatting	2011-05-20 09:05:03 +02:00
Marc Sango	1432c62d74	improve precision notion	2011-05-19 16:31:29 +02:00
Marc Sango	55fd658ef4	add the proof of Most Precise Invariant	2011-05-17 18:12:23 +02:00
dross	7bc8341cab	libs/containers : more efficient	2011-05-16 10:55:55 +02:00
Marc Sango	4f6494b46f	formatting	2011-05-16 10:27:41 +02:00
Yannick Moy	f8c5c7e1d5	Further references and minor rewrite	2011-05-16 10:21:59 +02:00
Marc Sango	e218e0dcac	add a short and long version	2011-05-12 15:22:38 +02:00
dross	a811b84c37	papers/trigger-mechanism	2011-05-02 16:03:45 +02:00
dross	f6aa32ca6d	trigger-mechanism	2011-04-29 11:55:11 +02:00
dross	db1965d6d8	papers/trigger-mechanism	2011-04-26 17:08:22 +02:00
dross	8da7d3fb70	trigger-mechanism : lacks the conclusion	2011-04-26 09:34:18 +02:00
dross	41f7736544	papers/trigger-mechanism	2011-04-19 18:09:32 +02:00
dross	660b1ea4f3	etiquetage_interne.tex	2011-04-19 18:09:32 +02:00
dross	42569a4d96	etiquetage_interne.tex traduction finished	2011-04-13 16:45:49 +02:00
dross	fc098ad0e6	etiquetage_interne.tex traduction of some proofs	2011-04-12 18:15:09 +02:00
dross	354c950dec	docs/papers/propositional-triggers/etiquetage_interne.tex	2011-04-12 16:14:24 +02:00