Project

General

Profile

Activity

From 06/21/2017 to 07/20/2017

07/20/2017

10:21 PM Revision 714bb286 (lustrec): Merge branch 'dynamic_inlining' into unstable
Pierre-Loïc Garoche
10:20 PM Revision 264a4844 (lustrec): First working version of algebraic loop resolution. Disabled by defa...
Pierre-Loïc Garoche

07/18/2017

10:07 PM Revision 12c62417 (lustrec): [EMF} missing brace
Pierre-Loïc Garoche
10:01 PM Revision 9f158b2b (lustrec): [EMF] missing quotes
Pierre-Loïc Garoche
09:59 PM Revision 23ce017b (lustrec): Ongoing work
Pierre-Loïc Garoche
05:19 PM Revision e1ef00d0 (lustrec): Merge branch 'unstable' into dynamic_inlining
Pierre-Loïc Garoche
09:24 AM Revision 568b5a26 (lustrec): [EMF] improved alignement of braces + solved (naother) bug in shorte...
Pierre-Loïc Garoche
06:15 AM Revision 333f42fd (lustrec): [EMF] more hash
Pierre-Loïc Garoche
05:15 AM Revision 049f3b17 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec in...
Pierre-Loïc Garoche
05:14 AM Revision 329774de (lustrec): [EMF] bug solved, some ids were not hashed
Pierre-Loïc Garoche

07/17/2017

01:59 AM Revision 714588bf (lustrec): ange ID length
Bourbouh
12:42 AM Revision def94a59 (lustrec): blup
Pierre-Loïc Garoche
12:37 AM Revision 9f231bff (lustrec): [EMF] simplify branches with single case as regular instructions
Pierre-Loïc Garoche
12:09 AM Revision 43b5fabc (lustrec): [EMF] Disable join of guards in EMF backend
Pierre-Loïc Garoche
12:04 AM Revision 9094307a (lustrec): Working on algebraic loop diagnostic and resolution
Pierre-Loïc Garoche
12:03 AM Revision e7cc5186 (lustrec): Refactor error printing.
Pierre-Loïc Garoche

07/14/2017

11:02 PM Revision fbad3c4b (lustrec): [EMF] protect machine names
Pierre-Loïc Garoche
10:51 PM Revision 69c8d06c (lustrec): [EMF] protect more field
Pierre-Loïc Garoche
07:32 AM Revision 785b64f9 (lustrec): [EMF] Protecting print of names to ensure a length < 50. Remove the ...
Pierre-Loïc Garoche
06:32 AM Revision 40ad675e (lustrec): A math library for some functions used in Simulink
Pierre-Loïc Garoche
06:30 AM Revision 30f46c0c (lustrec): Renamed math lib into lustrec_math to avoid conflicting calls to <ma...
Pierre-Loïc Garoche

07/13/2017

06:40 PM Revision 212d6eff (lustrec): [HORN] handled asserts in stateless node step rule definition
Pierre-Loïc Garoche
05:47 PM Revision 07ceae4c (lustrec): [HORN] Protect names of stateless nodes with a _fun suffix. This was...
[HORN] Better treatment of stateless nodes collecting semantics
Fixes issue #13 on github: https://github.com/...
Pierre-Loïc Garoche
08:41 AM Revision 7352a936 (lustrec): Addressing node calls in asserts
Pierre-Loïc Garoche

07/12/2017

01:00 AM Revision ef8a361a (lustrec): Provides type compatible with Matlab types in EMF backend
Pierre-Loïc Garoche
09:06 PM Revision 01b501ca (lustrec): [EMF backend] Merging branches
Pierre-Loïc Garoche
09:06 PM Revision 13507742 (lustrec): Refactored some code: optimization of machine
Pierre-Loïc Garoche

07/11/2017

08:09 AM Revision 1b721bfd (lustrec): bug fixed: Inputs for branches solved
Pierre-Loïc Garoche

07/10/2017

