6 Commits

Author	SHA1	Message	Date
Henri Saudubray	abf8dfba75	stdlib: update Regexp to use sequences	2024-03-20 18:13:00 +01:00
Andrei Paskevich	eae547d95f	stdlib, examples: remove redundant "import"	2018-06-15 16:45:58 +02:00
Claude Marche	d514f0454d	a few more syntax updates	2016-03-09 16:53:02 +01:00
Claude Marche	eda3dfb6eb	fixed proofs	2015-10-22 15:30:22 +02:00
Claude Marche	8a4559cbdc	finished dfa_example	2014-02-03 14:38:59 +01:00
Andrei Paskevich	4b1bc2b0c0	reorganize examples/ ... - all programs with sessions are in examples/ - all programs without sessions are in examples/in_progress/ (if you have private sessions for those, just move them there) - all pure logical problems are in logic/ (to simplify bench scripts and gallery building; they are few anyway) - all OCaml programs are in examples/use_api/ - all strange stuff is in examples/misc/ (most of it should probably go) - Claude's solutions for Foveoos 2011 are in examples/foveoos11-cm/ (why do we need two sets of solutions for quite simple problems?) - hoare_logic, bitvectors, vacid_0_binary_heaps are in examples/ Bench scripts and documentation are updated. Also, bench/bench is simplified a little bit.	2013-01-30 01:23:44 +01:00