01:16 AM Revision 2823bc51 (lustrec): Proper integer index for enumerated branches
Pierre-Loïc Garoche
01:07 AM Revision c82ea2ca (lustrec): Enumerated datatypes as integer
Pierre-Loïc Garoche
11:43 PM Revision 2475c9e8 (lustrec): Refactored EMF backend. Handle now the call to existing math and con...
Pierre-Loïc Garoche
06:52 PM Revision dd71e482 (lustrec): EMF backend: each branch provides the inputs and outputs
Pierre-Loïc Garoche
06:04 PM Revision 017eec6a (lustrec): Renamed ISet of Machine_code to VSet: was sets of variable and was c...
Pierre-Loïc Garoche
05:14 PM Revision a6b58a46 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec in...
Bourbouh
05:03 PM Revision ab1c9ed2 (lustrec): small modifs in EMF format
Bourbouh

07/08/2017

05:29 PM Revision 27d18db9 (lustrec): Branchs output in EMF is only the intersection of each branch define...
Pierre-Loïc Garoche

07/07/2017

10:53 PM Revision 9f0f88dd (lustrec): Full rewrite of EMF backend.
Pierre-Loïc Garoche
10:52 PM Revision 3436d1a6 (lustrec): New global option to normalize simple call to std lib functions (+,-...
This is used in EMF backend. Pierre-Loïc Garoche
07:11 AM Revision 524060b3 (lustrec): Ongoin work on EMF backend. Commit to store a working version. More ...
Pierre-Loïc Garoche

07/03/2017

01:22 AM Revision 27dc3869 (lustrec): Added a feature to alias ite contructs argument. To be used by EMF b...
Pierre-Loïc Garoche
01:21 AM Revision fa880262 (lustrec): Bug solved: lusic dependency of mpfr
Pierre-Loïc Garoche
08:45 PM Revision 7629d67b (lustrec): Bug solved in include dependencies in install target
Pierre-Loïc Garoche
08:35 PM Lustrec-Tests Revision 6e409747 (lustrec-tests): - cmake compare becomes regular diff so output is printed
- updated reference value to default 15 digits Pierre-Loïc Garoche

06/30/2017

06:58 PM Revision 145379a9 (lustrec): Improved EMF backend. Working on the whole fmcad suite
Pierre-Loïc Garoche

06/27/2017

06:36 PM Revision 397d5ae3 (lustrec): Copied Printers.pp_expr functions to Horn backend to escape < and > ...
Pierre-Loïc Garoche

06/26/2017

12:22 AM Revision c9043042 (lustrec): Issues with Causality and asserts
Pierre-Loïc Garoche
11:47 PM Revision 7d640c88 (lustrec): const that are not dimension types should not be used to evaluate di...
Pierre-Loïc Garoche
10:51 PM lustrec-1.4-Xia-Xiang-src.tgz
Pierre-Loïc Garoche
10:29 PM Revision bd1bb668 (lustrec): Moved to 1.5 dev
Pierre-Loïc Garoche
08:20 PM Revision 72b80590 (lustrec): Preparing relaease LustreC 1.4 Xia/Xiang
Pierre-Loïc Garoche
08:11 PM Revision 9205fd1a (lustrec): Print branch in configure.ac
Pierre-Loïc Garoche
07:41 PM Revision d4205dc8 (lustrec): Merge branch 'unstable' into master
Pierre-Loïc Garoche
07:38 PM Revision 3a4cc4d5 (lustrec): More tests in default test target: main focus on C backend
Pierre-Loïc Garoche
06:51 PM Revision a85ca7df (lustrec): Cleaning debug messages
Pierre-Loïc Garoche
06:51 PM Revision 728be1e1 (lustrec): forcing introduction of new equations for fcn calls in asserts
Pierre-Loïc Garoche

06/23/2017

11:11 PM Revision 380a8d33 (lustrec): Solved bug in machine code generation for asserts that contain memories
Pierre-Loïc Garoche
08:10 PM Revision 1b683c9a (lustrec): Cleaned horrible ocaml practice (optional parameters and mli issues)
Pierre-Loïc Garoche
06:13 PM Revision 1bff14ac (lustrec): - Added a field lustre_eq to machine instruction in order to record ...
- EMF backend now impose the optimization level to be set to 0 in order to avoid equation elimination that would rend... Pierre-Loïc Garoche
04:07 AM Revision 3ca27bc7 (lustrec): - Addtional encapsulation of machine_code instr in a struct to enabl...
- Improved EMF backend with META information Pierre-Loïc Garoche

06/22/2017

11:44 PM Revision 64385d42 (lustrec): Turn an option to off by default: it was triggering scope plugin aut...
Pierre-Loïc Garoche
05:26 PM Revision e70326c9 (lustrec): Providing means to have specification as dynamic checks.
[bug] seems to crash with EMF backend Pierre-Loïc Garoche
05:24 PM Revision e7def055 (lustrec): Updated scope plugin
Pierre-Loïc Garoche
05:24 PM Revision 59fc6b1c (lustrec): Default precision for real values printing
Pierre-Loïc Garoche
05:22 PM Revision 9a7268ba (lustrec): io_frontend header with new functions
Pierre-Loïc Garoche
05:21 PM Revision 7ab1c5bd (lustrec): - Added a precision parameter for io_frontend "real" types
- New fonction in plugins: main_loop_body_prefix Pierre-Loïc Garoche
05:14 PM Revision f5a568dd (lustrec): Flushing after printing in io_frontend functions
Pierre-Loïc Garoche
04:25 AM Revision 32539b6d (lustrec): Changed encoding of matlab expression inputs from u(xx) to uxx.
Pierre-Loïc Garoche
04:18 AM Revision f7caf067 (lustrec): EMF backend now relies on machine code representation.
Impact:
- EMF backend has an extra machines argument
- specific option to avoid merge of ite constructs
- set_backend...
Pierre-Loïc Garoche
03:49 AM Revision d6976d31 (lustrec): Removed duplicate tan definition in math.lusi
Pierre-Loïc Garoche
03:47 AM Revision 2800921b (lustrec): add tan function to math.lusi
Bourbouh
03:45 AM Revision 97be8db8 (lustrec): fixed matlab output
Teme Kahsai
03:44 AM Revision 1411704e (lustrec): Changed the matlab function backend
Pierre-Loïc Garoche
03:37 AM Revision 5d6fc968 (lustrec): Merge branch 'unstable' into seahorn_a6df3
Pierre-Loïc Garoche
02:35 AM Revision 489bd646 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec in...
Pierre-Loïc Garoche
02:34 AM Revision 86aadaf1 (lustrec): Improved dependencies for install target
Pierre-Loïc Garoche

06/21/2017

11:42 PM Lustrec-Tests Revision 16bf5d3c (lustrec-tests): Improved zustre output comparison
Pierre-Loïc Garoche
11:03 PM Revision 2dae76da (lustrec): Restored common_option definition. Was removed by a non delicate merge.
Pierre-Loïc Garoche
08:50 PM Revision b6d37e71 (lustrec): Bug solved: EMF backend was forced
Pierre-Loïc Garoche
08:46 PM Revision 37419cf4 (lustrec): Missing file
Pierre-Loïc Garoche
08:46 PM Revision 30dee850 (lustrec): fixed matlab output
Teme Kahsai
08:46 PM Revision d3e837ea (lustrec): Changed the matlab function backend
Pierre-Loïc Garoche
08:45 PM Revision e0597d49 (lustrec): _Bool are unsigned integer. The cast as a _Bool is delayed until the...
Pierre-Loïc Garoche
08:42 PM Revision b7258fa5 (lustrec): Merge branch 'unstable' into seahorn_a6df3
a6df3 is the initial commit of branch seahorn Pierre-Loïc Garoche
 

Also available in: Atom